| 2017 | SAFECOMP | Model-Based Safety Analysis for Vehicle Guidance Systems. | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2011 | SAFECOMP | From Probabilistic Counterexamples via Causality to Fault Trees. | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2010 | CADE | Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. | Matthias Kuntz, Stefan Leue, Christoph Scheben |
| 2010 | DSN | Evaluating repair strategies for a water-treatment facility using Arcade. | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Marille Stoelinga |
| 2010 | ICSE | Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. | Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2008 | DSN | Architectural dependability evaluation with Arcade. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | ICECCS | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2004 | DSN | Model Checking Action- and State-Labelled Markov Chains. | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2004 | FORTE | Symbolic Performance and Dependability Evaluation with the Tool CASPA. | Matthias Kuntz, Markus Siegle, Edith Werner |