Dynamic fault-tree models for fault-tolerant computer systems

• Reliability of Coherent Systems With Dependent Components Under Time-Homogeneous Load-Sharing Models

  2026 IEEE Transactions on Reliability article Engineering Reliability and Maintenance Optimization

  0

  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
• BDDs Strike Back

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

  20

  citations
• Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs

  2021 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) conference-paper Engineering Reliability and Maintenance Optimization

  1

  citations
• Model-based safety assessment for conceptual aircraft systems design

  2021 CEAS Aeronautical Journal article Engineering Safety Systems Engineering in Autonomy Open access

  27

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

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

  5

  citations
• A Modular Approach to Non-deterministic Dynamic Fault Trees

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

  0

  citations
• Synthesizing and optimizing FDIR recovery strategies from fault trees

  2020 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

  4

  citations
• Parameter synthesis in Markov models

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

  27

  citations
• A Compositional Semantics for Repairable BDMPs

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

  5

  citations

13 results