David L. Dill

Citado por

	Todos	Desde 2019
Citações	48510	10151
Índice h	86	35
Índice i10	206	80

2000

1000

500

1500

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024191 311 507 670 804 1001 981 1161 1380 1287 1284 1394 1549 1753 1761 1731 1957 1864 1891 1727 1623 1584 1673 1624 1457 1458 1292 1531 1631 1781 1703 1785 1756 1490

Acesso público

Ver tudo

35 artigos

3 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaEmail confirmado em seas.upenn.edu
Clark BarrettStanford UniversityEmail confirmado em cs.stanford.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail confirmado em cs.cmu.edu
Jerry R. BurchSynopsys, Inc.Email confirmado em fun-journey.com
Kenneth McMillanMicrosoft ResearchEmail confirmado em microsoft.com
Debashis SahooAssociate Professor of Pediatrics and Computer Science, University of California San DiegoEmail confirmado em ucsd.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenEmail confirmado em cuhk.edu.cn
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail confirmado em gatech.edu
Steven NowickProfessor Emeritus of Computer Science, Columbia UniversityEmail confirmado em cs.columbia.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford UniversityEmail confirmado em stanford.edu
Guy KatzThe Hebrew University of JerusalemEmail confirmado em cs.huji.ac.il
Ulrich SternNo affiliationEmail confirmado em cs.stanford.edu
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeEmail confirmado em bc.edu
Alan J. HuProfessor of Computer Science, University of British ColumbiaEmail confirmado em cs.ubc.ca
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative MedicineEmail confirmado em stanford.edu
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityEmail confirmado em stanford.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityEmail confirmado em stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityEmail confirmado em stanford.edu
Subarna SinhaComputer Science, Stanford UniversityEmail confirmado em stanford.edu
Dean FelsherProfessor of Medicine-Oncology, Pathology, Stanford UniversityEmail confirmado em stanford.edu

Seguir

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

Email confirmado em stanford.edu

formal verification voting technology computational biology


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	10255	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4707	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	2349	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	1446	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	890	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	832	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	824	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	663	2019
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	663	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	517	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores