Fast Dynamic Fault Tree Analysis by Model Checking Techniques

• The Optimal Strategy to Meet the Deadline: Ask Christel!

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

  0

  citations
• Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

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

  1

  citations
• Riding the Storm in a Probabilistic Model Checking Landscape

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

  2

  citations
• Tools at the Frontiers of Quantitative Verification

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

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• 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
• A Compositional Semantics of Boolean-Logic Driven Markov Processes

  2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

  3

  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
• DFT modeling approach for operational risk assessment of railway infrastructure

  2022 International Journal on Software Tools for Technology Transfer article Decision Sciences Risk and Safety Analysis Open access

  20

  citations
• BDDs Strike Back

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

  20

  citations
• Under-Approximating Expected Total Rewards in POMDPs

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

  10

  citations
• Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

  2021 Latin-American Symposium on Dependable Computing conference-paper Decision Sciences Risk and Safety Analysis Open access

  3

  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
• Model Checking the Multi-Formalism Language FIGARO

  2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

  7

  citations
• Markov automata with multiple objectives

  2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

  5

  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
• Scalable Reliability Analysis by Lazy Verification

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

  5

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations
• Verification of Indefinite-Horizon POMDPs

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

  23

  citations
• A Compositional Semantics for Repairable BDMPs

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  5

  citations

20 results