Publications of Author

Niels H.M. Aan de Brugh, Viet Yen Nguyen, and Theo C. Ruys. MoonWalker: Verification of .NET Programs. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. Springer-Verlag, 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)