The Galileo fault tree analysis tool

• SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

  2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access

  13

  citations
• SAFEST: The Static and Dynamic Fault Tree Analysis Tool

  2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access

  0

  citations
• BDDs Strike Back

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• On Correctness, Precision, and Performance in Quantitative Verification

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  39

  citations
• Various Ways to Quantify BDMPs

  2020 Electronic Proceedings in Theoretical Computer Science article Decision Sciences Risk and Safety Analysis Open access

  5

  citations
• Various Ways to Quantify BDMPs

  2020 RWTH Publications (RWTH Aachen) article Decision Sciences Risk and Safety Analysis Open access

  3

  citations

7 results