The COMICS Tool - Computing Minimal Counterexamples for DTMCs. - Nils Jansen 001; Erika Ábrahám; Matthias Volk 001; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (ATVA, 2012)

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains - Nils Jansen 001; Erika Ábrahám; Maik Scheffler; Matthias Volk 001; Andreas Vorpahl; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (CoRR, 2012)

Accelerating Parametric Probabilistic Verification. - Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (QEST, 2014)

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Harold Bruintjes; Joost-Pieter Katoen; Erika Ábrahám (CAV (1), 2015)

Parameter Synthesis for Probabilistic Systems. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Joost-Pieter Katoen; Erika Ábrahám; Harold Bruintjes (MBMV, 2016)

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. - Matthias Volk 001; Sebastian Junges; Joost-Pieter Katoen (SAFECOMP, 2016)

Advancing Dynamic Fault Tree Analysis. - Matthias Volk 001; Sebastian Junges; Joost-Pieter Katoen (CoRR, 2016)

The Probabilistic Model Checker Storm (Extended Abstract). - Christian Dehnert; Sebastian Junges; Joost-Pieter Katoen; Matthias Volk 001 (CoRR, 2016)

A Storm is Coming: A Modern Probabilistic Model Checker. - Christian Dehnert; Sebastian Junges; Joost-Pieter Katoen; Matthias Volk 001 (CAV (2), 2017)

Model-Based Safety Analysis for Vehicle Guidance Systems. - Majdi Ghadhab; Sebastian Junges; Joost-Pieter Katoen; Matthias Kuntz; Matthias Volk 001 (SAFECOMP, 2017)

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. - Saba Aflaki; Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Arne Storjohann (SRDS, 2017)

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. - Sebastian Junges; Joost-Pieter Katoen; Mariëlle Stoelinga; Matthias Volk 001 (Petri Nets, 2018)

Fast Dynamic Fault Tree Analysis by Model Checking Techniques. - Matthias Volk 001; Sebastian Junges; Joost-Pieter Katoen (IEEE Trans. Ind. Informatics, 2018)

A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. - Matthias Volk 001; Norman Weik; Joost-Pieter Katoen; Nils Nießen (FMICS, 2019)

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (PRDC, 2019)

Formal Verification of Rewriting Rules for Dynamic Fault Trees. - Yassmeen Elderhalli; Matthias Volk 001; Osman Hasan; Joost-Pieter Katoen; Sofiène Tahar (SEFM, 2019)

Parameter Synthesis for Markov Models. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (CoRR, 2019)

Safety analysis for vehicle guidance systems with dynamic fault trees. - Majdi Ghadhab; Sebastian Junges; Joost-Pieter Katoen; Matthias Kuntz; Matthias Volk 001 (Reliab. Eng. Syst. Saf., 2019)

Model Checking the Multi-Formalism Language FIGARO. - Shahid Khan 002; Matthias Volk 001; Joost-Pieter Katoen; Alexis Braibant; Marc Bouissou (DSN, 2021)

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Muhammad Ahmad Zafar; Falak Sher (LADC, 2021)

Scalable Reliability Analysis by Lazy Verification. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (NFM, 2021)

Sampling-Based Verification of CTMCs with Uncertain Rates. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (CAV (2), 2022)

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. - Daniel Basgöze; Matthias Volk 001; Joost-Pieter Katoen; Shahid Khan 002; Mariëlle Stoelinga (NFM, 2022)

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. - Lisandro Arturo Jimenez-Roa; Matthias Volk 001; Mariëlle Stoelinga (SAFECOMP, 2022)

Synthesizing optimal bias in randomized self-stabilization. - Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki (Distributed Comput., 2022)

The probabilistic model checker Storm. - Christian Hensel; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (Int. J. Softw. Tools Technol. Transf., 2022)

DFT modeling approach for operational risk assessment of railway infrastructure. - Norman Weik; Matthias Volk 001; Joost-Pieter Katoen; Nils Nießen (Int. J. Softw. Tools Technol. Transf., 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Sebastian Junges; Nils Jansen 001; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Solving Queries for Boolean Fault Tree Logic via Quantified SAT. - Caz Saaltink; Stefano M. Nicoletti; Matthias Volk 001; Ernst Moritz Hahn; Mariëlle Stoelinga (FTSCS, 2023)

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. - Joshua Jeppson; Matthias Volk 001; Bryant Israelsen; Riley Roberts; Andrew Williams; Lukas Buecherl; Chris J. Myers; Hao Zheng 001; Chris Winstead; Zhen Zhang 006 (QEST, 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Artifact for "CTMCs with Imprecisely Timed Observations". - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2023)

Riding the Storm in a Probabilistic Model Checking Landscape. - Christian Hensel; Sebastian Junges; Tim Quatmann; Matthias Volk 001 (Principles of Verification (2), 2024)

Modular Criticality Analysis for Dynamic Fault Trees. - Falak Sher; Mariëlle Stoelinga; Matthias Volk 001 (Principles of Verification (3), 2024)

Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. - Lisandro Arturo Jimenez-Roa; Nicolae Rusnac; Matthias Volk 001; Mariëlle Stoelinga (FMICS, 2024)

CTMCs with Imprecisely Timed Observations. - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (TACAS (2), 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Formal Modelling and Analysis of Slot Machines. - Jan Friso Groote; Sander van Heesch; Matthias Volk 001 (CoRR, 2024)

Parameter synthesis for Markov models: covering the parameter space. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (Formal Methods Syst. Des., 2024)

Optimal spare management via statistical model checking: a case study in research reactors. - Reza Soltani 001; Matthias Volk 001; Leonardo Diamonte; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (Int. J. Softw. Tools Technol. Transf., 2025)

A formal specification of the desired software behaviour of the Princess Marijke lock complex. - Jan Friso Groote; Matthias Volk 001 (CoRR, 2025)