David L. Dill

Cited by

	All	Since 2018
Citations	46192	9484
h-index	84	35
i10-index	201	76

2000

1000

500

1500

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023200 300 504 651 820 1011 982 1147 1387 1273 1277 1402 1535 1736 1772 1721 1971 1855 1878 1729 1603 1559 1667 1623 1473 1473 1296 1543 1606 1735 1666 1741 1185

Public access

View all

34 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jerry R. BurchSynopsys, Inc.Verified email at fun-journey.com
Kenneth McMillanMicrosoft ResearchVerified email at microsoft.com
Debashis SahooAssociate Professor of Pediatrics and Computer Science, University of California San DiegoVerified email at ucsd.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Steven NowickProfessor Emeritus of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford UniversityVerified email at stanford.edu
Ulrich SternNo affiliationVerified email at cs.stanford.edu
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Alan J. HuProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative MedicineVerified email at stanford.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityVerified email at stanford.edu
Subarna SinhaComputer Science, Stanford UniversityVerified email at stanford.edu
Dean FelsherProfessor of Medicine-Oncology, Pathology, Stanford UniversityVerified email at stanford.edu

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

Verified email at stanford.edu

formal verification voting technology computational biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	9922	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4601	1992
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	1848	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1637	1990
EXE: Automatically generating inputs of death C Cadar, V Ganesh, PM Pawlowski, DL Dill, DR Engler ACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 2008	1597	2008
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	1422	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1384	1993
Timing assumptions and verification of finite-state concurrent systems DL Dill Automatic Verification Methods for Finite State Systems: International …, 1990	1105	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	847	2007
Symbolic model checking for sequential circuit verification JR Burch, EM Clarke, DE Long, KL McMillan, DL Dill IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1994	842	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	822	1989
Automatic verification of pipelined microprocessor control JR Burch, DL Dill Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	807	1994
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	785*	1996
Sequential circuit verification using symbolic model checking JR Burch, EM Clarke, KL McMillan, DL Dill Proceedings of the 27th ACM/IEEE Design Automation Conference, 46-51, 1991	716	1991
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	647	1992
CMC: A pragmatic approach to model checking real code M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill ACM SIGOPS Operating Systems Review 36 (SI), 75-88, 2002	553	2002
The Mur ϕ verification system DL Dill Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	514	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, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	437	2019
Automated identification of stratifying signatures in cellular subpopulations RV Bruggner, B Bodenmiller, DL Dill, RJ Tibshirani, GP Nolan Proceedings of the National Academy of Sciences 111 (26), E2770-E2777, 2014	434	2014
Learning a SAT solver from single-bit supervision D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill arXiv preprint arXiv:1802.03685, 2018	403	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

Follow

Cited by

Co-authors