Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

A fast BDD algorithm for large coherent fault trees analysis

5 references·16 citing·35 second hop

FromToDepth

this work references cited by second hop

References

1993New algorithms for fault trees analysis472 cited
1996A linear-time algorithm to find modules of fault trees159 cited
2002A fault tree analysis strategy using binary decision diagrams133 cited
1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia126 cited
2001Mathematical foundations of minimal cutsets121 cited

Cited by

2004Can we trust PRA?78 cited
2018Multi-unit Level 1 probabilistic safety assessment: Approaches and their application to a six-unit nuclear power plant site55 cited
2006An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees50 cited
2008Binary Decision Diagrams for Reliability Studies45 cited
2010Analysis of large fault trees based on functional decomposition42 cited
2015BDD algorithms based on modularization for fault tree analysis35 cited
2022A review on the realization methods of dynamic fault tree35 cited
2015Development of reliability and probabilistic safety assessment program RiskA34 cited
2018AIMS-MUPSA software package for multi-unit PSA33 cited
2008FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

24 cited

2010A reduction approach to improve the quantification of linked fault trees through binary decision diagrams23 cited

2016Fault-tree-based instantaneous risk computing core in nuclear power plant risk monitor23 cited

2019Modelling and Resolution of Dynamic Reliability Problems by the Coupling of Simulink and the Stochastic Hybrid Fault Tree Object Oriented (SHyFTOO) Library22 cited

2014A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plants22 cited

2009ZBDD algorithm features for an efficient Probabilistic Safety Assessment22 cited

2012Solving dynamic flowgraph methodology models using binary decision diagrams21 cited