| The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 628 | 2013 |
| 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 | 540 | 2014 |
| The MathSAT 4 SMT Solver: Tool Paper R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 288 | 2008 |
| Software model checking via large-block encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani 2009 Formal Methods in Computer-Aided Design, 25-32, 2009 | 190 | 2009 |
| Software model checking via IC3 A Cimatti, A Griggio Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 184 | 2012 |
| IC3 Modulo Theories via Implicit Predicate Abstraction. A Cimatti, A Griggio, S Mover, S Tonetta Tacas 8413, 46-61, 2014 | 121 | 2014 |
| Efficient interpolant generation in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 109 | 2008 |
| A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ... Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 103 | 2007 |
| Satisfiability modulo the theory of costs: Foundations and applications A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 102 | 2010 |
| The xSAP Safety Analysis Platform B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 88 | 2016 |
| A practical approach to satisfiability modulo linear integer arithmetic A Griggio Journal on Satisfiability, Boolean Modeling and Computation 8 (1-2), 1-27, 2012 | 86 | 2012 |
| 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 | 83 | 2015 |
| Kratos – A Software Model Checker for SystemC A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 76 | 2011 |
| Efficient generation of Craig interpolants in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani ACM Transactions on Computational Logic (TOCL) 12 (1), 1-54, 2010 | 76 | 2010 |
| Deciding floating-point logic with abstract conflict driven clause learning M Brain, V D’silva, A Griggio, L Haller, D Kroening Formal Methods in System Design 45 (2), 213-245, 2014 | 72 | 2014 |
| Deciding floating-point logic with systematic abstraction L Haller, A Griggio, M Brain, D Kroening 2012 Formal Methods in Computer-Aided Design (FMCAD), 131-140, 2012 | 69 | 2012 |
| A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories A Cimatti, A Griggio, R Sebastiani SAT 4501, 334-339, 2007 | 69 | 2007 |
| Computing small unsatisfiable cores in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani Journal of Artificial Intelligence Research 40, 701-728, 2011 | 67 | 2011 |
| Parameter synthesis with IC3 A Cimatti, A Griggio, S Mover, S Tonetta 2013 Formal Methods in Computer-Aided Design, 165-168, 2013 | 62 | 2013 |
| : Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 49 | 2016 |
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
