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.

Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client–Server Implementations. In Selected Papers of the 12th International Workshop on the Implementation of Functional Languages (IFL’00). pages 37–52. 2001.

		Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client-Server Implementations. Technical Report 2000-08, RWTH Aachen University, 2000.
		Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client-Server Implementations. In Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL’00). pages 387–402. RWTH Aachen University, 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)