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

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:

previous teaching activities:

Publications

2019
DOIE. 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.
DOIArnd 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.
2018
LinkSebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs via Parameter Synthesis. Proc. of UAI, AUAI, 2018.
DOITim Quatmann, Joost-Pieter Katoen. Sound Value Iteration. Proc. of CAV, Volume of LNCS, Springer, 2018.
DOIArnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDPs. Proc. of TACAS, Volume 10805 of LNCS, , 2018.
2017
LinkTim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives. Proc. of Computer Aided Verification (CAV), Volume 10426 of LNCS, pages 140–159, Springer, 2017.
2016
DOITim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. Proc. of ATVA, Volume 9938 of LNCS, pages 50–67, Springer, 2016.
2015
DownloadTim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards. Proc. of the 20th Int. Symp. on Formal Methods (FM'15), Volume 9109 of LNCS, pages 435–452, Springer, 2015.