W6774143879

• 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
• 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 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
• Various Ways to Quantify BDMPs

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

  5

  citations

5 results