Matthias Volk

Philipps University of Marburg — Germany

Computer Science · Physical Sciences

14h-index1.1kcitations63works3.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(27), Formal Methods in Verification(26), Software Testing and Debugging Techniques(20), Risk and Safety Analysis(11), Software Engineering Research(9)

Publications63 total

Optimal spare management via statistical model checking: a case study in research reactors
International Journal on Software Tools for Technology Transfer·2025· 2 citedOpen Access
Test–retest reliability of functional near infrared spectroscopy during tasks of inhibitory control and working memory
Psychiatry Research Neuroimaging·2025· 2 citedOpen Access
Modular Criticality Analysis for Dynamic Fault Trees
Lecture notes in computer science·2024Open Access
Riding the Storm in a Probabilistic Model Checking Landscape
Lecture notes in computer science·2024Open Access
Tools at the Frontiers of Quantitative Verification
Lecture notes in computer science·2024· 5 citedOpen Access
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Parameter synthesis for Markov models: covering the parameter space
Formal Methods in System Design·2024· 14 citedOpen Access
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024· 10 citedOpen Access
CTMCs with Imprecisely Timed Observations
arXiv (Cornell University)·2024· 1 citedOpen Access
CTMCs with Imprecisely Timed Observations
Lecture notes in computer science·2024· 1 citedOpen Access
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics
Lecture notes in computer science·2024Open Access
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
2023· 2 citedOpen Access
Artefact for "Optimal spare management via statistical model checking: A case study in research reactors"
2023· 1 citedOpen Access
Artefact for "Optimal spare management via statistical model checking: A case study in research reactors"
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Parameter Synthesis for Markov Models: Prophesy and model files
2023Open Access
Parameter Synthesis for Markov Models: Prophesy and model files
Radboud Repository (Radboud University)·2023Open Access
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
2023Open Access
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors
Lecture notes in computer science·2023· 4 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Joost-Pieter Katoen(31), Sebastian Junges(21), Mariëlle Stoelinga(16), Nils Jansen(12), Erika Ábrahám(7), Tim Quatmann(6), Christian Hensel(5), Shahid Khan(5), Christian Dehnert(4), Thom Badings(4), Florian Corzilius(3), Ralf Wimmer(3), Bernd Becker(3), Falak Sher(3), Marc Bouissou(3), Zhen Zhang(3), Reza Soltani(3), Leonardo Diamonte(3), Milan Lopuhaä-Zwakenberg(3), Harold Bruintjes(2)