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. B. Bittner, M. Bozzano, A. Cimatti and G. Zampedri (2016) Automated Verification and Tightening of Failure Propagation Models. In Proceedings of AAAI 2016.. (BibTeX)
  2. B. Bittner, M. Bozzano and A. Cimatti (2016) Automated Synthesis of Timed Failure Propagation Graphs. In {In Proceedings of IJCAI 2016}.. (BibTeX)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. 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)
  12. 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)
  13. 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)
  14. 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)
  15. 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)
  16. M. Bozzano, A. Cimatti and C. Mattarei (2013) Efficient Analysis of Reliability Architectures via Predicate Abstraction. In Proceedings of HVC 2013.. (BibTeX)
  17. 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)
  18. M. Bozzano and A. Villafiorita (2013) Safety Critical Systems. In Encyclopedia of Software Engineering. CRC Press (Taylor & Francis Group). (BibTeX)
  19. Bittner, B., Bozzano, M., Cimatti, A. and Olive, X. (2012) Symbolic Synthesis of Observability Requirements for Diagnosability.. In Proceedings of AAAI 2012.. (BibTeX)
  20. 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)
  21. 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)
  22. 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)
  23. 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)
  24. M. Bozzano and A. Villafiorita (2010) Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book. (BibTeX)
  25. 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)
  26. M. Bozzano and A. Villafiorita (2007) The FSAP/NuSMV-SA Safety Analysis Platform. Software Tools for Technology Transfer, 9(1):5-24. (BibTeX)
  27. 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)
  28. 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)
  29. 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)
  30. Cimatti, A., Pecheur, C. and Cavada, R. (2003) Formal verification of diagnosability via symbolic model checking. In Proceedings of IJCAI'03.. (BibTeX)
  31. M. Bozzano and A. Villafiorita (2003) Integrating Fault Tree Analysis with Event Ordering Information. Proc. ESREL 2003. (BibTeX)
  32. 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)
  33. 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)
  34. 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)


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