Publications

2021

• M. Bozzano, A. Cimatti, M. Gario, D. Jones, and C. Mattarei.
  Model-based Safety Assessment of a Triple Modular Generator with xSAP.
  Formal Aspects of Computing (FAOC), 2021.
  PDF BibTeX
  
  

2019

• M. Bozzano, A. Cimatti, and C. Mattarei.
  Formal reliability analysis of redundancy architectures.
  Formal Aspects of Computing (FAOC), 2019.
  PDF BibTeX
  
  

2018

• C. Mattarei, M. Mann, C. Barrett, R. G. Daly, D. Huff, and P. Hanrahan.
  CoSA: Integrated Verification for Agile Hardware Design.
  In Proceedings of FMCAD 2018. Austin, Texas, USA, October 30 - November 2, 2018.
  PDF BibTeX
  
  

• C. Mattarei, C. Barrett, S. Guo, B. Nelson, and B. Smith.
  EMME: a formal tool for ECMAScript Memory Model Evaluation.
  In Proceedings of TACAS 2018. Thessaloniki, Greece, April 14-21, 2018.
  PDF BibTeX
  
  

2016

• M. Gario, A. Cimatti, C. Mattarei, S. Tonetta, and K. Y. Rozier.
  Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.
  In Proceedings of CAV 2016. Toronto, Canada, July 17-23, 2016.
  PDF BibTeX
  
  

• C. Mattarei.
  Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.
  PhD Thesis. University of Trento, February 4, 2016.
  PDF (Reduced) (Summary) BibTeX
  
  

• B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli and G. Zampedri.
  The xSAP Safety Analysis Platform.
  In Proceedings of TACAS 2016. Eindhoven, The Netherlands, April 2-8, 2016.
  PDF BibTeX
  
  

2015

• C. Mattarei, A. Cimatti, M. Gario, S. Tonetta, and K. Y. Rozier.
  Comparing Different Functional Allocations in Automated Air Traffic Control Design.
  In Proceedings of FMCAD 2015. Austin, Texas, USA, September 28-30, 2015.
  PDF BibTeX
  
  

• M. Bozzano, A. Cimatti, A. Griggio, and C. Mattarei.
  Efficient Anytime Techniques for Model-Based Safety Analysis.
  In Proceedings of CAV 2015. San Francisco, California, USA, July 18-24, 2015.
  PDF BibTeX
  
  

2014

• M. Bozzano, A. Cimatti, C. Mattarei, and S. Tonetta.
  Formal Safety Assessment via Contract-Based Design.
  In Proceedings of ATVA 2014. Sydney, Australia, November 3-7, 2014.
  PDF BibTeX
  
  

• M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri, and S. Tonetta.
  Safety Assessment of AltaRica models via Symbolic Model Checking.
  Science of Computer Programming (SCP), 2014.
  PDF BibTeX
  
  

2013

• M. Bozzano, A. Cimatti, and C. Mattarei.
  Efficient Analysis of Reliability Architectures via Predicate Abstraction.
  In Proceedings of HVC 2013. Haifa, Israel, November 5-7, 2013.
  PDF BibTeX
  
  

• M. Bozzano, A. Cimatti, and C. Mattarei.
  Automated Analysis of Reliability Architectures.
  In Proceedings of ICECCS 2013. Singapore, July 17-19, 2013.
  PDF BibTeX
  
  

2011

• M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri, and S. Tonetta.
  Model Checking and Safety Assessment of Altarica models.
  In Proceedings of AVOCS 2011. Newcastle, UK, September 12-14, 2011.
  PDF BibTeX
  
  

2009

• R. Cavada, A. Cimatti, A. Mariotti, C. Mattarei, A. Micheli, S. Mover, M. Pensallorto, M. Roveri, A. Susi, and S. Tonetta.
  Supporting Requirements Validation: The EuRailCheck Tool.
  In Proceedings of ASE 2009. Auckland, New Zealand, November 16-20, 2009.
  PDF BibTeX