Publications of Author

Thomas Noll, and Chanchal Kumar Roy. Towards Automatic Verification of Erlang Programs by pi-Calculus Translation. In Proceedings of the ACM SIGPLAN 2006 Erlang Workshop. pages 38–50. ACM Press, 2006.

Thomas Noll, and Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus. In Proceedings of the ACM SIGPLAN 2005 Erlang Workshop. pages 72–77. ACM Press, 2005.

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)