David L. Dill

Посилання

	Усі	З 2020
Цитування	48846	8843
h-індекс	85	35
i10-індекс	206	71

2000

1000

500

1500

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025189 312 516 672 807 979 1009 1157 1357 1280 1294 1434 1550 1760 1760 1730 1953 1860 1885 1718 1635 1587 1677 1617 1447 1458 1291 1556 1623 1786 1716 1753 1747 1614 227

Доступні для всіх

Переглянути всі

35 статей

3 статті

доступні

недоступні

За умовами фінансування

Співавтори

Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaПідтверджена електронна адреса в seas.upenn.edu
Clark BarrettStanford UniversityПідтверджена електронна адреса в cs.stanford.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
Jerry R. BurchSynopsys, Inc.Підтверджена електронна адреса в fun-journey.com
Kenneth McMillanMicrosoft ResearchПідтверджена електронна адреса в microsoft.com
Debashis SahooAssociate Professor of Pediatrics and Computer Science, University of California San DiegoПідтверджена електронна адреса в ucsd.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenПідтверджена електронна адреса в cuhk.edu.cn
Steven NowickProfessor Emeritus of Computer Science, Columbia UniversityПідтверджена електронна адреса в cs.columbia.edu
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAПідтверджена електронна адреса в gatech.edu
Sylvia K. PlevritisProfessor of Biomedical Data Science, Stanford UniversityПідтверджена електронна адреса в stanford.edu
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeПідтверджена електронна адреса в bc.edu
Guy KatzThe Hebrew University of JerusalemПідтверджена електронна адреса в cs.huji.ac.il
Ulrich SternNo affiliationПідтверджена електронна адреса в cs.stanford.edu
Alan J. HuProfessor of Computer Science, University of British ColumbiaПідтверджена електронна адреса в cs.ubc.ca
Irving WeissmanDirector, Institute of Stem Cell Biology and Regenerative MedicineПідтверджена електронна адреса в stanford.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityПідтверджена електронна адреса в stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityПідтверджена електронна адреса в stanford.edu
Subarna SinhaComputer Science, Stanford UniversityПідтверджена електронна адреса в stanford.edu
Dean FelsherProfessor of Medicine-Oncology, Pathology, Stanford UniversityПідтверджена електронна адреса в stanford.edu
Robert TibshiraniProfessor of Biomedical Data Sciences, and of Statistics, Stanford UniversityПідтверджена електронна адреса в stanford.edu

Підписатись

David L. Dill

Professor, Emeritus, of Computer Science, Stanford University

Підтверджена електронна адреса в stanford.edu

formal verification voting technology computational biology


Назва Сортувати за цитуваннями Сортувати за роком Сортувати за назвою	Посилання Посилання	Рік
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	10333	1994
Symbolic Model Checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and Computation 98 (2), 1992	4725	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	2417	2017
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1663	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	1657	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	1452	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	1160	1990
A decision procedure for bit-vectors and arrays V Ganesh, DL Dill International conference on computer aided verification, 519-531, 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	862	1994
Trace theory for automatic hierarchical verification of speed-independent circuits DL Dill MIT press, 1989	842	1989
Automatic verification of pipelined microprocessor control JR Burch, DL Dill Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	839	1994
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996	810*	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	734	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	698	2019
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	673	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	562	2002
The Mur ϕ verification system DL Dill Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	533	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	526	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	499	2014

У даний момент система не може виконати операцію. Спробуйте пізніше.

Статті 1–20

Кількість бібліографічних посилань на рік

Повторювані посилання

Об’єднані посилання

Додати співавторівСпівавтори

Підписатись

Посилання

Співавтори