Person
Dr.Matthias Volk
Ehem. assoziierter Promotionsstudent
Adresse
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Doktorarbeit] Dynamic fault trees: semantics, analysis and applications, 2022 [DOI: 10.18154/RWTH-2023-04092] | Volk, Matthias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 713-732, 2022 [DOI: 10.1007/978-3-031-06773-0_38] | Basgöze, Daniel Volk, Matthias (Corresponding author) Katoen, Joost-Pieter Khan, Shahid Stoelinga, Marielle |
| [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel] DFT modeling approach for operational risk assessment of railway infrastructure In: International journal on software tools for technology transfer : STTT, 24 (3), 331-350, 2022 [DOI: 10.1007/s10009-022-00652-4] | Weik, Norman (Corresponding author) Volk, Matthias Katoen, Joost-Pieter Nießen, Nils |
| [Fachzeitschriftenartikel] Synthesizing optimal bias in randomized self-stabilization In: Distributed computing, 35 (1), 37-57, 2021 [DOI: 10.1007/s00446-021-00408-4] | Volk, Matthias (Corresponding author) Bonakdarpour, Borzoo Katoen, Joost-Pieter Aflaki, Saba |
| [Fachzeitschriftenartikel] The probabilistic model checker STORM In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021 [DOI: 10.1007/s10009-021-00633-z] | Hensel, Hans Christian Junges, Sebastian Katoen, Joost-Pieter (Corresponding author) Quatmann, Tim Volk, Matthias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Scalable Reliability Analysis by Lazy Verification In: NASA formal methods : 13th international symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.), 180-197, 2021 [DOI: 10.1007/978-3-030-76384-8_12] | Khan, Shahid (Corresponding author) Katoen, Joost-Pieter Volk, Matthias Bouissou, Marc |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees In: 2021 10th Latin-American Symposium on Dependable Computing (LADC) : proceedings : virtual conference, 22-26 November 2021 / publisher: IEEE ; general chair: Antônio Augusto Fröhlich (UFSC), publication chair: Augusto José Venâncio Neto (UFRN), 2021 [DOI: 10.1109/LADC53747.2021.9672579] | Khan, Shahid (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Volk, Matthias (Corresponding author) Zafar, Ahmad (Corresponding author) Sher, Falak (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Model Checking the Multi-Formalism Language FIGARO In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE, 463-470, 2021 [DOI: 10.1109/DSN48987.2021.00056] | Khan, Shahid (Corresponding author) Volk, Matthias Katoen, Joost-Pieter Braibant, Alexis Bouissou, Marc |
| [Bericht] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing : PRDC 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 266-275, 2019 [DOI: 10.1109/PRDC47002.2019.00057] | Khan, Shahid (Corresponding author) Katoen, Joost-Pieter Volk, Matthias Bouissou, Marc |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Formal Verification of Rewriting Rules for Dynamic Fault Trees In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, 2019 [DOI: 10.1007/978-3-030-30446-1_27] | Elderhalli, Yassmeen (Corresponding author) Volk, Matthias Hasan, Osman Katoen, Joost-Pieter Tahar, Sofiène |
| [Buchbeitrag, Beitrag zu einem Tagungsband] A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019 [DOI: 10.1007/978-3-030-27008-7_3] | Volk, Matthias (Corresponding author) Weik, Norman Katoen, Joost-Pieter Nießen, Nils |
| [Fachzeitschriftenartikel] Safety analysis for vehicle guidance systems with dynamic fault trees In: Reliability engineering & system safety, 186, 37-50, 2019 [DOI: 10.1016/j.ress.2019.02.005] | Ghadhab, Majdi Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Kuntz, Matthias Volk, Matthias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs In: Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / Victor Khomenko, Olivier H. Roux (eds.), 272-293, 2018 [DOI: 10.1007/978-3-319-91268-4_14] | Junges, Sebastian Katoen, Joost-Pieter Stoelinga, Marielle Volk, Matthias (Corresponding author) |
| [Fachzeitschriftenartikel] Fast Dynamic Fault Tree Analysis by Model Checking Techniques In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017 [DOI: 10.1109/TII.2017.2710316] | Volk, Matthias Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] A Storm is Coming: A Modern Probabilistic Model Checker In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017 [DOI: 10.1007/978-3-319-63390-9_31] | Dehnert, Hans Christian (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter Volk, Matthias |
Verwandte Themen
- Matthias Volk: Dynamic Fault Trees: Semantics, Analysis and Applications
- Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
- Bi-Weekly Talk: Matthias Volk zusammen mit Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas