Teaching
University of Freiburg
- SS 09
- Seminar: Static Checkers for Java and C#
- WS 08/09
- Decision Procedures
- SS 08
- Formal Methods for Java
- WS 07/08
- Decision Procedures
- SS 07
- Formal Methods for Java
- WS 06/07
- Verification
Seminar Software Model Checking
University of Oldenburg
- SS 06
- Practical Course Real-time Systems
- SS 04
- Practical Course Real-time Systems
- WS 02/SS 03
- Project Group KautS