I participated in the following lectures and tutored the following exercise
1. Discrete Event Systems (lecture, winter 2008;2009;2010).
2. Discrete Event Systems (exercise, winter 2008;2009;2010).
1. Juri Baumberger: A symbolic Approach to the State Graph based Verification of Systems, Master Thesis, ETH Zurich. 2009.
2. Urban Suppiger: Modular Performance Analysis of Large-scale Distributed Embedded Systems, Student Project, ETH Zurich. 2010.