Person

Matthias Volk

M. Sc. RWTH

Associate doctoral researcher

Matthias Volk
Computer Science Departement, RTG UnRAVeL

Address

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

Contact

workPhone
Phone: +49 241 80 21212
Fax: +49 241 80 22217

Office Hours

n.V.
 

Research

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen since December 2015. Since October 2017, I am a doctoral researcher within the Research Training Group


My research interests include:

  • Analysis of dynamic fault trees, called DFTs
  • Verifiying fault trees for railway safety
  • Model checking of parametric probabilistic systems

Tool support

I am actively involved in the development of the following tools:

  • The probabilistic model checker Storm and its python bindings stormpy
  • The python bindings pycarl for the arithmetic library CArL
  • The parameter synthesis framework for parametric Markov chains PROPhESY

Bachelor/Master Theses

I am always looking forward to work with students. If you are looking for a thesis in one of the areas above, do not hesitate to contact me. Some ideas are also given in our list of open topics.

In the past, I have been supervising the following theses:

  • Dustin Jungen, Repairs in Dynamic Fault Trees, 2017, Bachelor thesis together with Sebastian Junges
  • Michael Deutschen, GSPN Semantics for Dynamic Fault Trees, 2017, Master thesis together with Sebastian Junges
  • Ronja Nocon, Pattern-based detection of Monotonicity in Dynamic Fault Trees, 2016, Bachelor thesis together with Sebastian Junges

Teaching

I am currently involved in the following teaching activities:

Past teaching activities:

Awards

Our paper “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” joint work with Saba Aflaki, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann won the Prof. C.V. Ramamoorthy Best Paper Award at the 36th IEEE Int. Symposium on Reliable Distributed Systems in Hongkong. The paper presents automated techniques to find the probability distribution that achieves minimum average recovery time for randomized distributed self-stabilizing algorithms.

 

Publications related to UnRAVeL

Source Author(s)
[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) : [Proceedings], 266-275, 2019
[DOI: 10.1109/PRDC47002.2019.00057]
Khan, Shahid
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
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
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
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
[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
Katoen, Joost-Pieter
[Preprint]
A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017
Dehnert, Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[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
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Model-based Safety Analysis for Vehicle Guidance Systems
In: Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.), 3-19, 2017
[DOI: 10.1007/978-3-319-66266-4_1]
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
In: 2017 IEEE 36th International Symposium on Reliable Distributed Systems : SRDS 2017 : 26-29 September 2017, Hong Kong : proceedings / sponsored by: IEEE, IEEE Computer Society, Technical Committee on Distributed Processing (TCDP) ; organized by The Hong Kong Polytechnic University, Department of Computing ; symposium general co-chairs: Jiannong Cao (The Hong Kong Polytechnic University, Hong Kong), Michael R. Lyu (The Chinese University of Hong Kong, Hong Kong), 94-103, 2017
[DOI: 10.1109/SRDS.2017.22]
Aflaki, Saba
Volk, Matthias
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Storjohann, Arne