Person

Dr.

Matthias Volk

Former associate doctoral researcher

Matthias Volk
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
In: NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, proceedings / Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.), 713-732, 2022
[DOI: 10.1007/978-3-031-06773-0_38]		Basgöze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle
[Contribution to a conference proceedings, Journal Article]
DFT modeling approach for operational risk assessment of railway infrastructure
In: International journal on software tools for technology transfer : STTT, 24 (3), 331-350, 2022
[DOI: 10.1007/s10009-022-00652-4]		Weik, Norman (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Nießen, Nils
[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 35 (1), 37-57, 2021
[DOI: 10.1007/s00446-021-00408-4]		Volk, Matthias (Corresponding author)
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Aflaki, Saba
[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021
[DOI: 10.1007/s10009-021-00633-z]		Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim
Volk, Matthias
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020		Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing : PRDC 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 266-275, 2019
[DOI: 10.1109/PRDC47002.2019.00057]		Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Formal Verification of Rewriting Rules for Dynamic Fault Trees
In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, 2019
[DOI: 10.1007/978-3-030-30446-1_27]		Elderhalli, Yassmeen (Corresponding author)
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène
[Contribution to a book, Contribution to a conference proceedings]
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019
[DOI: 10.1007/978-3-030-27008-7_3]		Volk, Matthias (Corresponding author)
Weik, Norman
Katoen, Joost-Pieter
Nießen, Nils
[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005]		Ghadhab, Majdi
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Editors: Khomenko, Victor, Roux, Olivier H. (Eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]		Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias (Corresponding author)
[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316]		Volk, Matthias
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017
[DOI: 10.1007/978-3-319-63390-9_31]		Dehnert, Hans Christian (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
 

Similar Topics