Publications of Author

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, and Gennady Chugunov. A Verification Tool for Erlang. Software Tools for Technology Transfer, 4(4):405–420, 2003.

Mads Dam, and Thomas Noll. Context–Representable Processes (abstract). In Proceedings of Dagstuhl Seminar on Verification of Infinite–State Systems. pages 19–22. Schloß Dagstuhl, 2000.

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)