Teaching
TU Dortmund
Links zu Veranstaltungen in Dortmund: [LSF], [LS14], [Moodle].
WS 2018/19
- Softwarekonstruktion
- Seminar "Automotive Software Engineering"
- Projektgruppe "Autonome Taxis"
SS 2018
- Projektgruppe "Autonome Taxis"
- Proseminar "Symbolic Execution"
- Methodische Grundlagen des Software Engineering
- Projektgruppe "ACC++"
WS 2017/18
- Projektgruppe "ACC++"
- Softwarekonstruktion
TU Clausthal
- [WS 2016/17] Software Systems Engineering [link]
- [WS 2016/17] Informatik I [link]
- [SS 2016] Proseminar "Model-based Testing" [link]
- [WS 2015/16] Software Systems Engineering [link]
TU Dortmund
- [SS 2012] Proseminar "Runtime Verification" [link]
- [WS 2011/12] Proseminar "Model-based Testing" [link]
- [SS 2011] Introduction to Automata Learning in Formal Methods in Computer Science (together with Bernhard Steffen and Maik Merten)
- [SS 2011] Proseminar "Automata Learning" [link]
Summer Schools
- [2011] A practical introduction to active learning (together with Bernhard Steffen and Maik Merten), SSFLA 2011 [link]