Home
Installation
Licenses
Academic
Commercial
Services
Consultancy
Implementation & Integration
Resources
Support
Case Studies
Latest News
Team
Contact
Publications
Explore content for transforming research and teaching
Falak Sher, Marielle Stoeling, and Matthias Volk. “Modular Criticality Analysis for Dynamic Fault Trees”. Book “Principles of Verification: Cycling the Probabilistic Landscape” in Volume 15262 of the Lecture Notes in Computer Science series (LNCS), 2024.
Masood Akmali, Falak Sher. Advancing Nuclear Reactor Safety Analysis: Methodological Innovations and Results from Dynamic Probabilistic Safety Assessment. The European Safety and Reliability Conference (ESREL 2024)
Masood Akmali, Falak Sher. Evolving PSA Methodologies: Towards Dynamic Reliability in SMR Passive Systems. The International Conference on Small Modular Reactors and their Applications 2024, IAEA, Vienna
Matthias Volk, Falak Sher, Joost-Pieter Katoen and Marielle Stoelinga: Storm: Fault Tree Analysis via Probabilistic Model Checking. 70th Annual Reliability and Maintainability Symposium (RAMS) 2024
Ahmad Zafar, Joost-Pieter Katoen, Falak Sher, Marielle Stoelinga, Muzammil Ibne Irshad: Storm: the static and dynamic fault tree analysis tool. European Conference On Safety And Reliability (ESREL) 2023.
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga: BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM 2022: 713-732
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen: DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. 24(3): 331-350 (2022)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, 10th Latin-American Symposium on Dependable Computing (LADC), IEEE, 2021.
Shahid Khan, Joost-Pieter Katoen: Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. PRDC 2021: 113-122
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, Elsevier Science, 2019.
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17. edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019), Volume 11724, Theoretical computer science and general issues of LNCS, 513-531, Springer, 2019.
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk: One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets 2018: 272-293
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, IEEE, 2018.
Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, 368-389, Springer, 2017.
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, 35. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, 253-265, Springer, 2016.
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, 46. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), 299-310, IEEE, 2016.
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, 1. International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, 3-18, Springer, 2015.
Videos
Helpful technology enables everyone to achieve their goals
Watch More
Lectures
Lectures
Model-Based Risk Assessment - Why Risk models - Mariëlle Stoelinga
Fault Tree Analysis - What are Fault Trees? - Mariëlle Stoelinga
Fault tree analysis - Cut Sets - Mariëlle Stoelinga
Fault tree analysis - Dynamic Fault Trees - Mariëlle Stoelinga