Follow
Cristian Mattarei
Cristian Mattarei
Apple Inc.
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
The xSAP Safety Analysis Platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
1022015
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, R Kristin Yvonne
Computer Aided Verification (CAV16), 2016
512016
CoSA: Integrated Verification for Agile Hardware Design
C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan
Formal Methods in Computer Aided Design (FMCAD18), 2018
50*2018
Safety Assessment of AltaRica models via Symbolic Model Checking
M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ...
Science of Computer Programming, 2014
442014
Formal Safety Assessment via Contract-Based Design
M Bozzano, A Cimatti, C Mattarei, S Tonetta
International Symposium on Automated Technology for Verification and Analysis, 2014
412014
CoSA: Integrated Verification for Agile Hardware Design
C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan
Formal Methods in Computer-Aided Design (FMCAD18), 2018
392018
Efficient Anytime Techniques for Model-Based Safety Analysis
M Bozzano, A Cimatti, A Griggio, C Mattarei
International Conference on Computer Aided Verification (CAV 2015), 2015
372015
Symbolic model checking and safety assessment of altarica models
M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ...
332011
Comparing Different Functional Allocations in Automated Air Traffic Control Design
C Mattarei, A Cimatti, M Gario, S Tonetta, R Kristin Yvonne
Formal Methods in Computer-Aided Design (FMCAD15), 2015
282015
Supporting requirements validation: The EuRailCheck tool
R Cavada, A Cimatti, A Mariotti, C Mattarei, A Micheli, S Mover, ...
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
212009
Automated Analysis of Reliability Architectures
M Bozzano, A Cimatti, C Mattarei
International Conference on Engineering of Complex Computer Systems, 198--207, 2013
152013
Efficient Analysis of Reliability Architectures via Predicate Abstraction
M Bozzano, A Cimatti, C Mattarei
Haifa Verification Conference 2013, 2013
142013
Formal reliability analysis of redundant architectures
M Bozzano, A Cimatti, C Mattarei
Formal Aspects of Computing (FAOC), 2018
102018
Model-based Safety Assessment of a Triple Modular Generator with XSAP
M Bozzano, A Cimatti, M Gario, D Jones, C Mattarei
Formal Aspects of Computing (FAOC), 2021
92021
EMME: a formal tool for ECMAScript Memory Model Evaluation
C Mattarei, C Barrett, S Guo, B Nelson, B Smith
24th International Conference on Tools and Algorithms for the Construction …, 2018
92018
Eurailcheck: Tool support for requirements validation
R Cavada, A Cimatti, A Mariotti, C Mattarei, A Micheli, S Mover, ...
Proceedings of the 24th IEEE/ACM International Conference Automated Software …, 2009
52009
Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications
C Mattarei
University of Trento, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–17