Clark Barrett

Cited by

	All	Since 2017
Citations	12451	7297
h-index	43	31
i10-index	104	81

1900

950

475

1425

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202233 41 89 76 152 216 233 235 249 295 324 359 404 446 479 633 714 816 1000 1263 1520 1848 809

Public access

View all

44 articles

1 article

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
Tim KingGoogle IncVerified email at google.com
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Liana HadareanAmazon Web ServicesVerified email at amazon.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Haoze WuPhD Student, Stanford UniversityVerified email at stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Subhasish MitraProfessor, Stanford UniversityVerified email at stanford.edu
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Jeremy LevittMentor Graphics CorporationVerified email at mentor.com
Makai MannEE PhD Student, Stanford UniversityVerified email at stanford.edu

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
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1598	2018
Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer International conference on computer aided verification, 97-117, 2017	1298	2017
CVC4 C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer aided verification, 171-177, 2011	1249	2011
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1194	2010
CVC3 C Barrett, C Tinelli Computer Aided Verification, 298-302, 2007	626	2007
The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	604	2010
CVC Lite: A new implementation of the cooperating validity checker C Barrett, S Berezin International Conference on Computer Aided Verification, 515-518, 2004	387	2004
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill International Conference on Computer Aided Verification, 500-504, 2002	271	2002
Validity checking for combinations of theories with equality C Barrett, D Dill, J Levitt International Conference on Formal Methods in Computer-Aided Design, 187-201, 1996	263	1996
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, ... International Conference on Computer Aided Verification, 443-452, 2019	245	2019
Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump International Conference on Computer Aided Verification, 236-249, 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	207	2001
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	188	2021
A decision procedure for bit-vector arithmetic CW Barrett, DL Dill, JR Levitt Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998	176	1998
A DPLL (T) theory solver for a theory of strings and regular expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters International Conference on Computer Aided Verification, 646-662, 2014	146	2014
Deepsafe: A data-driven approach for assessing robustness of neural networks D Gopinath, G Katz, CS Păsăreanu, C Barrett International symposium on automated technology for verification and …, 2018	138	2018
Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett International Conference on Computer Aided Verification, 198-216, 2015	134	2015
Provably minimally-distorted adversarial examples N Carlini, G Katz, C Barrett, DL Dill arXiv preprint arXiv:1709.10207, 2017	133	2017
SMT-COMP: Satisfiability modulo theories competition C Barrett, L Moura, A Stump International Conference on Computer Aided Verification, 20-23, 2005	129	2005
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	124	2006

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 this author

Cited by

Co-authors