Cristian Mattarei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMCAD | CoSA: Integrated Verification for Agile Hardware Design. | Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan |
| 2018 | TACAS | EMME: A Formal Tool for ECMAScript Memory Model Evaluation. | Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith |
| 2016 | CAV | Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. | Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2015 | CAV | Efficient Anytime Techniques for Model-Based Safety Analysis. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei |
| 2015 | FMCAD | Comparing Different Functional Allocations in Automated Air Traffic Control Design. | Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
| 2014 | ATVA | Formal Safety Assessment via Contract-Based Design. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta |
| 2013 | ICECCS | Automated Analysis of Reliability Architectures. | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |