References

• 2024Personal Communication4,499 cited
• 2015Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools852 cited
• 2003A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes230 cited
• 2002A modular approach for analyzing static and dynamic fault trees201 cited
• 2007Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains171 cited
• 2009A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis160 cited
• 1988Guidelines for hazard evaluation procedures (1985)126 cited
• 1972New methodology for obtaining cut sets for fault trees119 cited
• 2015Towards a sound semantics for dynamic fault trees22 cited
• 2008Non deterministic Repairable Fault Trees for computing optimal repair strategy18 cited
• 2013A Static Analysis of Dynamic Fault Trees with Priority-AND Gates15 cited
• 2010Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates13 cited

Cited by

No citing works inside the corpus for this window.