Matthias Volk

54 papers A 1B 7C 4Journal 24Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistic Model Checking Taken by Storm.
CoRR
Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2025 J jnl
A formal specification of the desired software behaviour of the Princess Marijke lock complex.
CoRR
Jan Friso Groote, Matthias Volk
2025 J jnl
Formal Modeling and Analysis of Slot Machines.
IEEE Trans. Games
Jan Friso Groote, Sander van Heesch, Matthias Volk
2025 J jnl
Optimal spare management via statistical model checking: a case study in research reactors.
Int. J. Softw. Tools Technol. Transf.
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 — conf
CTMCs with Imprecisely Timed Observations.
TACAS (2)
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 J jnl
CTMCs with Imprecisely Timed Observations.
CoRR
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 C conf
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics.
FMICS
Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga
2024 J jnl
Formal Modelling and Analysis of Slot Machines.
CoRR
Jan Friso Groote, Sander van Heesch, Matthias Volk
2024 — conf
Modular Criticality Analysis for Dynamic Fault Trees.
Principles of Verification (3)
Falak Sher, Mariëlle Stoelinga, Matthias Volk
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 — ed.
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.
MARS
Frédéric Lang, 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 C conf
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.
FMICS
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 — conf
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
QEST
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
2023 — conf
Solving Queries for Boolean Fault Tree Logic via Quantified SAT.
FTSCS
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
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
2022 — conf
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.
NFM
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022 J jnl
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.
CoRR
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022 J jnl
DFT modeling approach for operational risk assessment of railway infrastructure.
Int. J. Softw. Tools Technol. Transf.
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
2022 B conf
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization.
SAFECOMP
Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga
2022 — conf
Sampling-Based Verification of CTMCs with Uncertain Rates.
CAV (2)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Sampling-Based Verification of CTMCs with Uncertain Rates.
CoRR
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Synthesizing optimal bias in randomized self-stabilization.
Distributed Comput.
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
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
2021 A conf
Model Checking the Multi-Formalism Language FIGARO.
DSN
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
2021 — conf
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.
LADC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
2021 — conf
Scalable Reliability Analysis by Lazy Verification.
NFM
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2020 J jnl
The Probabilistic Model Checker Storm.
CoRR
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 C conf
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas.
FMICS
Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen
2019 B conf
Formal Verification of Rewriting Rules for Dynamic Fault Trees.
SEFM
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
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
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees.
CoRR
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019 J jnl
Safety analysis for vehicle guidance systems with dynamic fault trees.
Reliab. Eng. Syst. Saf.
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019 C conf
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.
PRDC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2018 J jnl
Fast Dynamic Fault Tree Analysis by Model Checking Techniques.
IEEE Trans. Ind. Informatics
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2018 B conf
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.
Petri Nets
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018 J jnl
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs.
CoRR
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2017 — conf
A Storm is Coming: A Modern Probabilistic Model Checker.
CAV (2)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 J jnl
A storm is Coming: A Modern Probabilistic Model Checker.
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 B conf
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.
SRDS
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann
2017 B conf
Model-Based Safety Analysis for Vehicle Guidance Systems.
SAFECOMP
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2016 B conf
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.
SAFECOMP
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Advancing Dynamic Fault Tree Analysis.
CoRR
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016 — conf
Parameter Synthesis for Probabilistic Systems.
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 J jnl
The Probabilistic Model Checker Storm (Extended Abstract).
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2015 — conf
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2014 — conf
Accelerating Parametric Probabilistic Verification.
QEST
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 J jnl
Accelerating Parametric Probabilistic Verification.
CoRR
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2012 B conf
The COMICS Tool - Computing Minimal Counterexamples for DTMCs.
ATVA
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012 J jnl
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains
CoRR
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker