Kenneth L. McMillan
发表
Edmund M. Clarke,
David E. Long,
Kenneth L. McMillan,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Kenneth L. McMillan,
Kavita Ravi,
Thomas R. Shiple,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Nikolaj Bjørner,
Arie Gurfinkel,
Kenneth L. McMillan,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Kenneth L. McMillan,
1992
.
Robert P. Kurshan,
Kenneth L. McMillan,
Nina Amla,
2005,
CHARME.
Kenneth L. McMillan,
K. McMillan,
2002,
CAV.
Kenneth L. McMillan,
2008,
POPL '08.
Kenneth L. McMillan,
Oded Padon,
K. McMillan,
2018,
SAS.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
ArXiv.
Isil Dillig,
Xinyu Wang,
Kenneth L. McMillan,
2018,
CAV.
Kenneth L. McMillan,
Andrey Rybalchenko,
Nikolaj Bjrner,
2012
.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2011,
SAS.
Kenneth L. McMillan,
1993
.
Edmund M. Clarke,
David E. Long,
Kenneth L. McMillan,
1991
.
Kenneth L. McMillan,
Nina Amla,
K. McMillan,
2003,
TACAS.
Kenneth L. McMillan,
K. McMillan,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Kenneth L. McMillan,
K. McMillan,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Robert P. Kurshan,
Kenneth L. McMillan,
Nina Amla,
2003,
TACAS.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Kenneth L. McMillan,
1993,
CAV.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
CAV.
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1993,
Formal Methods Syst. Des..
Kenneth L. McMillan,
2000
.
Kenneth L. McMillan,
2004,
CSL.
Kenneth L. McMillan,
K. McMillan,
2005,
TACAS.
Robert P. Kurshan,
Kenneth L. McMillan,
K. McMillan,
1989,
PODC.
Kenneth L. McMillan,
2018,
CAV.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
OOPSLA.
Kenneth L. McMillan,
Shmuel Sagiv,
Sharon Shoham,
2018,
PLDI.
Kenneth L. McMillan,
Shmuel Sagiv,
Andreas Kuehlmann,
2009,
CAV.
Kenneth L. McMillan,
K. McMillan,
2001,
CHARME.
Kenneth L. McMillan,
K. McMillan,
2000
.
Alexander Saldanha,
Alberto L. Sangiovanni-Vincentelli,
Kenneth L. McMillan,
1995,
ICCAD.
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1993,
Formal Methods Syst. Des..
Kenneth L. McMillan,
Nina Amla,
2007,
TACAS.
Kenneth L. McMillan,
2018,
Handbook of Model Checking.
Kenneth L. McMillan,
1994,
CAV.
Edmund M. Clarke,
Orna Grumberg,
Xudong Zhao,
1995,
DAC '95.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2019,
From Reactive Systems to Cyber-Physical Systems.
Edmund M. Clarke,
Jerry R. Burch,
Orna Grumberg,
1992
.
Kenneth L. McMillan,
K. McMillan,
1992
.
Peter A. Beerel,
Jerry R. Burch,
Kenneth L. McMillan,
1997,
DAC.
Kenneth L. McMillan,
2008,
Haifa Verification Conference.
Kenneth L. McMillan,
2005,
ICATPN.
Nikolaj Bjørner,
Margus Veanes,
Thomas Ball,
2012,
SPIN.
Rajeev Alur,
Doron A. Peled,
Kenneth L. McMillan,
2005,
Formal Methods Syst. Des..
Ranjit Jhala,
Kenneth L. McMillan,
2007,
CAV.
Kenneth L. McMillan,
2010,
CAV.
Kenneth L. McMillan,
1993
.
Jochen Hoenicke,
Andreas Podelski,
Kenneth L. McMillan,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Kenneth L. McMillan,
K. McMillan,
2008,
TACAS.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2004,
POPL.
Kenneth L. McMillan,
K. McMillan,
1994,
31st Design Automation Conference.
Kenneth L. McMillan,
K. McMillan,
2005,
Theor. Comput. Sci..
Robert K. Brayton,
Alberto Sangiovanni-Vincentelli,
Amit Narayan,
1999
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
Inf. Comput..
Kenneth L. McMillan,
K. McMillan,
2000,
Sci. Comput. Program..
Kenneth L. McMillan,
Anubhav Gupta,
Zhaohui Fu,
2008,
Formal Methods Syst. Des..
Kenneth L. McMillan,
Oded Padon,
K. McMillan,
2020,
CAV.
Masahiro Fujita,
Edmund M. Clarke,
Xudong Zhao,
1997,
Formal Methods Syst. Des..
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
International Journal on Software Tools for Technology Transfer.
Kenneth L. McMillan,
Ellen M. Sentovich,
Arlindo L. Oliveira,
2010
.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2019,
SIGCOMM.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2004,
SIGP.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Kenneth L. McMillan,
1999,
CAV.
Kenneth L. McMillan,
K. McMillan,
2006,
CAV.
Kenneth L. McMillan,
2013,
SBMF.
Kenneth L. McMillan,
2007,
ATVA.
Kenneth L. McMillan,
Andrey Rybalchenko,
K. McMillan,
2013
.
Kenneth L. McMillan,
1998,
FSTTCS.
Kenneth L. McMillan,
Lenore D. Zuck,
Jordan Torf,
2018,
VMCAI.
Ranjit Jhala,
Kenneth L. McMillan,
2007,
Log. Methods Comput. Sci..
Kenneth L. McMillan,
Lenore D. Zuck,
2019,
2019 IEEE Cybersecurity Development (SecDev).
Xavier Rival,
Kenneth L. McMillan,
2014
.
Kenneth L. McMillan,
K. McMillan,
1998,
CAV.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Kenneth L. McMillan,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Kenneth L. McMillan,
K. McMillan,
2003,
CAV.
Kenneth L. McMillan,
2003,
SAS.
Kenneth L. McMillan,
Nina Amla,
K. McMillan,
2004,
FMCAD.
Rajeev Alur,
Doron A. Peled,
Kenneth L. McMillan,
1998,
Formal Methods Syst. Des..
Kenneth L. McMillan,
K. McMillan,
1997,
CAV.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
SAS.
Kenneth L. McMillan,
2011,
SAS.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Kenneth L. McMillan,
1999,
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Masahiro Fujita,
Edmund M. Clarke,
Xudong Zhao,
1993,
30th ACM/IEEE Design Automation Conference.
Rajeev Alur,
Doron A. Peled,
Kenneth L. McMillan,
2000,
Inf. Comput..
Kenneth L. McMillan,
2000
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1991,
DAC '90.
Peter A. Beerel,
Jerry R. Burch,
Kenneth L. McMillan,
2000,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Kenneth L. McMillan,
K. McMillan,
1993
.
Kenneth L. McMillan,
Janaki Akella,
1991,
[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Kenneth L. McMillan,
2014,
CAV.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Kenneth L. McMillan,
K. McMillan,
2020,
ArXiv.
Rajeev Alur,
Doron A. Peled,
Kenneth L. McMillan,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Kenneth L. McMillan,
Randal E. Bryant,
Aart J. de Geus,
1999
.
Ranjit Jhala,
Kenneth L. McMillan,
K. McMillan,
2006,
TACAS.
Kenneth L. McMillan,
Shmuel Sagiv,
Sharon Shoham,
2016,
PLDI.
Aws Albarghouthi,
Kenneth L. McMillan,
K. McMillan,
2013,
CAV.
Ganesh Gopalakrishnan,
David L. Dill,
Kenneth L. McMillan,
2002,
Lecture Notes in Computer Science.
Kenneth L. McMillan,
2005,
Theor. Comput. Sci..
Kenneth L. McMillan,
1993
.
Ranjit Jhala,
Kenneth L. McMillan,
K. McMillan,
2001,
CAV.
Shuvendu K. Lahiri,
Rahul Sharma,
Chris Hawblitzel,
2013,
ESEC/FSE 2013.
Kenneth L. McMillan,
2000
.
Nikolaj Bjørner,
Arie Gurfinkel,
Kenneth L. McMillan,
2015,
Fields of Logic and Computation II.
Kenneth L. McMillan,
1998,
FMCAD.
Amir Pnueli,
Kenneth L. McMillan,
Lenore D. Zuck,
2006,
FORTE.
Kenneth L. McMillan,
1993
.
Kenneth L. McMillan,
2011
.
Kenneth L. McMillan,
Lenore D. Zuck,
2009,
RP.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
TACAS.
Alberto L. Sangiovanni-Vincentelli,
Kenneth L. McMillan,
Naeem Zafar,
1994,
DAC '94.
Nikolaj Bjørner,
Kenneth L. McMillan,
Andrey Rybalchenko,
2013,
SMT@IJCAR.
Robert K. Brayton,
Kenneth L. McMillan,
Andreas Kuehlmann,
1999,
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Xavier Rival,
Kenneth L. McMillan,
2014
.
Kenneth L. McMillan,
K. McMillan,
1996,
CAV.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Kenneth L. McMillan,
K. McMillan,
1995,
Formal Methods Syst. Des..
Kenneth L. McMillan,
K. McMillan,
1992,
CAV.
Kenneth L. McMillan,
K. McMillan,
1999,
CHARME.
Kenneth L. McMillan,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Kenneth L. McMillan,
Limor Fix,
Leopold Haller,
2016
.
David L. Dill,
Kenneth L. McMillan,
K. McMillan,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Kenneth L. McMillan,
2007,
VMCAI.
Kenneth L. McMillan,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Amit Narayan,
1996,
33rd Design Automation Conference Proceedings, 1996.
Xavier Rival,
Kenneth L. McMillan,
2014,
Lecture Notes in Computer Science.
Robert P. Kurshan,
Kenneth L. McMillan,
1995,
Inf. Comput..
Kenneth L. McMillan,
K. McMillan,
1995,
CAV.
Kenneth L. McMillan,
Shaz Qadeer,
James B. Saxe,
2000,
CAV.
Kenneth L. McMillan,
K. McMillan,
1999,
CHARME.
Robert P. Kurshan,
Kenneth L. McMillan,
1991,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Kenneth L. McMillan,
K. McMillan,
1992
.
Ranjit Jhala,
Kenneth L. McMillan,
2005,
CAV.
Kenneth L. McMillan,
2009,
FMICS.
Kenneth L. McMillan,
Anubhav Gupta,
Zhaohui Fu,
2007,
Formal Methods Syst. Des..
Kenneth L. McMillan,
Ásgeir Th. Eiríksson,
K. McMillan,
1995,
CAV.
Kenneth L. McMillan,
Lenore D. Zuck,
2014,
FPS@ETAPS.
Jochen Hoenicke,
Andreas Podelski,
Kenneth L. McMillan,
2021,
Formal Methods Syst. Des..
Kenneth L. McMillan,
Shmuel Sagiv,
Sharon Shoham,
2016,
PLDI.