Matthias Volk
Matthias Volk
PhD Student at RWTH Aachen University
Verified email at cs.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
A storm is coming: A modern probabilistic model checker
C Dehnert, S Junges, JP Katoen, M Volk
International Conference on Computer Aided Verification, 592-600, 2017
2032017
Prophesy: A probabilistic parameter synthesis tool
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...
International Conference on Computer Aided Verification, 214-231, 2015
962015
Accelerating parametric probabilistic verification
N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ...
International Conference on Quantitative Evaluation of Systems, 404-420, 2014
482014
Fast dynamic fault tree analysis by model checking techniques
M Volk, S Junges, JP Katoen
IEEE Transactions on Industrial Informatics 14 (1), 370-379, 2017
412017
The COMICS Tool – Computing Minimal Counterexamples for DTMCs
N Jansen, E Ábrahám, M Volk, R Wimmer, JP Katoen, B Becker
International Symposium on Automated Technology for Verification and …, 2012
31*2012
Advancing dynamic fault tree analysis-get succinct state spaces fast and synthesise failure rates
M Volk, S Junges, JP Katoen
International Conference on Computer Safety, Reliability, and Security, 253-265, 2016
152016
Model-Based Safety Analysis for Vehicle Guidance Systems
M Ghadhab, S Junges, JP Katoen, M Kuntz, M Volk
International Conference on Computer Safety, Reliability, and Security, 3-19, 2017
122017
Safety analysis for vehicle guidance systems with dynamic fault trees
M Ghadhab, S Junges, JP Katoen, M Kuntz, M Volk
Reliability Engineering & System Safety 186, 37-50, 2019
102019
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
S Aflaki, M Volk, B Bonakdarpour, JP Katoen, A Storjohann
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 94-103, 2017
82017
Parameter Synthesis for Markov Models
S Junges, E Abraham, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
62019
One Net Fits All
S Junges, JP Katoen, M Stoelinga, M Volk
International Conference on Applications and Theory of Petri Nets and …, 2018
52018
Parameter Synthesis for Probabilistic Systems
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...
MBMV, 72-74, 2016
32016
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
S Khan, JP Katoen, M Volk, M Bouissou
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing …, 2019
22019
The Probabilistic Model Checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
arXiv preprint arXiv:2002.07080, 2020
2020
Formal Verification of Rewriting Rules for Dynamic Fault Trees
Y Elderhalli, M Volk, O Hasan, JP Katoen, S Tahar
International Conference on Software Engineering and Formal Methods, 513-531, 2019
2019
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
M Volk, N Weik, JP Katoen, N Nießen
International Workshop on Formal Methods for Industrial Critical Systems, 40-58, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–16