Clark Barrett

Cited by

	All	Since 2016
Citations	9865	5497
h-index	40	28
i10-index	83	62

1600

800

400

1200

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202128 34 43 93 71 148 214 228 239 247 289 320 365 387 441 466 617 702 819 1016 1318 1560 56

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
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Tim KingGoogle IncVerified email at google.com
Dejan JovanovićSRI InternationalVerified email at sri.com
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityVerified email at stanford.edu
Liana HadareanSynopsysVerified email at synopsys.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Jeremy LevittMentor Graphics CorporationVerified email at mentor.com
Yeting GeTwo Sigma InvestmentsVerified email at twosigma.com
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Tianyi LiangTwo Sigma Investments LPVerified email at uiowa.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Eshan SinghStanford 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	1306	2018
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	991	2010
CVC4 C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer aided verification, 171-177, 2011	967	2011
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	777	2017
CVC3 C Barrett, C Tinelli Computer Aided Verification, 298-302, 2007	613	2007
The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	508	2010
CVC Lite: A new implementation of the cooperating validity checker C Barrett, S Berezin International Conference on Computer Aided Verification, 515-518, 2004	379	2004
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	267	1996
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill International Conference on Computer Aided Verification, 500-504, 2002	264	2002
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	209	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	190	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	171	1998
Adversarial transformation networks: Learning to generate adversarial examples S Baluja, I Fischer arXiv preprint arXiv:1703.09387, 2017	160	2017
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	122	2014
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	118	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	117	2005
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump International Conference on Computer Aided Verification, 20-23, 2005	117	2005
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	109	2015
6 years of SMT-COMP C Barrett, M Deters, L De Moura, A Oliveras, A Stump Journal of Automated Reasoning 50 (3), 243-277, 2013	95	2013
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	94*	2018

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

Upload PDF

Follow this author

Cited by

Co-authors