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. I was a doctoral researcher (Stipendiat) within the Research Training Group UnRAVeL since 2017. Since 2020 I am part of the ERC research project FRAPPANT.
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 and we can discuss current thesis topics. Some ideas are also given in our list of open topics.

Currently, I am supervising the following theses:

  • Daniel Basgöze, Dynamic Fault Tree Analysis using Binary Decision Diagrams, Bachelor thesis (together with Shahid Khan)
  • Markus Miliats, Analyzing critical components in Dynamic Fault Trees, Bachelor thesis

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 A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas (joint work with Norman Weik, Joost-Pieter Katoen and Nils Nießen) won the Best Paper Award at the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS) in Amsterdam in 2019. The paper presents a model of railway station areas in terms of dynamic fault trees (DFTs). The DFT model is used to assess the reliability of the infrastructure elements in the station area and the influence of infrastructure failures on the routability options of trains.

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

2019
DOI [bibtex] Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs, 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), pages 266-275, IEEE, 2019.
DOI [bibtex] Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17th International Conference on Software Engineering and Formal Methods (SEFM), Volume 11724 of LNCS, pages 513-531, Springer, 2019.
DOI [bibtex] Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, 24th International Conference On Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, pages 40-58, Springer, 2019.
DOI [bibtex] Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, 2019.
2018
DOI [bibtex] Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs, 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018), Volume 10877 of LNCS, pages 272-293, Springer, 2018.
DOI [bibtex] Matthias 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
arXiv:1702.04311 [bibtex] Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming: A Modern Probabilistic Model Checker, 2017. arXiv:1702.04311
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, pages 592-600, Springer, 2017.
DOI [bibtex] Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems, 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Volume 10488 of LNCS, pages 3-19, Springer, 2017.
DOI [bibtex] Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 36th International Symposium on Reliable Distributed Systems (SRDS 2017), pages 94-103, IEEE, 2017.
2016
DOI [bibtex] Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, pages 253-265, Springer, 2016.
DOI fulltext PDF [bibtex] Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), pages 72-74, Albert-Ludwigs-Universität, 2016.
2015
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY : A PRObabilistic ParamEter SYnthesis Tool, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214-231, Springer, 2015.
2014
DOI [bibtex] Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, pages 404-420, Springer, 2014.
2013
arXiv:1312.3979 [bibtex] Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 2013. arXiv:1312.3979
2012
DOI [bibtex] Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool : Computing Minimal Counterexamples for DTMCs, Automated technology for verification and analysis (ATVA 2012), Volume 7561 of LNCS, pages 349-353, Springer, 2012.
arXiv:1206.0603v1 [bibtex] Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool : Computing Minimal Counterexamples for Discrete-time Markov Chains, Cornell Univ., 2012. arXiv:1206.0603v1