Publications

Publications for Matthias Volk

2019
DOI
[bibtex]
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees. Proc. of 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. Proc. of FMICS, Volume 11687 of LNCS, pages 40–58, Springer, 2019.
DOILink
[bibtex]
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. Reliability Engineering and System Safety 186, pages 37–50, 2019.
Show all