
- tim.quatmann at cs.rwth-aachen.de
- Address
- Room 4206
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21210
Research Topics
My research interests include:
- Probabilistic model checking
- Multi-objective optimization
- Synthesis of parametric probabilistic systems
- Systems with partial observability
I am a developer of the probabilistic model checker Storm
Research Activities
2023 | Artifact Evaluation Co-Chair for QEST 2023 |
2022 | Member of the Artifact Evaluation Committee for TACAS 2022 |
2021 | Member of the Artifact Evaluation Committee for CAV 2021 |
2020 | Member of the Artifact Evaluation Committee for TACAS 2020 |
2019 | Co-organizer of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp) |
Teaching Activities
2022 | |
---|---|
![]() ![]() |
Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022. |
2021 | |
![]() |
Tim Quatmann, , Joost-Pieter Katoen. Markov automata with multiple objectives, Formal methods in system design 60 (1), pages 33-86, Springer, 2021. |
![]() ![]() |
Tim Quatmann, Joost-Pieter Katoen. Multi-objective Optimization of Long-run Average and Total Rewards, 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 230-249, Springer, 2021. |
![]() ![]() |
Hans Christian Hensel, , Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, International journal on software tools for technology transfer 24 (4), pages 589-610, Springer, 2021. |
![]() |
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang. On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report, 9. International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Volume 12479 of LNCS, 216-241, Springer, 2021. |
Show all |