Cristian Mattarei

According to our database, Cristian Mattarei authored at least 15 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2019

Formal reliability analysis of redundancy architectures.

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei

Formal Aspects Comput., 2019

2018

EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

CoSA: Integrated Verification for Agile Hardware Design.

Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016

Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.

Cristian Mattarei

PhD thesis, 2016

The xSAP Safety Analysis Platform.

Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.

Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

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

Comparing Different Functional Allocations in Automated Air Traffic Control Design.

Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Efficient Anytime Techniques for Model-Based Safety Analysis.

Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Formal Safety Assessment via Contract-Based Design.

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Automated Analysis of Reliability Architectures.

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Efficient Analysis of Reliability Architectures via Predicate Abstraction.

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei

Proceedings of the Hardware and Software: Verification and Testing, 2013

2011

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

2009

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

Proceedings of the ASE 2009, 2009