Matthias Volk

Person

Dr.

Matthias Volk

Computer Science Departement, RTG UnRAVeL

Former associate doctoral researcher

Address

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

 

Publications related to UnRAVeL

Source Author(s)
[Dissertation / PhD Thesis]
Dynamic fault trees: semantics, analysis and applications, 2022
[DOI: 10.18154/RWTH-2023-04092]
Volk, Matthias
[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 / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 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
[Contribution to a book, Contribution to a conference proceedings]
Scalable Reliability Analysis by Lazy Verification
In: NASA formal methods : 13th international symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.), 180-197, 2021
[DOI: 10.1007/978-3-030-76384-8_12]
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
In: 2021 10th Latin-American Symposium on Dependable Computing (LADC) : proceedings : virtual conference, 22-26 November 2021 / publisher: IEEE ; general chair: Antônio Augusto Fröhlich (UFSC), publication chair: Augusto José Venâncio Neto (UFRN), 2021
[DOI: 10.1109/LADC53747.2021.9672579]
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Volk, Matthias (Corresponding author)
Zafar, Ahmad (Corresponding author)
Sher, Falak (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Model Checking the Multi-Formalism Language FIGARO
In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE, 463-470, 2021
[DOI: 10.1109/DSN48987.2021.00056]
Khan, Shahid (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Braibant, Alexis
Bouissou, Marc
[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 / Victor Khomenko, Olivier H. Roux (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