Student Workshop
All master and doctoral student participants are encouraged to present their research plan, their preliminary or matured results at the workshop in the middle of the week. The presenters will benefit from feedback that they receive from the senior scientists at the school. If you like to indicate your intent to present, please contact the organizers.
List of Presentations
Verification of Software Product Lines
| Speaker | Thomas Thuem (University of Magdeburg) |
| Website | Link |
Language Support for Privacy Policy Compliance
| Speaker | Ekaterina Pek (University of Koblenz-Landau) |
| Website | Link |
Practical Ambiguity Detection for Context-free Grammars
| Speaker | Bas Basten (CWI) |
| Website | Link |
| Abstract | Link |
Mind the Gap: Formal Verification and the Common Criteria
| Speaker | Sarah Gerbing (University of Koblenz-Landau) |
| Website | Link |
| Abstract | Link |
Hybrid Systems: Modeling, Specification and Model Checking
| Speaker | Ammar Mohammed (University of Koblenz-Landau) |
| Website | Link |
Proving Safety of a Path Following Component
| Speaker | Christian Schwarz (University of Koblenz-Landau) |
| Website | Link |
Test Estimation using UML use case model
| Speaker | Chamundeswari Arumugam (SSN College of Engineering) |
| Website | Link |
Updating Agent-Base System
| Speaker | Radhakrishnan DelhiBabu (RWTH Aachen University) |
| Website | Link |