As teaching assistant I tutored the following exercise classes and represented the absent professors if necessary.
1. Design and Evaluation of Computing Systems (winter 2006 and winter 2005).
2. Quantitative Models, graduate course work (winter 2005 and 2004).
3. Design of reactive systems, seminar for graduates (winter 2004).
4. Introduction to Probability Theory, undergraduate course work (summer 2005 and summer 2004).
1. Stefan Harwarth:
Moebius’ Abstract State-Level Interface, implemented in case of zero-suppressed
multi-terminal decision diagrams, Master Thesis, Univ. of the Federal Forces Germany Munich, 2006.
2. Stefan Harwarth:
Stochastic Activity Networks, Seminal Paper, Univ. of the Federal Forces Germany Munich, 2004
3. Denis Zimmermann:
The hybrid solution method in case of zero-suppressed multi-terminal decision
diagrams,
Master Thesis, Univ. of the Federal Forces Germany Munich, 2005.