January 01, 2020 conference-paper Aachen paper

A Compositional Semantics for Repairable BDMPs

Lecture notes in computer science, pp. 82–98

DOI: 10.1007/978-3-030-54549-9_6 OpenAlex

Authors 3

Shahid Ali Khan corresponding Aachen Software Modeling and Verification

RWTH Aachen University

Affiliation as printed

Software Modeling and Verification, RWTH Aachen University, Aachen, Germany
Joost-Pieter Katoen Aachen Software Modeling and Verification

RWTH Aachen University

Affiliation as printed

Software Modeling and Verification, RWTH Aachen University, Aachen, Germany
Marc Bouissou

Électricité de France (France)

Affiliation as printed

EDF-R&D, Electricité de France, Palaiseau, France

Cited by 5 stored of 5

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
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
Scalable Reliability Analysis by Lazy Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

5

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

5 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 22

Modelling with Generalized Stochastic Petri Nets
1998 ACM SIGMETRICS Performance Evaluation Review article Computer Science Petri Nets in System Modeling

1,404

citations
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
2015 Computer Science Review article Decision Sciences Risk and Safety Analysis Open access

851

citations
Dynamic fault-tree models for fault-tolerant computer systems
1992 IEEE Transactions on Reliability article Engineering Radiation Effects in Electronics

769

citations
A Storm is Coming: A Modern Probabilistic Model Checker
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

408

citations
A new component concept for fault trees
2003 article Computer Science Software Reliability and Analysis Research

237

citations
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes
2003 Reliability Engineering & System Safety article Decision Sciences Risk and Safety Analysis

233

citations
On Probabilistic Automata in Continuous Time
2010 conference-paper Computer Science Petri Nets in System Modeling

168

citations
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis
2009 IEEE Transactions on Dependable and Secure Computing article Decision Sciences Risk and Safety Analysis Open access

160

citations
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
2017 IEEE Transactions on Industrial Informatics article Computer Science Formal Methods in Verification

120

citations
JANI: Quantitative Model and Tool Interaction
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

115

citations
Model Checking Probabilistic Systems
2018 Springer eBooks book-chapter Computer Science Formal Methods in Verification

104

citations
State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems
2004 Lecture notes in computer science conference-paper Decision Sciences Risk and Safety Analysis

102

citations
State/event fault trees—A safety analysis model for software-controlled systems
2007 Reliability Engineering & System Safety article Decision Sciences Risk and Safety Analysis

99

citations
Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems
2017 Reliability Engineering & System Safety article Decision Sciences Risk and Safety Analysis Open access

27

citations
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)
2015 Lecture notes in computer science conference-paper Engineering Reliability and Maintenance Optimization

24

citations
Synthesis and analysis of temporal fault trees with PANDORA : The time of Priority AND gates
2007 Nonlinear Analysis Hybrid Systems article Decision Sciences Risk and Safety Analysis Open access

20

citations
One Net Fits All
2018 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

16

citations
Rare Event Simulation for Non-Markovian Repairable Fault Trees
2020 Lecture notes in computer science conference-paper Decision Sciences Risk and Safety Analysis Open access

11

citations
A Modest Markov Automata Tutorial
2019 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

10

citations
W2102609194
details pending

0

citations