Gerwin Klein
发表
Rafal Kolanski,
Gerwin Klein,
2009,
TPHOLs.
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2008
.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2009,
SOSP '09.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2014,
Software Systems Safety.
Gerwin Klein,
Alfons Brandl,
1999,
HCI.
Xin Gao,
Gerwin Klein,
June Andronick,
2013,
ICFEM.
Toby Murray,
Gerwin Klein,
June Andronick,
2011
.
Gerwin Klein,
June Andronick,
Andrew Boyton,
2012
.
Rafal Kolanski,
Gerwin Klein,
Andrew Boyton,
2012,
Arch. Formal Proofs.
Timothy Bourke,
Xin Gao,
Gerwin Klein,
2013,
2013 IEEE Symposium on Security and Privacy.
Manuel M. T. Chakravarty,
Gerwin Klein,
Simon Winwood,
2006
.
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2002,
Electron. Notes Theor. Comput. Sci..
Rafal Kolanski,
Gerwin Klein,
Rafal Kolanski,
2008,
VSTTE.
Gerwin Klein,
Ralf Huuck,
R. Huuck,
2006
.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2006,
TOPL.
Gernot Heiser,
Kevin Elphinstone,
Rafal Kolanski,
2014,
TOCS.
Gabriele Keller,
Gerwin Klein,
Christine Rizkallah,
2018,
ISoLA.
Gernot Heiser,
Gerwin Klein,
Daniel Potts,
2014
.
Michael Norrish,
Gerwin Klein,
David Cock,
2009,
TPHOLs.
Nick Barnes,
Hugh F. Durrant-Whyte,
Pascal Van Hentenryck,
2012,
AI Mag..
Gerwin Klein,
June Andronick,
Andrew Boyton,
2012
.
Gerwin Klein,
June Andronick,
David Greenaway,
2014,
PLDI.
Gerwin Klein,
Ihor Kuz,
Matthew Fernandez,
2012
.
Gerwin Klein,
Harvey Tuch,
2004
.
Toby Murray,
Gerwin Klein,
Toby C. Murray,
2020,
ACM SIGOPS Oper. Syst. Rev..
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2009,
Journal of Automated Reasoning.
D. Ross Jeffery,
Mark Staples,
Rafal Kolanski,
2014,
ESEM '14.
Gerwin Klein,
June Andronick,
Gerwin Klein,
2012
.
Martin Strecker,
Gerwin Klein,
Gerwin Klein,
2003
.
Gerwin Klein,
Harvey Tuch,
Gerwin Klein,
2005,
LPAR.
Magnus O. Myreen,
Gerwin Klein,
Thomas Sewell,
2013,
PLDI.
Gerwin Klein,
June Andronick,
Thomas Sewell,
2011,
ITP.
Gernot Heiser,
Gerwin Klein,
Toby C. Murray,
2019,
HotOS.
Gerwin Klein,
2005,
it Inf. Technol..
Sooyong Park,
Raquel M. Pillat,
Liming Zhu,
2012,
ICSSP.
Konrad Slind,
Darren D. Cofer,
Gerwin Klein,
2015,
Dagstuhl Reports.
Gerwin Klein,
Harvey Tuch,
2004
.
Gerwin Klein,
June Andronick,
2011
.
Toby Murray,
Ramana Kumar,
Gerwin Klein,
2016
.
Gerwin Klein,
Hira Taqdees Syeda,
2020,
Journal of Automated Reasoning.
Gerwin Klein,
June Andronick,
David Greenaway,
2012,
ITP.
Sidney Amani,
Leonid Ryzhyk,
Gernot Heiser,
2013,
PLOS '13.
Kevin Elphinstone,
Rafal Kolanski,
Gerwin Klein,
2006
.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015
.
Gernot Heiser,
Kevin Elphinstone,
Timothy Roscoe,
2007,
HotOS.
Gerwin Klein,
Peter Gammie,
Toby C. Murray,
2012,
CPP.
Sidney Amani,
Yutaka Nagashima,
Gabriele Keller,
2016,
ArXiv.
Kevin Elphinstone,
Gerwin Klein,
Philip Derrin,
2009,
ICFP.
Toby Murray,
Gabriele Keller,
Gerwin Klein,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Sidney Amani,
Yutaka Nagashima,
Gerwin Klein,
2016,
ICFP 2016.
Leonid Ryzhyk,
Gernot Heiser,
Kevin Elphinstone,
2010,
STC '10.
Sidney Amani,
Gernot Heiser,
Yutaka Nagashima,
2016,
ASPLOS.
Gerwin Klein,
2004,
Arch. Formal Proofs.
Stefan M. Petters,
Gernot Heiser,
Kevin Elphinstone,
2007,
OPSR.
Gerwin Klein,
Thomas Sewell,
Simon Winwood,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Sidney Amani,
Toby Murray,
Gabriele Keller,
2014
.
Gerwin Klein,
G. Klein,
2014,
FM.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2010,
Commun. ACM.
Gerwin Klein,
David Cock,
Thomas Sewell,
2008,
TPHOLs.
Bernhard Beckert,
Gerwin Klein,
2008,
VERIFY.
Gernot Heiser,
Michael W. Whalen,
Gerwin Klein,
2017
.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2007
.
Timothy Bourke,
Rafal Kolanski,
Gerwin Klein,
2012,
AISC/MKM/Calculemus.
Liming Zhu,
He Zhang,
D. Ross Jeffery,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013
.
Liming Zhu,
He Zhang,
Mark Staples,
2012,
2012 International Conference on Software and System Process (ICSSP).
Gernot Heiser,
Gerwin Klein,
Anna Lyons,
2016
.
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2012
.
D. Ross Jeffery,
Mark Staples,
Gerwin Klein,
2015,
Inf. Softw. Technol..
Gerwin Klein,
Gerwin Klein,
2003,
Ausgezeichnete Informatikdissertationen.
Gerwin Klein,
G. Klein,
2010,
ITP.
Gerwin Klein,
June Andronick,
Gerwin Klein,
2011
.
Toby Murray,
Gerwin Klein,
June Andronick,
2012
.
Tobias Nipkow,
Gerwin Klein,
2014
.
Gernot Heiser,
Darren D. Cofer,
Michael W. Whalen,
2018,
Computer.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2001,
Concurr. Comput. Pract. Exp..
Manuel M. T. Chakravarty,
Gerwin Klein,
Simon Winwood,
2006,
LOPSTR.
Gernot Heiser,
Gabriele Keller,
Gerwin Klein,
2017,
PLOS@SOSP.
Tobias Nipkow,
Gerwin Klein,
2014
.
Gerwin Klein,
Matthias Daum,
Nelson Billing,
2014,
Formal Aspects of Computing.
Gerwin Klein,
Hira Taqdees Syeda,
Gerwin Klein,
2018,
ITP.
Gerwin Klein,
Thomas Sewell,
Simon Winwood,
2010
.
Leonard J. Bass,
D. Ross Jeffery,
Mark Staples,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2010
.
Lawrence C. Paulson,
Gerwin Klein,
Jia Meng,
2007,
VERIFY.
Andrei Popescu,
Jeremy Avigad,
Gregor Snelting,
2018,
Journal of Automated Reasoning.
Gerwin Klein,
Martin Wildmoser,
Gerwin Klein,
2003,
Journal of Automated Reasoning.
Martin Strecker,
Gerwin Klein,
Gerwin Klein,
2004,
J. Log. Algebraic Methods Program..
Gernot Heiser,
Gerwin Klein,
Harvey Tuch,
2005,
HotOS.
Xin Gao,
Rafal Kolanski,
Gerwin Klein,
2016,
Arch. Formal Proofs.
Gerwin Klein,
2014
.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013,
PLOS '13.
Gerwin Klein,
Gerwin Klein,
G. Klein,
2010,
VSTTE.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2014,
Springer International Publishing.
Tobias Nipkow,
Gerwin Klein,
Leonor Prensa Nieto,
2002
.
D. Ross Jeffery,
Mark Staples,
Gerwin Klein,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Tobias Nipkow,
Gerwin Klein,
2014
.
Gerwin Klein,
Gerwin Klein,
2010,
APLAS.
Bernhard Beckert,
Gerwin Klein,
Bernhard Beckert,
2008
.
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2012
.
Kevin Elphinstone,
Gerwin Klein,
Dhammika Elkaduwe,
2008,
VSTTE.
Tobias Nipkow,
Gerwin Klein,
2005,
Arch. Formal Proofs.
Magnus O. Myreen,
Gerwin Klein,
Thomas Arthur Leck Sewell,
2013,
PLDI.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2014
.
Bastian Schlich,
Gerwin Klein,
Ralf Huuck,
2003,
Electron. Notes Theor. Comput. Sci..
Yutaka Nagashima,
Gabriele Keller,
Gerwin Klein,
2016,
ITP.
Tobias Nipkow,
Gerwin Klein,
2014
.
Gerwin Klein,
2012,
Software Safety and Security.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015,
FM.
Rafal Kolanski,
Gerwin Klein,
2006,
CATS.
Gerwin Klein,
Thomas Sewell,
Simon Winwood,
2011,
HotOS.
Tobias Nipkow,
Gerwin Klein,
2013
.
Gerwin Klein,
Andrew Boyton,
Matthew Fernandez,
2014
.
Gerwin Klein,
June Andronick,
Gerwin Klein,
2012
.
Tobias Nipkow,
Gerwin Klein,
2002
.
Rafal Kolanski,
Gerwin Klein,
Andrew Boyton,
2012,
ITP.
Gerwin Klein,
Ihor Kuz,
Matthew Fernandez,
2012
.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2001,
FoSSaCS.
Gernot Heiser,
Gerwin Klein,
Toby C. Murray,
2012,
IEEE Security & Privacy.
Gerwin Klein,
Hira Syeda,
G. Klein,
2017,
LPAR.
Bernhard Beckert,
Gerwin Klein,
2008,
VERIFY.
Michael Norrish,
Gerwin Klein,
Harvey Tuch,
2007,
POPL '07.
Gerwin Klein,
Callum Bannister,
Peter Höfner,
2018,
ITP.
Gerwin Klein,
Gerwin Klein,
G. Klein,
2009
.
Tobias Nipkow,
Gerwin Klein,
T. Nipkow,
2006,
TOPL.
Tobias Nipkow,
Gerwin Klein,
Sebastian Nanz,
2004,
IFIP TCS.
Gerwin Klein,
Ihor Kuz,
Adam Walker,
2010,
APSys '10.
Gerwin Klein,
2009,
login Usenix Mag..
Gerwin Klein,
Ralf Huuck,
Schlich Bastian,
2009
.
Gernot Heiser,
Gerwin Klein,
Ihor Kuz,
2018,
Commun. ACM.
Toby Murray,
Gerwin Klein,
Ihor Kuz,
2013
.