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

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.
2022
DOI fulltext PDF [bibtex]
@conference{UAETRP2022,
title = {Under-Approximating Expected Total Rewards in POMDPs},
author = {Alexander Nikolai Bork and Joost-Pieter Katoen and Tim Quatmann},
publisher = {Springer},
booktitle = {LNCS},
volume = {13244},
pages = {22-40},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-99527-0_2},
url = { https://publications.rwth-aachen.de/record/844526},
}×
[issue] 		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.
Show all