Cristian Mattarei

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 7

Top Topics

Safety Analysis

Design Space Exploration

Top Venues

Formal Aspects Comput.

Publications

Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei
Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects Comput. 33 (2) (2021)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31 (1) (2019)
Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan
CoSA: Integrated Verification for Agile Hardware Design. FMCAD (2018)
Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
EMME: a formal tool for ECMAScript Memory Model Evaluation. CoRR (2018)
Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
EMME: A Formal Tool for ECMAScript Memory Model Evaluation. TACAS (2) (2018)
Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD (2015)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) (2015)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98 (2015)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
Formal Safety Assessment via Contract-Based Design. ATVA (2014)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Automated Analysis of Reliability Architectures. ICECCS (2013)
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference (2013)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool. ASE (2009)