Matthias Volk

Orcid: 0000-0002-3810-4185

Affiliations:

Eindhoven University of Technology, The Netherlands
University of Twente, The Netherlands (former)
RWTH Aachen University, Germany (former)

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems.

[BibT_eX]

[DOI]

Frédéric Lang

Matthias Volk

CoRR, 2024

CTMCs with Imprecisely Timed Observations.

[BibT_eX]

[DOI]

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

2023

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

[BibT_eX]

[DOI]

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

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

The probabilistic model checker Storm.

[BibT_eX]

[DOI]

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

Synthesizing optimal bias in randomized self-stabilization.

[BibT_eX]

[DOI]

Distributed Comput., 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Sampling-Based Verification of CTMCs with Uncertain Rates.

[BibT_eX]

[DOI]

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

2021

Scalable Reliability Analysis by Lazy Verification.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Model Checking the Multi-Formalism Language FIGARO.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2019

Parameter Synthesis for Markov Models.

[BibT_eX]

[DOI]

CoRR, 2019

Formal Verification of Rewriting Rules for Dynamic Fault Trees.

[BibT_eX]

[DOI]

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

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Fast Dynamic Fault Tree Analysis by Model Checking Techniques.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2017

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

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

Model-Based Safety Analysis for Vehicle Guidance Systems.

[BibT_eX]

[DOI]

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

A Storm is Coming: A Modern Probabilistic Model Checker.

[BibT_eX]

[DOI]

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

2016

The Probabilistic Model Checker Storm (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2016

Advancing Dynamic Fault Tree Analysis.

[BibT_eX]

[DOI]

Matthias Volk

Sebastian Junges

Joost-Pieter Katoen

CoRR, 2016

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

[BibT_eX]

[DOI]

Matthias Volk

Sebastian Junges

Joost-Pieter Katoen

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

Parameter Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2014

Accelerating Parametric Probabilistic Verification.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

CoRR, 2012

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

Matthias Volk

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...