Tim Quatmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
7
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families. | Milan Ceska, Sebastian Junges, Luko van der Maas, Filip Mack, Tim Quatmann |
| 2026 | FM | Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking - (Long Tool Paper). | Arnd Hartmanns, Tim Quatmann, Mark van Wijk |
| 2026 | FM | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2026 | TACAS | Multiple Long-Run and mega-Regular Objectives in MDPs. | Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann |
| 2025 | ATVA | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. | Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2025 | CONCUR | Compositional Reasoning for Parametric Probabilistic Automata. | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen |
| 2025 | UAI | Multi-Cost-Bounded Reachability Analysis of POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein |
| 2025 | TACAS | Fixed Point Certificates for Reachability and Expected Rewards in MDPs. | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken |
| 2024 | CONCUR | A Spectrum of Approximate Probabilistic Bisimulations. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann |
| 2024 | TACAS | Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler |
| 2023 | TACAS | A Practitioner's Guide to MDP Model Checking Algorithms. | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger |
| 2022 | TACAS | Under-Approximating Expected Total Rewards in POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann |
| 2021 | TACAS | Multi-objective Optimization of Long-run Average and Total Rewards. | Tim Quatmann, Joost-Pieter Katoen |
| 2020 | ATVA | Verification of Indefinite-Horizon POMDPs. | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | ISoLA | On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang |
| 2020 | TACAS | Simple Strategies in Multi-Objective MDPs. | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2019 | TACAS | The Quantitative Verification Benchmark Set. | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters |
| 2018 | CAV | Sound Value Iteration. | Tim Quatmann, Joost-Pieter Katoen |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2018 | TACAS | Multi-cost Bounded Reachability in MDP. | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2017 | CAV | Markov Automata with Multiple Objectives. | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | ATVA | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker |