This page contains the list of publications that uses xSAP or describe a functionality that has been integrated in xSAP.

Remark! This page is in continuous evolution.

  1. M. Bozzano, A. Cimatti, M. Gario, D. Jones and C. Mattarei (2021) Model-based Safety Assessment of a Triple Modular Generator with xSAP. To appear in Formal Aspects of Computing. (BibTeX)
  2. M. Bozzano, P. Munk, M. Schweizer, S. Tonetta and V. Vozarova (2020) Model-Based Safety Analysis of Mode Transitions. In Proceedings of SAFECOMP 2020., pages 99-114. (BibTeX)
  3. Marco Bozzano, Alessandro Cimatti and Cristian Mattarei (2019) Formal reliability analysis of redundancy architectures. Formal Asp. Comput., 31(1):59-94. (BibTeX)
  4. B. Bittner, M. Bozzano and A. Cimatti (2017) Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. In Proc. IMBSA 2017.. Springer. (BibTeX)
  5. M. Bozzano (2017) Causality and Temporal Dependencies in the Design of Fault Management System. EPTCS, 259:39-46. (BibTeX)
  6. B. Bittner, M. Bozzano and A. Cimatti (2016) Automated Synthesis of Timed Failure Propagation Graphs. In {In Proceedings of IJCAI 2016}.. (BibTeX)
  7. B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli and G. Zampedri (2016) The xSAP Safety Analysis Platform. In Proceedings of TACAS 2016.. (BibTeX)
  8. B. Bittner, M. Bozzano, A. Cimatti and G. Zampedri (2016) Automated Verification and Tightening of Failure Propagation Models. In Proceedings of AAAI 2016.. (BibTeX)
  9. M. Bozzano, A. Cimatti, M. Gario and Andrea Micheli (2015) SMT-based Validation of Timed Failure Propagation Graphs. In Proceedings of AAAI 2015., pages 3724-3730. (BibTeX)
  10. M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta (2015) Safety Assessment of AltaRica models via Symbolic Model Checking. Science of Computer Programming, 98(4):464-483. (BibTeX)
  11. M. Bozzano, A. Cimatti, C. Mattarei and A. Griggio (2015) Efficient Anytime Techniques for Model-Based Safety Analysis. In Proceedings of CAV 2015., pages 603-621. (BibTeX)
  12. M. Bozzano, A. Cimatti, M. Gario and S. Tonetta (2015) Formal Design of Asynchronous FDI Components using Temporal Epistemic Logic. Logical Methods in Computer Science (to appear). (BibTeX)
  13. M. Bozzano, A. Cimatti, A. Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson and S. Tonetta (2015) Formal Design and Safety Analysis of AIR6110 Wheel Brake System. In Proceedings of CAV 2015., pages 518-535. (BibTeX)
  14. M. Bozzano, A. Cimatti, J.-P. Katoen, P. Katsaros, K. Mokos, V.Y. Nguyen, T. Noll, B. Postma and M. Roveri (2014) Spacecraft Early Design Validation using Formal Methods. Reliability Engineering & System Safety, 132:20-35. (BibTeX)
  15. B. Bittner, M. Bozzano, A. Cimatti, R. de Ferluc, M. Gario, A. Guiotto and Y. Yushtein (2014) An Integrated Process for FDIR Design in Aerospace. In Proc. IMBSA 2014.. Springer, pages 82-95. (BibTeX)
  16. B. Bittner, M. Bozzano, A. Cimatti, R. de Ferluc, M. Gario, A. Guiotto and Y. Yushtein (2014) FAME: A Model-Based Environment for FDIR Design in Aerospace. In Proc. IMBSA 2014.. (BibTeX)
  17. M. Bozzano, A. Cimatti, C. Mattarei and S. Tonetta (2014) Formal Safety Assessment via Contract-Based Design. In Proceedings of ATVA 2014, pages 81-97. . Springer. (BibTeX)
  18. A. Guiotto, R. De Ferluc, M. Bozzano, A. Cimatti, M. Gario and Y.Yushtein (2014) Fame process: A dedicated development and V&V process for FDIR. In Proc. DAta Systems In Aerospace, DASIA 2014.. (BibTeX)
  19. M. Bozzano, A. Cimatti and C. Mattarei (2013) Efficient Analysis of Reliability Architectures via Predicate Abstraction. In Proceedings of HVC 2013.. (BibTeX)
  20. M. Bozzano, A. Cimatti and C. Mattarei (2013) Automated Analysis of Reliability Architectures. In 18th International Conference on Engineering of Complex Computer Systems (ICECCS). july. IEEE. (BibTeX)
  21. R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits. Formal Aspects of Computing, 25(4):609-657. (BibTeX)
  22. M. Bozzano and A. Villafiorita (2013) Safety Critical Systems. In Encyclopedia of Software Engineering. CRC Press (Taylor & Francis Group). (BibTeX)
  23. R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits. Formal Aspects of Computing, 25(4):573-607. (BibTeX)
  24. E. Alana , H. Naranjo, Y. Yushtein, M. Bozzano, A. Cimatti, M. Gario, R. de Ferluc and G. Garcia (2012) Automated generation of FDIR for the compass integrated toolset (AUTOGEF). In Proc. DAta Systems In Aerospace, DASIA 2012.. (BibTeX)
  25. Bittner, B., Bozzano, M., Cimatti, A. and Olive, X. (2012) Symbolic Synthesis of Observability Requirements for Diagnosability.. In Proceedings of AAAI 2012.. (BibTeX)
  26. M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta (2011) Symbolic Model Checking and Safety Assessment of Altarica models. ECEASST, 46. (url) (BibTeX)
  27. M. Bozzano, A. Cimatti, J.-P. Katoen, V.Y. Nguyen, T. Noll and M. Roveri (2011) Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J., 54(5):754-775. (url) (BibTeX)
  28. M. Bozzano and A. Villafiorita (2010) Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book. (BibTeX)
  29. O. Lisagor, M.Bozzano, M. Bretschneider and T.P. Kelly (2010) Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results. In Proceedings of ISSC 2010.. System Safety Society. (BibTeX)
  30. M. Bozzano, A. Cimatti and F. Tapparo (2007) Symbolic Fault Tree Analysis for Reactive Systems. In Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007).. Springer, pages 162-176. (BibTeX)
  31. M. Bozzano and A. Villafiorita (2007) The FSAP/NuSMV-SA Safety Analysis Platform. Software Tools for Technology Transfer, 9(1):5-24. (BibTeX)
  32. P. Bertoli, M. Bozzano and A. Cimatti (2007) A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. In Model Checking and Artificial Intelligence, pages 1-18. . Springer. (BibTeX)
  33. M. Bozzano et. al (2006) ISAAC, a Framework for Integrated Safety Analysis of Functional, Geometrical and Human Aspects. In Proc. European Congress on Embedded Real Time Software (ERTS 2006).. (BibTeX)
  34. R. Banach and M. Bozzano (2006) Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. In Proc. SAFECOMP 2006., pages 210-223. (BibTeX)
  35. M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca and A. Villafiorita (2003) Improving Safety Assessment of Complex Systems: An industrial case study. In Proc. Formal Methods, International Symposium of Formal Methods Europe (FME 2003). (Keijiro Araki and Stefania Gnesi and Dino Mandrioli, Eds.) Springer, pages 208-222. (BibTeX)
  36. M. Bozzano and A. Villafiorita (2003) Improving System Reliability via Model Checking: The FSAP/NuSMV-SASafety Analysis Platform. Computer Safety, Reliability, and Security, 2788:49-62. (BibTeX)
  37. M. Bozzano, A. Villafiorita and O. Akerlund et. al. (2003) ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems. In Proc. European Safety and Reliability Conference (ESREL 2003).. Balkema Publisher, pages 237-245. (BibTeX)
  38. M. Bozzano and A. Villafiorita (2003) Integrating Fault Tree Analysis with Event Ordering Information. Proc. ESREL 2003. (BibTeX)
  39. Cimatti, A., Pecheur, C. and Cavada, R. (2003) Formal verification of diagnosability via symbolic model checking. In Proceedings of IJCAI'03.. (BibTeX)


Page last modified on March 03, 2015, at 09:29 AM