References

Papers

[BRB90]K. Brace, R. Rudell, and R. Bryant, “Efficient implementation of a BDD package,” in Proc. 27th ACM/IEEE Design Automation Conf., IEEE 0738, 1990.
[Bry86]R. Bryant, “Graph based algorithms for boolean function manipulation,” IEEE Trans. Comp., vol. 35, no. 8, pp. 677-691, 1986.
[DR96]Y. Dutuit and A. Rauzy, “A linear time algorithm to find modules of fault trees,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 45, no. 3, pp. 422-425, 1996.
[DR01]Y. Dutuit and A. Rauzy, “Efficient algorithms to assess component and gate importance in fault tree analysis,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 72, no. 2, pp. 213-222, 2001.
[DR05]Y. Dutuit and A. Rauzy, “Approximate estimation of system reliability via fault trees”, IEEE Trans. Reliab. Eng. Syst. Saf., vol. 87, no. 2, pp. 163–172, 2005.
[DRS08]Y. Dutuit, A. Rauzy, and J.-P. Signoret, “A snapshot of methods and tools to assess safety integrity levels of high integrity protection systems”, Proceedings of the Institution of Mechanical Engineers, Part O, Journal of risk and reliability, vol. 222, no. 3, pp. 371-379, 2008.
[Jun09]W. Jung, “ZBDD algorithm features for an efficient probabilistic safety assessment,” Nuc. Eng. Des., vol. 239, pp. 2085-2092, 2009.
[Min93]S. Minato, “Zero-suppressed BDD’s for set manipulation in combinatorial problems,” in Proc. 30th ACM/IEEE Design Automation Conf., pp. 272-277, 1993.
[Nie94]I. Niemelä, “On simplification of large fault trees,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 44, pp. 135-138, 1994.
[NR99]M. Nikolskaia and A. Rauzy, “Fine-tuning of boolean formulae preprocessing techniques,” in Proc. ESREL Conf., vol. 2, pp. 1027-1032, 1999.
[PA09]R. Remenyte-Prescott and J. Andrews, “An efficient real-time method of analysis for non-coherent fault trees,” Qual. Reliab. Eng. Int., no. 25, pp. 129-150, 2009.
[Rau93]A. Rauzy, “New algorithms for fault trees analysis,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 5, no. 59, pp. 203-211, 1993.
[Rau01]A. Rauzy, “Mathematical foundation of minimal cutsets,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 50, no. 4, pp. 389-396, 2001
[Rau03]A. Rauzy, “Towards an efficient implementation of MOCUS,” IEEE Trans. Reliab. Eng. Syst. Saf., vol. 52, no. 2, pp. 175-180, 2003.
[WakXX]D. Wakefield, “You can’t just build trees and call it PSA”