Matthias Volk

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 37

Top Topics

Formal Verification

Reliability Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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