Publications

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

  • 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)

  • 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

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

  • 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

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

  • 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, 2014.
    PDF

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

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

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

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