| CVC4 C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer aided verification, 171-177, 2011 | 2016 | 2011 |
| Satisfiability Modulo Theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability 185, 825-885, 2009 | 2002* | 2009 |
| Satisfiability Modulo Theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018 | 1967 | 2018 |
| Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 1930 | 2017 |
| The SMT-LIB standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1413 | 2010 |
| The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010 | 735 | 2010 |
| The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 480 | 2019 |
| CVC Lite: A new implementation of the cooperating validity checker: Category B C Barrett, S Berezin Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 393 | 2004 |
| Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021 | 352 | 2021 |
| CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 280 | 2002 |
| Validity checking for combinations of theories with equality C Barrett, D Dill, J Levitt Formal Methods in Computer-Aided Design: First International Conference …, 1996 | 271 | 1996 |
| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 227 | 2022 |
| Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 221 | 2002 |
| A decision procedure for an extensional theory of arrays A Stump, CW Barrett, DL Dill, J Levitt Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001 | 221 | 2001 |
| A decision procedure for bit-vector arithmetic CW Barrett, DL Dill, JR Levitt Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998 | 188 | 1998 |
| A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 162 | 2014 |
| Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 161 | 2015 |
| SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 145 | 2005 |
| Towards proving the adversarial robustness of deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer arXiv preprint arXiv:1709.02802, 2017 | 138 | 2017 |
| Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 131 | 2006 |
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
