Supporting Requirements Validation: The EuRailCheck Tool. - Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta (ASE, 2009)

Symbolic Model Checking and Safety Assessment of Altarica models. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Efficient Analysis of Reliability Architectures via Predicate Abstraction. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (Haifa Verification Conference, 2013)

Automated Analysis of Reliability Architectures. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (ICECCS, 2013)

Formal Safety Assessment via Contract-Based Design. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei; Stefano Tonetta (ATVA, 2014)

Efficient Anytime Techniques for Model-Based Safety Analysis. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Cristian Mattarei (CAV (1), 2015)

Comparing Different Functional Allocations in Automated Air Traffic Control Design. - Cristian Mattarei; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Kristin Y. Rozier (FMCAD, 2015)

Safety assessment of AltaRica models via symbolic model checking. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Sci. Comput. Program., 2015)

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. - Marco Gario; Alessandro Cimatti; Cristian Mattarei; Stefano Tonetta; Kristin Yvonne Rozier (CAV (2), 2016)

The xSAP Safety Analysis Platform. - Benjamin Bittner; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Marco Gario; Alberto Griggio; Cristian Mattarei; Andrea Micheli; Gianni Zampedri (TACAS, 2016)

Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications. - Cristian Mattarei (2016)

CoSA: Integrated Verification for Agile Hardware Design. - Cristian Mattarei; Makai Mann; Clark W. Barrett; Ross G. Daly; Dillon Huff; Pat Hanrahan (FMCAD, 2018)

EMME: A Formal Tool for ECMAScript Memory Model Evaluation. - Cristian Mattarei; Clark W. Barrett; Shu-yu Guo; Bradley Nelson; Ben Smith (TACAS (2), 2018)

Formal reliability analysis of redundancy architectures. - Marco Bozzano; Alessandro Cimatti; Cristian Mattarei (Formal Aspects Comput., 2019)

Model-based Safety Assessment of a Triple Modular Generator with xSAP. - Marco Bozzano; Alessandro Cimatti; Marco Gario; David Jones; Cristian Mattarei (Formal Aspects Comput., 2021)