FBK
Home Features Documentation License Download People & Contact Related Projects Publications Useful Links Submit Bug Reports FAQ

Copyright (C) 2014
Fondazione Bruno Kessler

Publications

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

Note: This page is constantly evolving.

  1. I. Lanzani, R. Scattolini, E. Zio, A. Cimatti, M. Bozzano, S. Tonetta (2023) Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. To appear in proceedings of ICSRS 2023. (BibTeX)
  2. A. Bombardelli, A. Bonizzi, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, E. Nicolodi, S. Tonetta, G. Zampedri (2023) COMPASTA = COMPASS + TASTE. To appear in CEAS Space Journal. (BibTeX)
  3. A. Bombardelli, A. Bonizzi, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta, G. Zampedri (2023) COMPASTA: Integrating COMPASS Functionality into TASTE. In Ada User Journal, 44(1). (BibTeX)
  4. A. Bombardelli, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta (2022) COMPASTA: Extending TASTE with Formal Design and Verification Functionality. In Proceedings IMBSA 2022, pages 21-27. (BibTeX)
  5. M. Bozzano, A. Cimatti, M. Roveri (2021) A Comprehensive Approach to On-Board Autonomy Verification and Validation. In ACM Transactions on Intelligent Systems and Technology, 12(4):1-29. (BibTeX)
  6. M. Bozzano, A. Cimatti, M. Gario, D. Jones and C. Mattarei (2021) Model-based Safety Assessment of a Triple Modular Generator with xSAP. In Formal Aspects of Computing, 33(2):251-295. (BibTeX)
  7. 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)
  8. Marco Bozzano, Alessandro Cimatti and Cristian Mattarei (2019) Formal reliability analysis of redundancy architectures. In Formal Asp. Comput., 31(1):59-94. (BibTeX)
  9. M. Bozzano (2017) Causality and Temporal Dependencies in the Design of Fault Management System. In EPTCS, 259:39-46. (BibTeX)
  10. 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)
  11. B. Bittner, M. Bozzano and A. Cimatti (2016) Automated Synthesis of Timed Failure Propagation Graphs. In Proceedings of IJCAI 2016. (BibTeX)
  12. 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)
  13. B. Bittner, M. Bozzano, A. Cimatti and G. Zampedri (2016) Automated Verification and Tightening of Failure Propagation Models. In Proceedings of AAAI 2016. (BibTeX)
  14. M. Bozzano, A. Cimatti, M. Gario and S. Tonetta (2015) Formal Design of Asynchronous FDI Components using Temporal Epistemic Logic. In Logical Methods in Computer Science, 11. (BibTeX)
  15. 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. In Science of Computer Programming, 98(4):464-483. (BibTeX)
  16. M. Bozzano, A. Cimatti and Andrea Micheli (2015) SMT-based Validation of Timed Failure Propagation Graphs. In Proceedings of AAAI 2015, pages 3724-3730. (BibTeX)
  17. 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)
  18. 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)
  19. M. Bozzano, A. Cimatti, C. Mattarei and S. Tonetta (2014) Formal Safety Assessment via Contract-Based Design. In Proceedings of ATVA 2014, Springer, pages 81-97. (BibTeX)
  20. 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)
  21. 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)
  22. 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)
  23. 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. In Reliability Engineering & System Safety, 132:20-35. (BibTeX)
  24. M. Bozzano, A. Cimatti and C. Mattarei (2013) Efficient Analysis of Reliability Architectures via Predicate Abstraction. In Proceedings of HVC 2013. (BibTeX)
  25. M. Bozzano, A. Cimatti and C. Mattarei (2013) Automated Analysis of Reliability Architectures. In 18th International Conference on Engineering of Complex Computer Systems (ICECCS), IEEE. (BibTeX)
  26. R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits. In Formal Aspects of Computing, 25(4):609-657. (BibTeX)
  27. R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits. In Formal Aspects of Computing, 25(4):573-607. (BibTeX)
  28. M. Bozzano and A. Villafiorita (2013) Safety Critical Systems. In Encyclopedia of Software Engineering, CRC Press (Taylor & Francis Group). (BibTeX)
  29. 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)
  30. Bittner, B., Bozzano, M., Cimatti, A. and Olive, X. (2012) Symbolic Synthesis of Observability Requirements for Diagnosability. In Proceedings of AAAI 2012, 26(1):712-718. (BibTeX)
  31. 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. In Comput. J., 54(5):754-775. (url) (BibTeX)
  32. 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. In ECEASST, 46. (BibTeX)
  33. M. Bozzano and A. Villafiorita (2010) Design and Safety Assessment of Critical Systems. In CRC Press (Taylor and Francis), an Auerbach Book. (BibTeX)
  34. 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)
  35. 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)
  36. M. Bozzano and A. Villafiorita (2007) The FSAP/NuSMV-SA Safety Analysis Platform. In Software Tools for Technology Transfer, 9(1):5-24. (BibTeX)
  37. 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, Springer, 4428(1):1-18. (BibTeX)
  38. 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)
  39. 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)
  40. 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), (Kejiro Araki and Stefania Gnesi and Dino Mandrioli, Eds.) Springer, pages 208-222. (BibTeX)
  41. M. Bozzano and A. Villafiorita (2003) Improving System Reliability via Model Checking: The FSAP/NuSMV-SASafety Analysis Platform. In Computer Safety, Reliability, and Security, 2788:49-62. (BibTeX)
  42. M. Bozzano and 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)
  43. M. Bozzano and A. Villafiorita (2003) Integrating Fault Tree Analysis with Event Ordering Information. In Proc. ESREL 2003, pages 247-254. (BibTeX)
  44. Cimatti, A., Pecheur, C. and Cavada, R. (2003) Formal verification of diagnosability via symbolic model checking. In Proceedings of IJCAI'03. (BibTeX)