W3125563786

• 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
• 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
• Explaining Boolean-Logic Driven Markov Processes using GSPNs

  2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

  5

  citations
• A Compositional Semantics for Repairable BDMPs

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

  5

  citations

5 results