Winter Term 2008/2009
- Software Reliability
- Software Design, Modelling and Analysis in UML
- Formal Techniques for Networked and Distributed Systems
- Business Processes
- Anwendungsprogrammierung
- Decision Procedures
Summer Term 2008
- Softwaretechnik
- Softwarepraktikum
- Formale Methoden für Java
- Automata and Games
- Advanced Topics in Model Checking
Winter Term 2007/2008
- Verification
- Decision Procedures
- Abstract Interpretation
- Advanced Topics in Software Engineering
- Softwarepraktikum für Hörer aller Fakultäten
- Integratives BOK Projekt - Sichere Systeme
Summer Term 2007
Winter Term 2006/2007
- Verification
- Software Model Checking
- Softwarepraktikum für Hörer aller Fakultäten
- Integratives BOK Projekt - Sichere Systeme
- Arbeitsbereich Softwaretechnik