Tim Quatmann

quatmann-2
Email
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

2023Artifact Evaluation Co-Chair for QEST 2023
2022Member of the Artifact Evaluation Committee for TACAS 2022
2021Member of the Artifact Evaluation Committee for CAV 2021
2020Member 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

WS 2023Modeling and Verification of Probabilistic Systems
SS 2023Model Checking
SS 2022Model Checking
WS 2021Theoretical Foundations of the UML
WS 2020Model Checking
SS 2020Datenstrukturen und Algorithmen
SS 2019Formale Systeme, Automaten, Prozesse
WS 2018Modeling and Verification of Probabilistic Systems
SS 2018Datenstrukturen und Algorithmen
WS 2017Theoretical Foundations of the UML
WS 2016Advanced Model Checking

2024
DOI [bibtex]
@article{PM2024,
title = {Parameter synthesis for Markov models: covering the parameter space},
author = {Sebastian Junges and Erika Ábrahám and Hans Christian Hensel and Nils Jansen and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
publisher = {Springer},
journal = {Formal methods in system design},
volume = {62(1/3)},
pages = {pages 181-259},
type = {Journal Article},
year = {2024},
doi = {10.1007/s10703-023-00442-x},
url = { https://publications.rwth-aachen.de/record/985754},
}×
[issue] 		Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models: covering the parameter space, Formal methods in system design 62 (1/3), pages 181-259, Springer, 2024.
DOI fulltext PDF [bibtex]
@conference{ACEVTSDMC2024,
title = {Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains},
author = {Hannah Mertens and Joost-Pieter Katoen and Tim Quatmann and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {14571},
pages = {237-257},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-57249-4_12},
url = { https://publications.rwth-aachen.de/record/990356},
}×
[issue] 		Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 237-257, Springer, 2024.
2023
DOI fulltext PDF [bibtex]
@phdthesis{VM2023,
title = {Verification of multi-objective Markov models},
author = {Tim Quatmann},
publisher = {RWTH Aachen University},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource : Illustrationen},
type = {PhD Thesis},
year = {2023},
doi = {10.18154/RWTH-2023-09669},
url = { https://publications.rwth-aachen.de/record/971553},
}×
[issue] 		Tim Quatmann. Verification of multi-objective Markov models, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2023.
DOI [bibtex]
@conference{APGMMCA2023,
title = {A Practitioner’s Guide to MDP Model Checking Algorithms},
author = {Arnd Hartmanns and Sebastian Junges and Tim Quatmann and Maximilian Weininger},
publisher = {Springer},
booktitle = {LNCS},
volume = {13993},
pages = {469-488},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-30823-9_24},
url = { https://publications.rwth-aachen.de/record/972074},
}×
[issue] 		Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13993 of LNCS, 469-488, Springer, 2023.
Show all