Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Matthias Volk | Researchclopedia

Back to researchers

Matthias Volk

Eindhoven University of Technology ORCID

65

Works

1,108

Citations

14

h-index

19

i10-index

Research Topics

Software Reliability and Analysis Research Formal Methods in Verification Software Testing and Debugging Techniques

Affiliations

University of Copenhagen2020–2020

Radboud University Nijmegen2023–2023

Philipps University of Marburg2025–2025

Eindhoven University of Technology2024–2026

RWTH Aachen University2012–2023

Top Works

A Storm is Coming: A Modern Probabilistic Model Checker

Christian Dehnert,Sebastian Junges,et al.

2017397 citations

Risk and Safety Analysis

Software Engineering Research

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

Matthias Volk,Sebastian Junges,et al.

2017119 citations

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Christian Dehnert,Sebastian Junges,et al.

2015116 citations

Embedding Feynman integral (Calabi-Yau) geometries in weighted projective space

Jacob L. Bourjaily,Andrew J. McLeod,et al.

202071 citations

Safety analysis for vehicle guidance systems with dynamic fault trees

Majdi Ghadhab,Sebastian Junges,et al.

201957 citations

Accelerating Parametric Probabilistic Verification

Nils Jansen,Florian Corzilius,et al.

201455 citations

The COMICS Tool – Computing Minimal Counterexamples for DTMCs

Nils Jansen,Erika Ábrahám,et al.

201228 citations

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

Matthias Volk,Sebastian Junges,et al.

201620 citations

DFT modeling approach for operational risk assessment of railway infrastructure

Norman Weik,Matthias Volk,et al.

202219 citations