SS 2007: Algorithms and logical Programming 2 (Exercises)
WS 2007/2008: Algorithms and logical Programming 3 (Exercises)
SS 2008: Software Engineering (Exercises)
WS 2008/2009: Anwendungssysteme - Impact of Computer Technologies (Exercises)
In progress:
"Modellbasierte Testfallentwicklung für zeitkritisches Verhalten in eingebetteten Systemen" (Modelbased Testcase development for Timing Constraints of embedded Systems) - Masterthesis planned (estimated: Spring 2012)