June Andronick
发表
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2009,
SOSP '09.
Xin Gao,
Gerwin Klein,
June Andronick,
2013,
ICFEM.
Toby Murray,
Gerwin Klein,
June Andronick,
2011
.
Gerwin Klein,
June Andronick,
Andrew Boyton,
2012
.
Gernot Heiser,
Kevin Elphinstone,
Rafal Kolanski,
2014,
TOCS.
Gernot Heiser,
Gerwin Klein,
Daniel Potts,
2014
.
Michael Norrish,
Gerwin Klein,
David Cock,
2009,
TPHOLs.
Gerwin Klein,
June Andronick,
Andrew Boyton,
2012
.
Gerwin Klein,
June Andronick,
David Greenaway,
2014,
PLDI.
June Andronick,
Christine Paulin-Mohring,
Boutheina Chetali,
2005,
FM.
D. Ross Jeffery,
Mark Staples,
Rafal Kolanski,
2014,
ESEM '14.
Gerwin Klein,
June Andronick,
Gerwin Klein,
2012
.
Kevin Elphinstone,
June Andronick,
David Greenaway,
2010,
SSV.
Gerwin Klein,
June Andronick,
Thomas Sewell,
2011,
ITP.
June Andronick,
Quang Huy Nguyen,
2008,
SAC '08.
Sooyong Park,
Raquel M. Pillat,
Liming Zhu,
2012,
ICSSP.
Carroll Morgan,
June Andronick,
Corey Lewis,
2015,
MARS.
June Andronick,
June Andronick,
2010,
FoVeOOS.
Gerwin Klein,
June Andronick,
2011
.
Olivier Ly,
June Andronick,
Boutheina Chetali,
2003,
TPHOLs.
Gerwin Klein,
June Andronick,
David Greenaway,
2012,
ITP.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015
.
Toby Murray,
Gabriele Keller,
Gerwin Klein,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Leonid Ryzhyk,
Gernot Heiser,
Kevin Elphinstone,
2010,
STC '10.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2010,
Commun. ACM.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2006
.
Liming Zhu,
He Zhang,
D. Ross Jeffery,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013
.
June Andronick,
June Andronick,
2019,
FM.
Liming Zhu,
He Zhang,
Mark Staples,
2012,
2012 International Conference on Software and System Process (ICSSP).
June Andronick,
2017
.
D. Ross Jeffery,
Mark Staples,
Gerwin Klein,
2015,
Inf. Softw. Technol..
Gerwin Klein,
June Andronick,
Gerwin Klein,
2011
.
Toby Murray,
Gerwin Klein,
June Andronick,
2012
.
Gernot Heiser,
Darren D. Cofer,
Michael W. Whalen,
2018,
Computer.
June Andronick,
2006
.
Carroll Morgan,
June Andronick,
Corey Lewis,
2016,
ITP.
Leonard J. Bass,
D. Ross Jeffery,
Mark Staples,
2013,
2013 35th International Conference on Software Engineering (ICSE).
June Andronick,
June Andronick,
2017,
CADE.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2013,
PLOS '13.
D. Ross Jeffery,
Mark Staples,
Gerwin Klein,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Gerwin Klein,
Ihor Kuz,
June Andronick,
2015,
FM.
June Andronick,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
June Andronick,
2019,
ITP.
Gerwin Klein,
June Andronick,
Gerwin Klein,
2012
.
Sidney Amani,
June Andronick,
Corey Lewis,
2017,
Arch. Formal Proofs.
Fabrice Bouquet,
Bruno Legeard,
Jacques Julliand,
2010,
IAS 2010.
Gernot Heiser,
Gerwin Klein,
Ihor Kuz,
2018,
Commun. ACM.
June Andronick,
2022,
CPP.