Matthias Volk

According to our database, Matthias Volk authored at least 37 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parameter synthesis for Markov models: covering the parameter space.

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

Formal Methods Syst. Des., June, 2024

Formal Modelling and Analysis of Slot Machines.

Jan Friso Groote, Sander van Heesch, Matthias Volk

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 2024

CTMCs with Imprecisely Timed Observations.

Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics.

Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

Modular Criticality Analysis for Dynamic Fault Trees.

Falak Sher, Mariëlle Stoelinga, Matthias Volk

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

Riding the Storm in a Probabilistic Model Checking Landscape.

Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

DFT modeling approach for operational risk assessment of railway infrastructure.

Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen

Int. J. Softw. Tools Technol. Transf., 2022

The probabilistic model checker Storm.

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

Int. J. Softw. Tools Technol. Transf., 2022

Synthesizing optimal bias in randomized self-stabilization.

Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki

Distributed Comput., 2022

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization.

Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2022

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Scalable Reliability Analysis by Lazy Verification.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Model Checking the Multi-Formalism Language FIGARO.

Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2019

Safety analysis for vehicle guidance systems with dynamic fault trees.

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk

Reliab. Eng. Syst. Saf., 2019

Parameter Synthesis for Markov Models.

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

CoRR, 2019

Formal Verification of Rewriting Rules for Dynamic Fault Trees.

Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas.

Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Fast Dynamic Fault Tree Analysis by Model Checking Techniques.

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

IEEE Trans. Ind. Informatics, 2018

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.

Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.

Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Model-Based Safety Analysis for Vehicle Guidance Systems.

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Storm is Coming: A Modern Probabilistic Model Checker.

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

The Probabilistic Model Checker Storm (Extended Abstract).

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

CoRR, 2016

Advancing Dynamic Fault Tree Analysis.

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

CoRR, 2016

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Computer Safety, Reliability, and Security, 2016

Parameter Synthesis for Probabilistic Systems.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Accelerating Parametric Probabilistic Verification.

Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2012

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains

Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker

CoRR, 2012

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Automated Technology for Verification and Analysis, 2012