David L. Dill

Cited by

	All	Since 2020
Citations	48801	8793
h-index	86	35
i10-index	206	70

2000

1000

500

1500

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025189 311 511 664 804 1000 984 1161 1376 1285 1284 1408 1550 1756 1765 1731 1960 1866 1893 1727 1620 1584 1673 1631 1456 1463 1291 1535 1630 1786 1704 1788 1760 1635 119

Public access

View all

35 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
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Steven NowickProfessor Emeritus of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford UniversityVerified email at stanford.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeVerified email at bc.edu
Ulrich SternNo affiliationVerified email at cs.stanford.edu
Alan J. HuProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative MedicineVerified email at stanford.edu
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified 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	10307	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4721	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	2408	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1661	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	1573	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	1446	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1410	1993
Timing assumptions and verification of finite-state concurrent systems DL Dill Automatic Verification Methods for Finite State Systems: International …, 1990	1160	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	895	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	865	1994
Automatic verification of pipelined microprocessor control JR Burch, DL Dill Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	835	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	829	1989
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	808*	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	731	1991
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	691	2019
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	665	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	572	2002
The Mur ϕ verification system DL Dill Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	537	1996
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	531	2018
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	498	2014

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