| 2026 | FM | Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking - (Long Tool Paper). | Arnd Hartmanns, Tim Quatmann, Mark van Wijk |
| 2026 | VMCAI | Probabilistic Verification for Modular Network-on-Chip Systems. | Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang |
| 2025 | CAV | A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. | Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich |
| 2025 | FMICS | An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. | Arnd Hartmanns |
| 2025 | TACAS | Sound Statistical Model Checking for Probabilities and Expected Rewards. | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2024 | FM | Efficient Formally Verified Maximal End Component Decomposition for MDPs. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |
| 2024 | VECoS | Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2023 | ATVA | Fast Verified SCCs for Probabilistic Model Checking. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |
| 2023 | TACAS | A Practitioner's Guide to MDP Model Checking Algorithms. | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger |
| 2022 | ISoLA | The Modest State of Learning, Sampling, and Verifying Strategies. | Arnd Hartmanns, Michaela Klauck |
| 2022 | TACAS | Correct Probabilistic Model Checking with Floating-Point Arithmetic. | Arnd Hartmanns |
| 2021 | FMICS | Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. | Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang |
| 2021 | MEMOCODE | Learning optimal decisions for stochastic hybrid systems. | Mathis Niehage, Arnd Hartmanns, Anne Remke |
| 2021 | SAC | Symblicit exploration and elimination for probabilistic model checking. | Ernst Moritz Hahn, Arnd Hartmanns |
| 2021 | TACAS | Replicating sc Restart with Prolonged Retrials: An Experimental Report. | Carlos E. Budde, Arnd Hartmanns |
| 2020 | CAV | Optimistic Value Iteration. | Arnd Hartmanns, Benjamin Lucien Kaminski |
| 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 |
| 2019 | FMICS | Probabilistic Verification for Reliable Network-on-Chip System Design. | Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 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 | FOSSACS | A Hierarchy of Scheduler Classes for Stochastic Automata. | Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards |
| 2018 | ISoLA | Lightweight Statistical Model Checking in Nondeterministic Continuous Time. | Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2018 | TACAS | A Statistical Model Checker for Nondeterminism and Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2018 | TACAS | Multi-cost Bounded Reachability in MDP. | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2017 | INDIN | Modelling and certification for electric mobility. | Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose |
| 2017 | WSC | Efficient simulation-based verification of probabilistic timed automata. | Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio |
| 2017 | SETTA | Better Automated Importance Splitting for Transient Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2016 | EMSOFT | Flexible support for time and costs in scenario-aware dataflow. | Arnd Hartmanns, Holger Hermanns, Michael Bungert |
| 2016 | IFM | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | SETTA | A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. | Ernst Moritz Hahn, Arnd Hartmanns |
| 2015 | ATVA | Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. | Arnd Hartmanns, Holger Hermanns |
| 2014 | TACAS | The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. | Arnd Hartmanns, Holger Hermanns |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | FDL | MODEST - A unified language for quantitative models. | Arnd Hartmanns |
| 2012 | ISoLA | Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. | Arnd Hartmanns, Holger Hermanns |
| 2012 | WSC | A comparative analysis of decentralized power grid stabilization strategies. | Arnd Hartmanns, Holger Hermanns, Pascal Berrang |
| 2011 | FORTE | Partial Order Methods for Statistical Model Checking and Simulation. | Jonathan Bogdoll, Luis Mara Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |