, Fiabilité des grands systèmes séquentiels: résultats théoriques et applications dans le cadre du logiciel GSI, vol.40, 1992.
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliab. Eng. Syst. Saf, vol.82, pp.149-163, 2003. ,
Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components, Proc. ESREL 2016, Glasgow, 2016. ,
Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D, Proc. CIEM, 2005. ,
Détermination efficace de scenarii minimaux de défaillance pour des systèmes séquentiels, Proc. 15 ème Colloque de fiabilité et maintenabilité, 2006. ,
A new methodology for obtaining cut sets for fault trees, Trans. Amer. Nucl. Soc, vol.15, pp.262-263, 1972. ,
Scalable analysis of fault trees with dynamic features, Proc. DSN, 2015. ,