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.

		Lars-Åke Fredlund, Dilian Gurov, and Thomas Noll. Semi-Automated Verification of Erlang Code. In Proc. 16th IEEE International Conference on Automated Software Engineering (ASE’01). pages 319–323. IEEE Computer Society Press, 2001.
		Thomas Noll, Lars-Åke Fredlund, and Dilian Gurov. The Erlang Verification Tool (tool description). In Proceedings 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01). pages 582–585. Volume 2031 of Lecture Notes in Computer Science. 2001.

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)