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.
My research interests include:

  • Analysis of dynamic fault trees
  • Model checking of parametric probabilistic systems (see PROPhESY)
  • Developing the probabilistic model checker Storm

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:


Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics, 2017.
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), 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.
DOIMatthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 253–265, Springer, 2016.
DOIChristian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
Show all

External Talks

DownloadMatthias Volk. Analysis of Parametric Markov Chains, Talk at PUMA Graduiertenkolleg, TU Munich, 2016.
Matthias Volk. Advancing Dynamic Fault Tree Analysis, Conference Presentation at SAFECOMP (Trondheim, Norway), 2016.
Show all