Matthias Volk

dav

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

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 (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:

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 (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.

Publications

2018
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.
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), 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

2018
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