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.

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)


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.


Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A unifying semantics of DFTs using GSPNs. Proc. of Petri Nets, Volume of LNCS, 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.
DownloadMajdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems. Proc. of SAFECOMP, Volume 10488 of LNCS, pages 3–19, Springer, 2017.
DownloadSaba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Proc. of 36th IEEE Symposium on Reliable Distributed Systems (SRDS), pages 94–103, IEEE CS (Recipient of Best Paper Award), 2017.
LinkChristian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. Proc. of CAV, Volume 10427 of LNCS, pages 592–600, Springer, 2017.
Show all

External Talks

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