K. Rustan M. Leino
发表
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2008,
ESOP.
K. Rustan M. Leino,
2013,
ICSE 2013.
Gary T. Leavens,
K. Rustan M. Leino,
Peter Müller,
2007,
Formal Aspects of Computing.
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2009,
ESOP.
Srinath T. V. Setty,
K. Rustan M. Leino,
Chris Hawblitzel,
2017,
USENIX Security Symposium.
K. Rustan M. Leino,
K. Leino,
K. Rustan M. Leino,
2013,
ITP.
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
SEFM.
K. Rustan M. Leino,
Peter Müller,
Angela Wallenburg,
2008,
VSTTE.
K. Rustan M. Leino,
Manuel Fähndrich,
2003,
OOPSLA.
K. Rustan M. Leino,
Wolfram Schulte,
2008
.
K. Rustan M. Leino,
Raymie Stata,
1999,
Inf. Process. Lett..
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2007,
ESOP.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2009,
SAC '09.
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
Robert DeLine,
2005,
FMCO.
Nada Amin,
Tiark Rompf,
K. Rustan M. Leino,
2014,
TAP@STAF.
K. Rustan M. Leino,
Peter Müller,
Alexander J. Summers,
2013,
VMCAI.
K. Rustan M. Leino,
Jason Koenig,
2012,
Software Safety and Security.
K. Rustan M. Leino,
K. Leino,
2010,
The Future of Software Engineering.
Parosh Aziz Abdulla,
K. Rustan M. Leino,
2013,
International Journal on Software Tools for Technology Transfer.
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2006
.
K. Rustan M. Leino,
2007,
CADE.
K. Rustan M. Leino,
K. Leino,
K. R. M. Leino,
1998,
OOPSLA '98.
K. Rustan M. Leino,
2016
.
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005
.
K. Rustan M. Leino,
K. Leino,
Patrick Spettel,
2010,
LPAR.
K. Rustan M. Leino,
Wolfram Schulte,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
K. Rustan M. Leino,
Michael Barnett,
2010,
VSTTE.
K. Rustan M. Leino,
Francesco Logozzo,
K. Leino,
2005,
APLAS.
K. Rustan M. Leino,
K. Leino,
2001,
Informatics.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
K. Rustan M. Leino,
Cormac Flanagan,
C. Flanagan,
2001,
FME.
K. Rustan M. Leino,
Peter Müller,
Wolfram Schulte,
2011,
Commun. ACM.
K. Rustan M. Leino,
Peter Müller,
Alexander J. Summers,
2011,
FTfJP@ECOOP.
K. Rustan M. Leino,
2007,
TACAS.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2009,
FOSAD.
K. Rustan M. Leino,
Rajeev Joshi,
2000,
Sci. Comput. Program..
Todd D. Millstein,
K. Rustan M. Leino,
James B. Saxe,
2005,
Sci. Comput. Program..
K. Rustan M. Leino,
Jason Koenig,
Jason R. Koenig,
2015,
Refine@FM.
K. Rustan M. Leino,
Rajeev Joshi,
R. Joshi,
2000,
Sci. Comput. Program..
Burkhart Wolff,
K. Rustan M. Leino,
Sascha Böhme,
2008,
TPHOLs.
K. Rustan M. Leino,
Rosemary Monahan,
2009
.
K. Rustan M. Leino,
K. Leino,
K. Rustan M. Leino,
2012,
VMCAI.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2010,
ESOP.
Martín Abadi,
K. Rustan M. Leino,
M. Abadi,
1997,
Verification: Theory and Practice.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2010,
VSTTE.
Tom Ridge,
Frank Piessens,
Bart Jacobs,
2011
.
K. Rustan M. Leino,
Kuat Yessenov,
2012,
Formal Aspects of Computing.
Frank Piessens,
Jan Smans,
K. Rustan M. Leino,
2008,
TOPL.
K. Rustan M. Leino,
Cormac Flanagan,
Rajeev Joshi,
2001,
Inf. Process. Lett..
Parosh Aziz Abdulla,
K. Rustan M. Leino,
K. Leino,
2011,
TACAS.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2003,
J. Object Technol..
K. Rustan M. Leino,
Barbara Jobstmann,
2016,
Lecture Notes in Computer Science.
Viktor Kuncak,
K. Rustan M. Leino,
K. Leino,
2003,
ArXiv.
K. Rustan M. Leino,
Angela Wallenburg,
2008,
ISEC '08.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
K. Rustan M. Leino,
Peter Müller,
Alexander J. Summers,
2013,
VMCAI 2013.
Parosh Aziz Abdulla,
K. Rustan M. Leino,
K. Leino,
2011
.
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2016
.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
International Journal on Software Tools for Technology Transfer.
K. Rustan M. Leino,
Michal Moskal,
2014,
FM.
K. Rustan M. Leino,
Peter Müller,
Peter Müller,
2005,
FM.
K. Rustan M. Leino,
Daniel Matichuk,
2018,
Principled Software Development.
K. Rustan M. Leino,
K. Leino,
2005,
Abstract State Machines.
K. Rustan M. Leino,
2012,
HILT.
Sophia Drossopoulou,
K. Rustan M. Leino,
Mark J. Wheelhouse,
2016,
Theory and Practice of Formal Methods.
K. Rustan M. Leino,
K. Leino,
2002
.
K. Rustan M. Leino,
K. Leino,
2016
.
K. Rustan M. Leino,
2012,
VSTTE.
K. Rustan M. Leino,
Robert DeLine,
K. Leino,
2005
.
K. Rustan M. Leino,
K. Leino,
2015,
LPAR.
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2009,
FM.
K. Rustan M. Leino,
Nadia Polikarpova,
K. Leino,
2013,
VSTTE.
K. Rustan M. Leino,
2012
.
K. Rustan M. Leino,
1998,
Nord. J. Comput..
K. Rustan M. Leino,
Greg Nelson,
2003
.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
K. Rustan M. Leino,
Greg Nelson,
K. Leino,
2002,
TOPL.
K. Rustan M. Leino,
2012
.
Mark Lillibridge,
K. Rustan M. Leino,
Raymie Stata,
2002,
PLDI '02.
K. Rustan M. Leino,
Rosemary Monahan,
2012
.
Reza Ahmadi,
K. Rustan M. Leino,
Jyrki Nummenmaa,
2015,
FTfJP@ECOOP.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2017
.
K. Rustan M. Leino,
Rajit Manohar,
1999,
Theor. Comput. Sci..
K. Rustan M. Leino,
Greg Nelson,
1998,
CC.
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2007
.
K. Rustan M. Leino,
2006,
Ershov Memorial Conference.
K. Rustan M. Leino,
K. Leino,
M. Broy,
1998,
PROCOMET.
K. Rustan M. Leino,
K. Leino,
1997
.
K. Rustan M. Leino,
Raymie Stata,
James B. Saxe,
1999,
ECOOP Workshops.
K. Rustan M. Leino,
K. Leino,
2006
.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
Electron. Notes Theor. Comput. Sci..
K. Rustan M. Leino,
K. Leino,
1993
.
K. Rustan M. Leino,
Manuel Fähndrich,
K. Leino,
2003
.
K. Rustan M. Leino,
2007,
ASE '07.
K. Rustan M. Leino,
K. Leino,
2005,
Inf. Process. Lett..
K. Rustan M. Leino,
Michael Burrows,
2004
.
K. Rustan M. Leino,
Jose Quaresma,
Luke Herbert,
2011,
LASER Summer School.
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2008,
LASER Summer School.
K. Rustan M. Leino,
2010,
Commun. ACM.
K. Rustan M. Leino,
Barbara Jobstmann,
2016
.
K. Rustan M. Leino,
2011,
NASA Formal Methods.
Gary T. Leavens,
K. Rustan M. Leino,
Peter Müller,
2012,
CSUR.
K. Rustan M. Leino,
Manuel Fähndrich,
2003,
OOPSLA 2003.
Mark Lillibridge,
K. Rustan M. Leino,
Raymie Stata,
2013,
SIGP.
K. Rustan M. Leino,
K. Leino,
2017,
IEEE Softw..
K. Rustan M. Leino,
K. Leino,
2003,
SPIN.
K. Rustan M. Leino,
2012,
SPLASH '12.
K. Rustan M. Leino,
2005,
Formal Aspects of Computing.
K. Rustan M. Leino,
2005,
SEFM.
K. Rustan M. Leino,
Ronald Middelkoop,
2009,
FASE.
Parosh Aziz Abdulla,
K. Rustan M. Leino,
K. Leino,
1996,
Lecture Notes in Computer Science.
K. Rustan M. Leino,
Valentin Wüstholz,
K. Leino,
2014,
F-IDE.
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
K. Rustan M. Leino,
2017,
SETSS.
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
K. Leino,
2005,
Electron. Notes Theor. Comput. Sci..
Bart Jacobs,
Gary T. Leavens,
K. Rustan M. Leino,
2000,
OOPSLA '00.
K. Rustan M. Leino,
Néstor Cataño,
Víctor Rivera,
2012,
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).
K. Rustan M. Leino,
2005,
Formal Aspects of Computing.
K. Rustan M. Leino,
2004,
ICTAC.
K. Rustan M. Leino,
Michael Barnett,
Mike Barnett,
2005,
PASTE '05.
K. Rustan M. Leino,
Aleksandar Milicevic,
K. Leino,
2012,
OOPSLA '12.
K. Rustan M. Leino,
1995,
Inf. Process. Lett..
K. Rustan M. Leino,
Greg Nelson,
James B. Saxe,
2000
.
K. Rustan M. Leino,
Peter Müller,
2004
.
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
2005,
VMCAI.
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
ICSE 2011.
K. Rustan M. Leino,
Clément Pit-Claudel,
K. Leino,
2016,
CAV.
K. Rustan M. Leino,
Arnd Poetzsch-Heffter,
Yunhong Zhou,
2002,
PLDI '02.
K. Rustan M. Leino,
Rajit Manohar,
2005,
Formal Aspects of Computing.
K. Rustan M. Leino,
2001,
SAS.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2010
.
K. Rustan M. Leino,
1996
.
K. Rustan M. Leino,
Ádám Darvas,
2007,
FASE.
K. Rustan M. Leino,
Valentin Wüstholz,
K. Leino,
2015,
CAV.
K. Rustan M. Leino,
Peter Müller,
2006,
ESOP.
K. Rustan M. Leino,
K. Leino,
2001,
Inf. Process. Lett..
K. Rustan M. Leino,
Wolfram Schulte,
Maria Christakis,
2014,
FM.
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2004,
ECOOP.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2017
.
Gary T. Leavens,
K. Rustan M. Leino,
Gary T. Leavens,
2017
.
K. Rustan M. Leino,
K. Leino,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2010,
Formal Methods Syst. Des..
K. Rustan M. Leino,
Philipp Rümmer,
K. Leino,
2010,
TACAS.
K. Rustan M. Leino,
2008,
2008 32nd Annual IEEE International Computer Software and Applications Conference.
Martín Abadi,
K. Rustan M. Leino,
2003,
Verification: Theory and Practice.
K. Rustan M. Leino,
Wolfram Schulte,
Mike Barnett,
2004,
CASSIS.
K. Rustan M. Leino,
Paqui Lucio,
K. Leino,
2015,
ACM Trans. Comput. Log..
K. Rustan M. Leino,
2008
.
K. Rustan M. Leino,
Xinming Ou,
Madan Musuvathi,
2005,
TACAS.
K. Rustan M. Leino,
Peter Müller,
Valentin Wüstholz,
2016,
TACAS.
K. Rustan M. Leino,
2010,
VMCAI.
K. Rustan M. Leino,
Barbara Jobstmann,
K. Leino,
2016
.
K. Rustan M. Leino,
Jan L. A. van de Snepscheut,
1994,
PROCOMET.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
K. Rustan M. Leino,
Kuat Yessenov,
2010
.