David L. Dill
发表
Mark Horowitz,
Mark E. Dean,
David L. Dill,
1994,
J. VLSI Signal Process..
David L. Dill,
Seungjoon Park,
1995,
SPAA '95.
David L. Dill,
C. Norris Ip,
D. Dill,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
David L. Dill,
D. Dill,
1989,
Automatic Verification Methods for Finite State Systems.
David L. Dill,
Jerry R. Burch,
Robert B. Jones,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
David L. Dill,
Aviel D. Rubin,
2004,
IEEE Secur. Priv..
Srinivas Devadas,
Kenneth Y. Yun,
David L. Dill,
1998,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
David L. Dill,
Ulrich Stern,
1997,
CAV.
Chris Wilson,
David L. Dill,
D. Dill,
2000,
Proceedings 37th Design Automation Conference.
David L. Dill,
D. Dill,
1996,
CAV.
Christian Stangier,
Debashis Sahoo,
Amit Narayan,
2004,
FMCAD.
David L. Dill,
2003
.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2002,
FMCAD.
David L. Dill,
Subarna Sinha,
D. Dill,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
David L. Dill,
Kanna Shimizu,
2002,
DAC '02.
David L. Dill,
2000,
ISSTA '00.
David L. Dill,
Kanna Shimizu,
2002
.
David L. Dill,
Ulrich Stern,
1996,
FORTE.
David L. Dill,
Steven M. Nowick,
1992,
ICCAD.
David L. Dill,
Steven M. Nowick,
1995,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
David L. Dill,
Aaron Stump,
2002,
CADE.
David L. Dill,
Ulrich Stern,
D. Dill,
1995,
CHARME.
David L. Dill,
Jerry R. Burch,
Robert B. Jones,
1995,
ICCAD.
David L. Dill,
2011,
VMCAI.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2003,
TACAS.
David L. Dill,
K. Y. Yun,
D. Dill,
1994
.
David L. Dill,
C. Norris Ip,
D. Dill,
1996,
Formal Methods Syst. Des..
David L. Dill,
Andreas Nowatzyk,
Seungjoon Park,
1993
.
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2002,
LFM.
David L. Dill,
Shankar G. Govindaraju,
1998,
ICCAD '98.
David L. Dill,
Satyaki Das,
D. Dill,
2002,
FMCAD.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1991,
REX Workshop.
Mykel J. Kochenderfer,
David L. Dill,
Guy Katz,
2017,
CAV.
David L. Dill,
Sergey Berezin,
Husam Abu-Haimed,
2006,
2006 Formal Methods in Computer Aided Design.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1993,
Inf. Comput..
David L. Dill,
Madan Musuvathi,
D. Dill,
2005,
SPIN.
David L. Dill,
Howard Wong-Toi,
1994
.
Xin Zhou,
David L. Dill,
Yichen Liu,
2019,
bioRxiv.
David L. Dill,
Guy Katz,
Nicholas Carlini,
2017,
ArXiv.
David L. Dill,
Eric Whitman Smith,
2008,
2008 Formal Methods in Computer-Aided Design.
Alan J. Hu,
David L. Dill,
Gary York,
1994,
31st Design Automation Conference.
Edmund M. Clarke,
Michael C. Browne,
David L. Dill,
1986,
IEEE Transactions on Computers.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1995,
CAV.
David L. Dill,
1994
.
Debashis Sahoo,
David L. Dill,
Jawahar Jain,
2005,
ATVA.
David L. Dill,
C. Norris Ip,
D. Dill,
1999,
Formal Methods Syst. Des..
David L. Dill,
Seungjoon Park,
D. Dill,
1996,
CAV.
David L. Dill,
Seungjoon Park,
D. Dill,
1996
.
David L. Dill,
Supratik Chakraborty,
K. Y. Yun,
2002
.
Marsha Chechik,
Arie Gurfinkel,
David L. Dill,
2005,
D/PDPAR@IJCAR.
David L. Dill,
C. Norris Ip,
1996,
DAC '96.
David L. Dill,
Clark W. Barrett,
Jeremy R. Levitt,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS 2006.
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2003,
EMSOFT.
David L. Dill,
D. Dill,
1989,
ACM distinguished dissertations.
Kenneth Y. Yun,
David L. Dill,
Steven M. Nowick,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Nicolas Halbwachs,
Rajeev Alur,
David L. Dill,
1992,
[1992] Proceedings Real-Time Systems Symposium.
David L. Dill,
K. Y. Yun,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
David L. Dill,
C. Han Yang,
D. Dill,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
David L. Dill,
Shankar G. Govindaraju,
Jules P. Bergmann,
1999,
DAC '99.
David L. Dill,
Ulrich Stern,
D. Dill,
2001,
Formal Methods Syst. Des..
David L. Dill,
2008,
ATVA.
David L. Dill,
Vijay Ganesh,
D. Dill,
2007
.
Debashis Sahoo,
David L. Dill,
E. Allen Emerson,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2002,
CAV.
David L. Dill,
Supratik Chakraborty,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
David L. Dill,
1994
.
Kenneth Y. Yun,
David L. Dill,
1993,
ICCAD.
David L. Dill,
Percy Liang,
Matthew Lamm,
2018,
ICLR.
Teresa H. Y. Meng,
Matthew Ho,
David L. Dill,
2010,
CGO '10.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
International Conference on Computer Aided Verification.
David L. Dill,
Seungjoon Park,
1996,
SPAA '96.
David L. Dill,
Robert B. Jones,
1999
.
Rajeev Alur,
David L. Dill,
R. Alur,
1991,
REX Workshop.
Mark Horowitz,
David L. Dill,
Richard C. Ho,
1995,
Proceedings 22nd Annual International Symposium on Computer Architecture.
David L. Dill,
C. Norris Ip,
D. Dill,
1996,
CAV.
David L. Dill,
Kanna Shimizu,
2002,
IEEE Des. Test Comput..
David L. Dill,
Keren Lasker,
Harley H. McAdams,
2015,
Nucleic Acids Res..
Rajeev Alur,
David L. Dill,
R. Alur,
1994,
Theor. Comput. Sci..
David L. Dill,
Steven M. Nowick,
Robert F. Sproull,
1989,
Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
David L. Dill,
Chiang Han Yang,
1998
.
David L. Dill,
Sergey Berezin,
Husam Abu-Haimed,
2003,
CHARME.
David L. Dill,
Subarna Sinha,
Michela Meister,
2014
.
David L. Dill,
Supratik Chakraborty,
D. Dill,
1998
.
David L. Dill,
D. Dill,
1989,
Hardware Specification, Verification and Synthesis.
David Chaum,
Moti Yung,
Michael Ian Shamos,
2004,
CACM.
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2002,
FroCoS.
David L. Dill,
2008,
25 Years of Model Checking.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
Inf. Comput..
David L. Dill,
Clark W. Barrett,
Jeffrey X. Su,
1996,
FMCAD.
David L. Dill,
Supratik Chakraborty,
K. Y. Yun,
1998,
Proceedings of the IEEE 1998 Custom Integrated Circuits Conference (Cat. No.98CH36143).
Kenneth Y. Yun,
David L. Dill,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2000,
CADE.
Ron Ho,
David L. Dill,
Mark Horowitz,
1995,
ISCA 1995.
David L. Dill,
Shankar G. Govindaraju,
D. Dill,
1998,
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
David L. Dill,
Mats Per Erik Heimdahl,
David Y. W. Park,
1998,
FMSP '98.
David L. Dill,
Paul Loewenstein,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Alan J. Hu,
Mark Horowitz,
David L. Dill,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
David L. Dill,
Husam Abu-Haimed,
2004
.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Dawson R. Engler,
Andy Chou,
David L. Dill,
2022
.
David L. Dill,
1994,
CAV 1994.
David Lorge Parnas,
Robert L. Glass,
Cliff B. Jones,
1996,
Computer.
David L. Dill,
Ching-Tsun Chou,
Kanna Shimizu,
2001,
CHARME.
Edmund M. Clarke,
David L. Dill,
E. Clarke,
1986
.
David L. Dill,
Shankar G. Govindaraju,
D. Dill,
2000,
IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2008,
TSEC.
Serdar Tasiran,
David L. Dill,
Ellen Sentovich,
1999,
International Conference on Computer Aided Design.
David L. Dill,
Paul Loewenstein,
1990,
CAV.
Giovanni De Micheli,
David L. Dill,
Jerry R. Burch,
1993,
ICCAD.
Mykel J. Kochenderfer,
David L. Dill,
Guy Katz,
2017,
FVAV@iFM.
Mykel J. Kochenderfer,
David L. Dill,
Guy Katz,
2019,
CAV.
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2002,
CAV.
David L. Dill,
Seungjoon Park,
Satyaki Das,
1999,
CAV.
David L. Dill,
Robert B. Jones,
Jens Ulrik Skakkebæk,
1998,
CAV.
Bruce Schneier,
David L. Dill,
Barbara B. Simons,
2003,
CACM.
Alan J. Hu,
David L. Dill,
Kanna Shimizu,
2000,
FMCAD.
David L. Dill,
Paul Loewenstein,
1990,
CAV.
David L. Dill,
Steven M. Nowick,
1991,
1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
David L. Dill,
Sergey Berezin,
Jacob Chang,
2004,
CAV.
David L. Dill,
David Y. W. Park,
Jens Ulrik Skakkebæk,
1998,
FTRTFT.
David L. Dill,
2003
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1991,
DAC '90.
David L. Dill,
Subarna Sinha,
D. Dill,
2016,
bioRxiv.
David L. Dill,
Sergey Berezin,
Husam Abu-Haimed,
2003,
CAV.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1991,
ICALP.
Andy Chou,
David L. Dill,
David Lie,
2001,
Proceedings 28th Annual International Symposium on Computer Architecture.
David L. Dill,
Madanlal Musuvathi,
M. Musuvathi,
2004
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
David L. Dill,
Patrick Lincoln,
2003,
CMSB.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2005
.
Alan J. Hu,
David L. Dill,
1993,
30th ACM/IEEE Design Automation Conference.
Alan J. Hu,
David L. Dill,
1993,
CAV.
Kenneth Y. Yun,
David L. Dill,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS '06.
David L. Dill,
Carl-Johan H. Seger,
Robert B. Jones,
1996,
FMCAD.
Giovanni De Micheli,
David L. Dill,
Polly Siegel,
1993,
30th ACM/IEEE Design Automation Conference.
Kenneth Y. Yun,
David L. Dill,
Supratik Chakraborty,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alan J. Hu,
David L. Dill,
Howard Wong-Toi,
1991,
CAV.
David L. Dill,
Satyaki Das,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Serdar Tasiran,
David L. Dill,
Ellen M. Sentovich,
1999,
ICCAD '99.
Ganesh Gopalakrishnan,
David L. Dill,
Kenneth L. McMillan,
2002,
Lecture Notes in Computer Science.
David L. Dill,
2012,
CAV.
David L. Dill,
1994,
CONCUR.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
CAV.
David L. Dill,
Jeremy Epstein,
Eric Lazarus,
2011,
EVT/WOTE.
David L. Dill,
Jens Ulrik Skakkebæk,
Jeffrey X. Su,
1998,
FMCAD.
David L. Dill,
Supratik Chakraborty,
1997,
Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
David L. Dill,
Jerry R. Burch,
D. Dill,
1994,
CAV.
David L. Dill,
Seungjoon Park,
D. Dill,
1998,
Theory of Computing Systems.
Kenneth Y. Yun,
David L. Dill,
1992,
ICCAD.
Debashis Sahoo,
David L. Dill,
E. Allen Emerson,
2005,
CHARME.
Srinivas Devadas,
Kenneth Y. Yun,
David L. Dill,
1994,
ICCAD.
David L. Dill,
1999,
CAV.
David L. Dill,
Ulrich Stern,
1995,
CHARME.
Carolyn L. Talcott,
David L. Dill,
Patrick Lincoln,
2005,
Systems Biology and Regulatory Genomics.
David L. Dill,
Steven M. Nowick,
K. Y. Yun,
1993,
1993 European Conference on Design Automation with the European Event in ASIC Design.
Mark E. Dean,
David L. Dill,
Steven M. Nowick,
1993,
Integr..
David L. Dill,
1994,
Lecture Notes in Computer Science.
Kenneth Y. Yun,
David L. Dill,
Supratik Chakraborty,
1997,
Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
David L. Dill,
Mark Edward Dean,
Ted E. Williams,
1991
.
David L. Dill,
Robert B. Jones,
Jens Ulrik Skakkebæk,
1998,
FMCAD.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Chris Wilson,
David L. Dill,
Randal E. Bryant,
2000,
FMCAD.
David L. Dill,
Ulrich Stern,
David Y. W. Park,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
David L. Dill,
Steven M. Nowick,
Robert F. Sproull,
1989,
Formal Methods Syst. Des..
David L. Dill,
Seungjoon Park,
1999,
IEEE Trans. Computers.
David L. Dill,
Aaron Stump,
Clark W. Barrett,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
David L. Dill,
Daniel Castro,
2008,
Commun. ACM.
David L. Dill,
C. Norris Ip,
1993
.
David L. Dill,
Seungjoon Park,
Satyaki Das,
1997,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Carolyn L. Talcott,
David L. Dill,
D. Dill,
2006,
Trans. Comp. Sys. Biology.
David L. Dill,
D. Dill,
1996
.
David L. Dill,
Clark W. Barrett,
Jeremy R. Levitt,
1996,
FMCAD.
David L. Dill,
Ritesh Kolte,
Weiruo Zhang,
2015,
BMC Systems Biology.
David L. Dill,
Shankar G. Govindaraju,
D. Dill,
1999,
SMC@FLoC.
Mark Horowitz,
Mark E. Dean,
David L. Dill,
1991,
[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
David L. Dill,
Kenneth L. McMillan,
K. McMillan,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Kenneth Y. Yun,
David L. Dill,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
David L. Dill,
Vijay Ganesh,
D. Dill,
2007,
CAV.
Alan J. Hu,
David L. Dill,
C. Han Yang,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
David L. Dill,
Percy Liang,
Daniel Selsam,
2017,
ICML.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1992,
CONCUR.
Sam Blackshear,
David L. Dill,
John C. Mitchell,
2020,
ArXiv.
David L. Dill,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
David L. Dill,
2006,
CAV.
Dawson R. Engler,
Andy Chou,
David L. Dill,
2002,
EW 10.
David L. Dill,
2004,
MEMOCODE.
David L. Dill,
Costas Courcoubetis,
Magda Chatzaki,
1992,
CAV.
David L. Dill,
Xiaowu Jeffrey Su,
2002
.
Alan J. Hu,
David L. Dill,
C. Han Yang,
1992,
CAV.
David L. Dill,
2002
.
Kenneth Y. Yun,
David L. Dill,
Steven M. Nowick,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Srinivas Devadas,
David L. Dill,
Bill Lin,
1994,
IEEE/ACM International Conference on Computer-Aided Design.
David L. Dill,
Steven M. Nowick,
D. Dill,
1991,
[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
David L. Dill,
Harry Foster,
Shishpal Rawat,
2002,
DAC '02.
Mykel J. Kochenderfer,
David L. Dill,
Guy Katz,
2021,
Formal Methods in System Design.
Debashis Sahoo,
David L. Dill,
Dean W. Felsher,
2008,
PLoS genetics.
David L. Dill,
Arend Sidow,
Xin Zhou,
2019,
bioRxiv.
David L. Dill,
John Rushby,
D. Dill,
1996
.
David L. Dill,
Karan Mangla,
D. Dill,
2010,
PloS one.
Debashis Sahoo,
Irving L. Weissman,
David L. Dill,
2012,
PloS one.
David L. Dill,
Walter R. Mebane,
2007
.
David L. Dill,
Ulrich Stern,
1996
.
Cesare Tinelli,
David L. Dill,
Sergey Berezin,
2004
.
Dan S. Wallach,
David L. Dill,
2007
.
David L. Dill,
Supratik Chakraborty,
Pasupathi A. Subrahmanyam,
1997
.
David L. Dill,
Shankar G. Govindaraju,
1999
.
Debashis Sahoo,
David L. Dill,
Sylvia K. Plevritis,
2007,
Nucleic acids research.
David L. Dill,
Supratik Chakraborty,
1997,
ICCAD 1997.
Sam Blackshear,
David L. Dill,
Shaz Qadeer,
2019
.
David L. Dill,
Aaron Stump,
2002
.
David L. Dill,
D. Dill,
2007
.