ESACS Publications

• M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca, A. Villafiorita, "Improving Safety Assessment of Complex Systems: An industrial case study", to appear FME'03.
• M. Bozzano, A. Villafiorita, "Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform ", to appear SAFECOMP'03.
• M. Bozzano, A. Villafiorita, "Integrating Fault Tree Analysis with Event Ordering Information", in proceedings of ESREL 2003,Balkema publisher.
• M. Bozzano, A. Villafiorita, O. Åkerlund, P. Bieber, C. Bougnol, E. Böde, M. Bretschneider, A. Cavallo, C. Castel, M. Cifaldi, A. Cimatti, A. Griffault, C. Kehren, B. Lawrence, A. Lüdtke, S. Metge, C. Papadopoulos, R. Passarello, T. Peikenkamp, P. Persson, C. Seguin, L. Trotta, L. Valacca, G. Zacco "ESACS: an integrated methodology for design and safety analysis of complex systems", in proceedings of ESREL 2003,Balkema publisher.
• Pierre Bieber, Charles Castel, Christel Seguin "Combination of Fault Tree Analysis and Model-Checking for Safety Assessment of Complex System", to appear in the proceedings of the fourth European Dependable Computing Conference (EDCC-4), Toulouse, October, 2002. LNCS series (copyright Springer-Verlag)

Several papers related to ESACS are available in the general documentation section.