Publications of Author

Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, and Norbert Berzen. Towards an industrial strength process for timed testing. In Proc. IEEE ICSTW 2009. pages 29–38. IEEE Computer Society, 2009.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)