Email

tim.quatmann at cs.rwth-aachen.de

Address

Room 4206
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21210

Research

My research interests include:

• Probabilistic model checking
• Multi-objective optimization
• Synthesis of parametric probabilistic systems

I am a developer of the stochastic model checker Storm and an organizer of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp).

Teaching

current teaching activities:

• Formale Systeme, Automaten, Processe

previous teaching activities:

• WS 18: Modeling and Verification of Probabilistic Systems
• SS 18: Datenstrukturen und Algorithmen
• WS 17: Theoretical Foundations of the UML
• WS 16: Advanced Model Checking

Publications

2019
	E. Moritz Hahn, Arnd Hartmanns, Christian Dehnert, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS 2019, Volume 11429 of LNCS, pages 69–92, Springer, 2019.
	Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set. TACAS 2019, Volume 11427 of LNCS, pages 344–350, Springer, 2019.
Show all