| The nuXmv Symbolic Model Checker R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ... Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 560 | 2014 |
| OCRA: A tool for checking the refinement of temporal contracts A Cimatti, M Dorigatti, S Tonetta 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 145 | 2013 |
| IC3 Modulo Theories via Implicit Predicate Abstraction. A Cimatti, A Griggio, S Mover, S Tonetta Tacas 8413, 46-61, 2014 | 122 | 2014 |
| A property-based proof system for contract-based design A Cimatti, S Tonetta 2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012 | 107 | 2012 |
| “more deterministic” vs.“smaller” Büchi automata for efficient LTL model checking R Sebastiani, S Tonetta Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 98 | 2003 |
| Contracts-refinement proof system for component-based embedded systems A Cimatti, S Tonetta Science of computer programming 97, 333-348, 2015 | 86 | 2015 |
| HyComp: An SMT-Based Model Checker for Hybrid Systems A Cimatti, A Griggio, S Mover, S Tonetta Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 84 | 2015 |
| Requirements validation for hybrid systems A Cimatti, M Roveri, S Tonetta Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 76 | 2009 |
| Formal design and safety analysis of AIR6110 wheel brake system M Bozzano, A Cimatti, A Fernandes Pires, D Jones, G Kimberly, T Petri, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 72 | 2015 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Automated Technology for Verification and Analysis: 6th International …, 2008 | 66 | 2008 |
| Parameter synthesis with IC3 A Cimatti, A Griggio, S Mover, S Tonetta 2013 Formal Methods in Computer-Aided Design, 165-168, 2013 | 62 | 2013 |
| Validation of requirements for hybrid systems: A formal approach A Cimatti, M Roveri, A Susi, S Tonetta ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (4), 1-34, 2013 | 61 | 2013 |
| Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking R Sebastiani, S Tonetta, MY Vardi Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 60 | 2005 |
| Infinite-state invariant checking with IC3 and predicate abstraction A Cimatti, A Griggio, S Mover, S Tonetta Formal Methods in System Design 49, 190-218, 2016 | 49 | 2016 |
| Formalization and validation of a subset of the European Train Control System A Chiappini, A Cimatti, L Macchi, O Rebollo, M Roveri, A Susi, S Tonetta, ... Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 46 | 2010 |
| Boolean abstraction for temporal logic satisfiability A Cimatti, M Roveri, V Schuppan, S Tonetta Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 46 | 2007 |
| 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 98, 464-483, 2015 | 45 | 2015 |
| Abstract model checking without computing the abstraction S Tonetta FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 43 | 2009 |
| Model checking at scale: Automated air traffic control design space exploration M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 40 | 2016 |
| SMT-based verification of hybrid systems A Cimatti, S Mover, S Tonetta Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2100-2105, 2012 | 39 | 2012 |
