David L. Dill

Cited by

	All	Since 2019
Citations	48545	10182
h-index	86	35
i10-index	206	80

2000

1000

500

1500

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024191 311 507 670 804 1001 981 1161 1380 1287 1284 1394 1549 1753 1765 1731 1957 1864 1891 1728 1622 1584 1673 1625 1458 1458 1291 1530 1634 1783 1704 1785 1754 1517

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	10260	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4709	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	2355	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1658	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	1564	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	1445	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1406	1993
Timing assumptions and verification of finite-state concurrent systems DL Dill Automatic Verification Methods for Finite State Systems: International …, 1990	1155	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	891	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	864	1994
Automatic verification of pipelined microprocessor control JR Burch, DL Dill Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	834	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	825	1989
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	806*	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	729	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	667	2019
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	664	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	569	2002
The Mur ϕ verification system DL Dill Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	536	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	518	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	492	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