(The information shown on this page is not complete.)
Courses Praktikum: Green Navigation (WS2009/10, TU München) Model checking (SS2009, TU München) Logik (WS2008/2009) (in Stuttgart) Grundlagen der Softwarezuverlässigkeit (WS2008/2009) (in Stuttgart) Automata Theory and Formal Languages II (SS2008, TU München) Logik (WS2007/2008) (in Stuttgart) Grundlagen der Softwarezuverlässigkeit (WS2007/2008) (in Stuttgart) Theoretische Informatik 2 (SS2007) (Lehrauftrag an der Universität Ulm) Model checking (WS2005/06, TU München) compiler construction (WS2003, Uppsala University) Tutorials Learning meets verification, ETAPS'08 Learning meets verification, FMCO'06 Model-based Testing, SEFM'04 Invited Talks TBA, Infinity'09 Model-based runtime analysis of distributed reactive systems, FoMSESS'09 Learning timed systems, Advances in Timed Systems'06 Don't know for probabilistic systems, VOSS'05
Tutorials
Invited Talks
Links homepage
