| The xSAP Safety Analysis Platform B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ... | 102 | 2015 |
| 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 | 49 | 2016 |
| 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 | 48* | 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 | 43 | 2014 |
| 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 | 41 | 2014 |
| 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 | 38 | 2018 |
| 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 | 37 | 2015 |
| Symbolic model checking and safety assessment of altarica models M Bozzano, A Cimatti, O Lisagor, C Mattarei, S Mover, M Roveri, ... | 33 | 2011 |
| 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 | 28 | 2015 |
| 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 | 21 | 2009 |
| Efficient Analysis of Reliability Architectures via Predicate Abstraction M Bozzano, A Cimatti, C Mattarei Haifa Verification Conference 2013, 2013 | 14 | 2013 |
| Automated Analysis of Reliability Architectures M Bozzano, A Cimatti, C Mattarei International Conference on Engineering of Complex Computer Systems, 198--207, 2013 | 14 | 2013 |
| Formal reliability analysis of redundant architectures M Bozzano, A Cimatti, C Mattarei Formal Aspects of Computing (FAOC), 2018 | 10 | 2018 |
| 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 | 9 | 2018 |
| 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 | 7 | 2021 |
| 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 | 5 | 2009 |
| Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications C Mattarei University of Trento, 2016 | 4 | 2016 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
