Tim Quatmann

53 papers A 2B 6Journal 25Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compositional Reasoning for Probabilistic Automata with Uncertainty.
CoRR
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2026 — conf
Multiple Long-Run and ømega-Regular Objectives in MDPs.
TACAS (1)
Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann
2026 J jnl
Probabilistic Model Checking Taken by Storm.
CoRR
Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2025 B conf
Compositional Reasoning for Parametric Probabilistic Automata.
CONCUR
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2025 J jnl
Compositional Reasoning for Parametric Probabilistic Automata.
CoRR
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2025 J jnl
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate.
J. Autom. Reason.
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2025 — conf
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
TACAS (2)
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 J jnl
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
CoRR
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 B conf
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
ATVA
Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025 J jnl
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
CoRR
Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025 A conf
Multi-Cost-Bounded Reachability Analysis of POMDPs.
UAI
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein
2025 J jnl
What is the best algorithm for MDP model checking?
Int. J. Softw. Tools Technol. Transf.
Tim Quatmann
2024 B conf
A Spectrum of Approximate Probabilistic Bisimulations.
CONCUR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024 J jnl
A Spectrum of Approximate Probabilistic Bisimulations.
CoRR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024 — conf
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
TACAS (2)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024 J jnl
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
CoRR
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024 J jnl
Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des.
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification (1)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification (2)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification (3)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — conf
Riding the Storm in a Probabilistic Model Checking Landscape.
Principles of Verification (2)
Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
A Practitioner's Guide to MDP Model Checking Algorithms.
TACAS (1)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
A Practitioner's Guide to MDP Model Checking Algorithms.
CoRR
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — —
Verification of multi-objective Markov models.
Tim Quatmann
2022 J jnl
Markov automata with multiple objectives.
Formal Methods Syst. Des.
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
The probabilistic model checker Storm.
Int. J. Softw. Tools Technol. Transf.
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2022 — conf
Under-Approximating Expected Total Rewards in POMDPs.
TACAS (2)
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2022 J jnl
Under-Approximating Expected Total Rewards in POMDPs.
CoRR
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2021 — conf
Multi-objective Optimization of Long-run Average and Total Rewards.
TACAS (1)
Tim Quatmann, Joost-Pieter Katoen
2020 J jnl
Multi-cost Bounded Tradeoff Analysis in MDP.
J. Autom. Reason.
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020 J jnl
Multi-objective Optimization of Long-run Average and Total Rewards.
CoRR
Tim Quatmann, Joost-Pieter Katoen
2020 — conf
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
ISoLA (4)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020 — conf
Simple Strategies in Multi-Objective MDPs.
TACAS (1)
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
2020 J jnl
The Probabilistic Model Checker Storm.
CoRR
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2020 B conf
Verification of Indefinite-Horizon POMDPs.
ATVA
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020 J jnl
Verification of indefinite-horizon POMDPs.
CoRR
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2019 — conf
Correct-by-construction policies for POMDPs.
SNR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019 J jnl
Parameter Synthesis for Markov Models.
CoRR
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 J jnl
Simple Strategies in Multi-Objective MDPs (Technical Report).
CoRR
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019 — conf
The Quantitative Verification Benchmark Set.
TACAS (1)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2018 A conf
Finite-State Controllers of POMDPs using Parameter Synthesis.
UAI
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018 — conf
Multi-cost Bounded Reachability in MDP.
TACAS (2)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2018 — conf
Sound Value Iteration.
CAV (1)
Tim Quatmann, Joost-Pieter Katoen
2018 J jnl
Sound Value Iteration.
CoRR
Tim Quatmann, Joost-Pieter Katoen
2017 — conf
Markov Automata with Multiple Objectives.
CAV (1)
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017 J jnl
Markov Automata with Multiple Objectives.
CoRR
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017 J jnl
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.
CoRR
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2016 B conf
Parameter Synthesis for Markov Models: Faster Than Ever.
ATVA
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Parameter Synthesis for Markov Models: Faster Than Ever.
CoRR
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2015 B conf
Counterexamples for Expected Rewards.
FM
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker