Clark Barrett

Cited by

	All	Since 2018
Citations	14008	8038
h-index	45	32
i10-index	114	89

2100

1050

525

1575

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 95 81 145 216 241 241 261 295 310 348 396 438 482 618 702 829 983 1268 1540 1802 2058 364

Public access

View all

48 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Andrew ReynoldsUniversity of IowaVerified email at uiowa.edu
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityVerified email at stanford.edu
Haoze WuPhD Student, Stanford UniversityVerified email at stanford.edu
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Subhasish MitraProfessor, Stanford UniversityVerified email at stanford.edu
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Jeremy LevittMentor Graphics CorporationVerified email at mentor.com
Eshan SinghStanford UniversityVerified email at stanford.edu
Yeting GeTwo Sigma InvestmentsVerified email at twosigma.com

Clark Barrett

Stanford University

Verified email at cs.stanford.edu - Homepage

Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CVC3: (Tool Paper) C Barrett, C Tinelli Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	1916	2007
Satisfiability Modulo Theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability 185, 825-885, 2009	1872*	2009
Satisfiability Modulo Theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1812	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	1626	2017
The SMT-LIB standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1303	2010
The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	673	2010
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	390	2004
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	361	2019
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	274	2002
Validity checking for combinations of theories with equality C Barrett, DL Dill, J Levitt FMCAD 96, 187-201, 1996	268	1996
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	266	2021
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	218	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	212	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	182	1998
Provably minimally-distorted adversarial examples N Carlini, G Katz, C Barrett, DL Dill arXiv preprint arXiv:1709.10207, 2017	171	2017
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	155	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	141	2015
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	134	2005
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	128	2006
An industrially effective environment for formal hardware verification CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005	127	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors