Uncovering Dynamic Fault Trees

• 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
• 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
• 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
• 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

7 results