| The nuXmv symbolic model checker R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ... International Conference on Computer Aided Verification, 334-342, 2014 | 311 | 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 | 94 | 2013 |
| “more deterministic” vs.“smaller” Büchi automata for efficient LTL model checking R Sebastiani, S Tonetta Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 90 | 2003 |
| IC3 modulo theories via implicit predicate abstraction A Cimatti, A Griggio, S Mover, S Tonetta International Conference on Tools and Algorithms for the Construction and …, 2014 | 82 | 2014 |
| A property-based proof system for contract-based design A Cimatti, S Tonetta 2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012 | 80 | 2012 |
| Contracts-refinement proof system for component-based embedded systems A Cimatti, S Tonetta Science of computer programming 97, 333-348, 2015 | 58 | 2015 |
| Requirements validation for hybrid systems A Cimatti, M Roveri, S Tonetta International Conference on Computer Aided Verification, 188-203, 2009 | 58 | 2009 |
| Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler | 56* | 2011 |
| Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking R Sebastiani, S Tonetta, MY Vardi International Conference on Computer Aided Verification, 350-363, 2005 | 56 | 2005 |
| HyComp: An SMT-Based Model Checker for Hybrid Systems A Cimatti, A Griggio, S Mover, S Tonetta International Conference on Tools and Algorithms for the Construction and …, 2015 | 49 | 2015 |
| Parameter synthesis with IC3 A Cimatti, A Griggio, S Mover, S Tonetta 2013 Formal Methods in Computer-Aided Design, 165-168, 2013 | 47 | 2013 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 46 | 2008 |
| Boolean abstraction for temporal logic satisfiability A Cimatti, M Roveri, V Schuppan, S Tonetta International Conference on Computer Aided Verification, 532-546, 2007 | 40 | 2007 |
| Formal design and safety analysis of AIR6110 wheel brake system M Bozzano, A Cimatti, AF Pires, D Jones, G Kimberly, T Petri, R Robinson, ... International Conference on Computer Aided Verification, 518-535, 2015 | 38 | 2015 |
| 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), 22, 2012 | 38 | 2012 |
| From PSL to NBA: a modular symbolic encoding A Cimatti, M Roveri, S Semprini, S Tonetta 2006 Formal Methods in Computer Aided Design, 125-133, 2006 | 36 | 2006 |
| 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, ... 2010 ACM/IEEE 32nd International Conference on Software Engineering 2, 109-118, 2010 | 34 | 2010 |
| Abstract model checking without computing the abstraction S Tonetta International Symposium on Formal Methods, 89-105, 2009 | 29 | 2009 |
| SMT-based scenario verification for hybrid systems A Cimatti, S Mover, S Tonetta Formal Methods in System Design 42 (1), 46-66, 2013 | 26 | 2013 |
| SMT-based verification of hybrid systems A Cimatti, S Mover, S Tonetta Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012 | 26 | 2012 |
