Publications

See also DBLP, Google Scholar or ORCID-iD.

2024

  1. TACAS
    CTMCs with Imprecisely Timed Observations
    Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, and Nils Jansen
    In TACAS (2), 2024
    arXiv Artifact
  2. FMSD
  3. RAMS

2023

  1. FTSCS
    Solving Queries for Boolean Fault Tree Logic via Quantified SAT
    Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
    In FTSCS, 2023
    Artifact
  2. QEST
    STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
    Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, and Zhen Zhang
    In QEST, 2023
    Artifact
  3. FMICS
    Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors
    Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, and Mariëlle Stoelinga
    In FMICS, 2023
    Artifact
  4. ESREL
    From Fault Trees to Piping and Instrumentation Diagrams
    Wouter Bos, Matthias Volk, Mariëlle Stoelinga, Marc Bouissou, and Pavel Krčál
    In ESREL, 2023
    PDF
  5. ESREL
    SAFEST: the static and dynamic fault tree analysis tool
    Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle Stoelinga, and Ahmad Zafar
    In ESREL, 2023
    PDF

2022

  1. DC
    Synthesizing optimal bias in randomized self-stabilization
    Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, and Saba Aflaki
    Distributed Comput., 2022
  2. STTT
    DFT modeling approach for operational risk assessment of railway infrastructure
    Norman Weik, Matthias Volk, Joost-Pieter Katoen, and Nils Nießen
    Int. J. Softw. Tools Technol. Transf., 2022
  3. STTT
    The probabilistic model checker Storm
    Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk
    Int. J. Softw. Tools Technol. Transf., 2022
    arXiv
  4. CAV
  5. NFM
  6. SAFECOMP
    Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization
    Lisandro Arturo Jimenez-Roa, Matthias Volk, and Mariëlle Stoelinga
    In SAFECOMP, 2022

2021

  1. DSN
    Model Checking the Multi-Formalism Language FIGARO
    Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, and Marc Bouissou
    In DSN, 2021
  2. LADC
    Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
    Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, and Falak Sher
    In LADC, 2021
  3. NFM
    Scalable Reliability Analysis by Lazy Verification
    Shahid Khan, Joost-Pieter Katoen, Matthias Volk, and Marc Bouissou
    In NFM, 2021

2019

  1. RESS
    Safety analysis for vehicle guidance systems with dynamic fault trees
    Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, and Matthias Volk
    Reliab. Eng. Syst. Saf., 2019
    arXiv
  2. FMICS
  3. PRDC
    Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
    Shahid Khan, Joost-Pieter Katoen, Matthias Volk, and Marc Bouissou
    In PRDC, 2019
  4. SEFM
    Formal Verification of Rewriting Rules for Dynamic Fault Trees
    Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, and Sofiène Tahar
    In SEFM, 2019

2018

  1. TII
  2. Petri Nets

2017

  1. CAV
    A Storm is Coming: A Modern Probabilistic Model Checker
    Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, and Matthias Volk
    In CAV (2), 2017
    arXiv
  2. SAFECOMP
    Model-Based Safety Analysis for Vehicle Guidance Systems
    Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, and Matthias Volk
    In SAFECOMP, 2017
  3. SEFM
    Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
    Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, and Arne Storjohann
    In SRDS, 2017

2016

  1. MBMV
    Parameter Synthesis for Probabilistic Systems
    Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, and Harold Bruintjes
    In MBMV, 2016
  2. SAFECOMP

2015

  1. CAV
    PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
    Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám
    In CAV (1), 2015

2014

  1. QEST
    Accelerating Parametric Probabilistic Verification
    Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker
    In QEST, 2014
    arXiv

2012

  1. ATVA
    The COMICS Tool - Computing Minimal Counterexamples for DTMCs
    Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker
    In ATVA, 2012
    arXiv