Publications of Author

Martin Leucker, Thomas Noll, Perdita Stevens, and Michael Weber. Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell. Software Tools for Technology Transfer, 7(2):184–194, 2005.

David N. Jansen, Holger Hermanns, and Joost-Pieter Katoen. A QoS-Oriented Extension of UML Statecharts. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, The Unified Modeling Language (UML). pages 76–92. LNCS vol. 2863, Springer-Verlag, 2003.

Joost-Pieter Katoen, and Perdita Stevens, editors, Tools and Algorithms for the Construction and Analysis of Computer Systems (TACAS), LNCS vol. 2280, Springer-Verlag, 2002.

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)