Matthias Volk


Click to reveal
Room 4205
Ahornstraße 55
D-52074 Aachen
+49 241 80 21212


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 (Stipendiat) within the Research Training Group UnRAVeL.
My research interests include:

  • Analysis of dynamic fault trees (DFTs)
  • Verifiying fault trees for railway safety (see UnRAVeL project AP4)
  • 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.

Currently, I am supervising the following theses:

  • Hannah Mertens, Repairs in Dynamic Fault Trees: a Petri net semantics, Bachelor thesis
  • Fynn Mazurkiewicz, Parameter Synthesis for Continuous-Time Markov Chains, Bachelor thesis

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


I am currently involved in the following teaching activities:

Past teaching activities:


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 (SRDS) in Hongkong. The paper presents automated techniques to find the probability distribution that achieves minimum average recovery time for randomized distributed self-stabilizing algorithms.


LinkMajdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. Reliability Engineering and System Safety 186, pages 37–50, 2019.
LinkSebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A unifying semantics of DFTs using GSPNs. Proc. of Petri Nets, Volume 10877 of LNCS, pages 272–293, Springer, 2018.
DOIMatthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics 14(1), pages 370-379, 2018.
Show all

External Talks

DownloadMatthias Volk. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at ROCKS Workshop, Freising, 2018.
DownloadMatthias Volk. One Net Fits All, Talk at UnRAVeL bi-weekly meeting at RWTH Aachen University, 2018.
DownloadMatthias Volk. One Net Fits All, Talk at Petri Nets Conference, Bratislava, Slovakia, 2018.
DownloadMatthias Volk. Partial State Space Generation for Fault Tree Analysis, Talk at Lorentz Workshop on Safety of Future Systems, Leiden, The Netherlands, 2018.
DownloadMatthias Volk. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at UnRAVeL Spring Workshop, Abdij Rolduc, The Netherlands, 2018.
DownloadJoost-Pieter Katoen, Matthias Volk. A Modern Perspective on Fault Tree Analysis, Tutorial at MMB, Erlangen, Germany, 2018.
Show all