Cristian Mattarei

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