G. Leavens
发表
G. Leavens,
2001
.
Albert L. Baker,
Gary T. Leavens,
A. L. Baker,
2006,
SOEN.
Matthew B. Dwyer,
Gary T. Leavens,
Cormac Flanagan,
2005,
ECOOP.
G. Leavens,
K. Dhara,
1994
.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1997,
Theor. Comput. Sci..
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1994,
TSEM.
G. Leavens,
D. Pigozzi,
1997
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
2000,
Automated Software Engineering.
G. Leavens,
SatisfactionTim Wahls,
Albert L. BakerTR,
2008
.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1990,
OOPSLA/ECOOP '90.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2003
.
Gary T. Leavens,
G. Leavens,
2012,
SPLASH 2012.
Gary T. Leavens,
Todd D. Millstein,
Craig Chambers,
2000,
OOPSLA '00.
Gary T. Leavens,
Arun D. Raghavan,
G. Leavens,
2005
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2005
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2004
.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2002,
ECOOP.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
International Journal on Software Tools for Technology Transfer.
C. Chambers,
G. Leavens,
T. Millstein,
2004
.
Greg Nelson,
G. Leavens,
J. Lamping,
2022
.
Leandro L. Minku,
G. Leavens,
A. Garcia,
2018
.
Gary T. Leavens,
Xuan-Bach D. Le,
C. Pasareanu,
2020
.
Gary T. Leavens,
G. Leavens,
1994
.
G. Leavens,
Yuyan Bao,
2013
.
Kim B. Bruce,
B. Pierce,
L. Cardelli,
1995
.
Peter H. Schmitt,
Gary T. Leavens,
Jooyong Yi,
2013,
NII Shonan Meet. Rep..
G. Leavens,
2022
.
G. Leavens,
Curtis Clifton,
2005
.
G. Leavens,
H. Rebêlo,
R. Lima,
2011
.
G. Leavens,
D. Pigozzi,
2002
.
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
PLPV '10.
G. Leavens,
A. Poetzsch-Heffter,
Peter Müller,
2002
.
G. Leavens,
K. Dhara,
2000
.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1999
.
Gary T. Leavens,
Erik Poll,
Peter Müller,
2006,
ECOOP Workshops.
Gary T. Leavens,
Sudipto Ghosh,
G. Leavens,
2015,
MODULARITY.
Proceedings of the Third international conference on Verified software: theories, tools, experiments
Peter W. O'Hearn,
Gary T. Leavens,
Sriram K. Rajamani,
2010
.
Sophia Drossopoulou,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2006,
ECOOP Workshops.
G. Leavens,
2014
.
G. Leavens,
M. Vermeulen,
1992
.
Gary T. Leavens,
G. Leavens,
1995
.
Bart Jacobs,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
1999,
ECOOP Workshops.
Gary T. Leavens,
G. Leavens,
2012,
SPLASH '12.
Davide Ancona,
Elena Zucca,
Sophia Drossopoulou,
2006,
ECOOP Workshops.
Frank Piessens,
Gary T. Leavens,
Bart Jacobs,
2011,
J. Object Technol..
Gary T. Leavens,
G. Leavens,
2002
.
Sean L. Mooney,
Mohammad Ali Darvish Darab,
Rex D. Fernando,
2011,
OOPSLA Companion.
A. L. Baker,
G. Leavens,
Tim Wahls,
2007
.
Mary Shaw,
Jonathan Aldrich,
Ciera Jaspan,
2011
.
Albert L. Baker,
Vasant Honavar,
Steven M. LaValle,
1998
.
Wojciech Mazurczyk,
Gary T. Leavens,
Shirin Nilizadeh,
2021,
J. Cyber Secur. Mobil..
Gary T. Leavens,
Erik Poll,
Joseph R. Kiniry,
2007,
CAV 2007.
Gary T. Leavens,
Todd D. Millstein,
Craig Chambers,
2006,
TOPL.
Gary T. Leavens,
Todd D. Millstein,
G. Leavens,
1998,
OOPSLA '98.
Gary T. Leavens,
G. Leavens,
1991,
OOPS.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2003
.
Albert L. Baker,
Vasant Honavar,
Steven M. LaValle,
1998
.
G. Leavens,
R. Cytron,
2014
.
Gary T. Leavens,
G. Leavens,
1998
.
Gary T. Leavens,
Corina S. Pasareanu,
David R. Cok,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Gary T. Leavens,
G. Leavens,
1994,
IDL '94.
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2017,
SETSS.
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2015,
ACM Trans. Program. Lang. Syst..
Gary T. Leavens,
K. Rustan M. Leino,
Peter Müller,
2012,
CSUR.
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2006
.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1995,
Acta Informatica.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
2000,
Acta Informatica.
Todd Millstein,
Gary T. Leavens,
Craig Chambers,
2000
.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1997,
US-Brazil Joint Workshops on the Formal Foundations of Software Systems.
BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing
Gary T. Leavens,
Craig Chambers,
C. Chambers,
1997
.
Gary T. Leavens,
G. Leavens,
1996
.
Luca Cardelli,
Gary T. Leavens,
Giuseppe Castagna,
1995,
Theory Pract. Object Syst..
Gary T. Leavens,
Craig Chambers,
C. Chambers,
1994,
OOPSLA '94.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1994
.
Gary T. Leavens,
G. Leavens,
1994
.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1992,
Larch.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1991,
MFPS.
Gary T. Leavens,
G. Leavens,
1991
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
2000
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1998
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1997
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1994
.
Gary T. Leavens,
G. Leavens,
1984,
SIGP.
Daniel M. Zimmerman,
Gary T. Leavens,
Thomas Thüm,
2014,
MODULARITY.
Gary T. Leavens,
Roberta Coelho,
Marieke Huisman,
2011,
FTfJP@ECOOP.
Gary T. Leavens,
Alexandre Mota,
Henrique Reb,
2010
.
Gary T. Leavens,
Hridesh Rajan,
G. Leavens,
2008,
ECOOP.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2006,
Sci. Comput. Program..
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2003
.
Murali Sitaraman,
Gary T. Leavens,
Dimitra Giannakopoulou,
2001
.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2006
.
Gary T. Leavens,
K. Rustan M. Leino,
Gary T. Leavens,
2017
.
Gary T. Leavens,
G. Leavens,
1993
.
Gary T. Leavens,
G. Leavens,
Mike Vermeulen,
1992
.
Simon L. Peyton Jones,
Cliff B. Jones,
Murali Sitaraman,
2006,
GPCE '06.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Gary T. Leavens,
Erik Poll,
Joseph Kiniry,
2007,
CAV.
Gary T. Leavens,
Erik Poll,
Bart Jacobs,
2000
.
Bart Jacobs,
Gary T. Leavens,
K. Rustan M. Leino,
2000,
OOPSLA '00.
Gary T. Leavens,
Hridesh Rajan,
Jia Tao,
2009,
ESOP.
Gary T. Leavens,
Jia Tao,
Hridesh Rajan,
2009
.
Gary T. Leavens,
Hridesh Rajan,
David R. Cok,
2019,
ArXiv.
Stephen H. Edwards,
Murali Sitaraman,
Gary T. Leavens,
2005,
Softw. Pract. Exp..
Gary T. Leavens,
Darko Marinov,
Lin Tan,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Gary T. Leavens,
Corina S. Pasareanu,
Amirfarhad Nilizadeh,
2021,
TAP@STAF.
G. Leavens,
D. Cok,
Amirfarhad Nilizadeh,
2022,
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).
Gary T. Leavens,
Erik Poll,
Patrice Chalin,
2005,
FMCO.
Gary T. Leavens,
David R. Cok,
Yoonsik Cheon,
2003,
Sci. Comput. Program..
Albert L. Baker,
Gary T. Leavens,
A. L. Baker,
1999,
Behavioral Specifications of Businesses and Systems.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Gary T. Leavens,
David R. Cok,
Yoonsik Cheon,
2002,
FMCO.
Gary T. Leavens,
G. Leavens,
2001
.
Gary T. Leavens,
Gary T. Leavens,
G. Leavens,
1999
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1993
.
A foundation for the model theory of abstract data types with mutation and aliasing (preliminary ver
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
1992
.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
1992
.
Gary T. Leavens,
G. Leavens,
1990
.
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2006,
Sci. Comput. Program..
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2005,
AADEBUG'05.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1997,
Formal Aspects of Computing.
Gary T. Leavens,
G. Leavens,
2006,
J. Object Technol..
Gary T. Leavens,
Tomoyuki Aotani,
Hridesh Rajan,
2016,
ISoLA.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1994,
J. Object Oriented Program..
Patrick Eugster,
Lukasz Ziarek,
Mario Südholt,
2016,
Lecture Notes in Computer Science.
Gary T. Leavens,
Yvonne Coady,
Simon Peyton-Jones,
2009,
OOPSLA 2009.
C. Pasareanu,
G. Leavens,
Yannic Noller,
2023,
Formal Aspects of Computing.
Gary T. Leavens,
Shmuel Katz,
G. Leavens,
2008
.
Gary T. Leavens,
Faraz Hussain,
G. Leavens,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Gary T. Leavens,
Peter Müller,
G. Leavens,
2007,
29th International Conference on Software Engineering (ICSE'07).
Gary T. Leavens,
G. Leavens,
2006,
ICFEM.
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2003,
Concurr. Comput. Pract. Exp..
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
2001
.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
2001
.
Gary T. Leavens,
James Noble,
Curtis Clifton,
2007,
ECOOP.
Gary T. Leavens,
Martine Ceberio,
Yoonsik Cheon,
2008,
SEKE.
G. Leavens,
Amirfarhad Nilizadeh,
X. Le,
2021,
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE).
Gary T. Leavens,
Hridesh Rajan,
Robert Dyer,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Steve M. Shaner,
G. Leavens,
David A. Naumann,
2007,
OOPSLA.
G. Leavens,
Peter Müller,
K. R. M. Leino,
2007,
Formal Aspects of Computing.
Gary T. Leavens,
Kristina B. Taylor,
Johannes Rieken,
2008
.
Murali Sitaraman,
Gary T. Leavens,
G. Leavens,
2000
.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
1996,
Proceedings of IEEE 18th International Conference on Software Engineering.
Stephen H. Edwards,
Murali Sitaraman,
Gary T. Leavens,
2005
.
Gary T. Leavens,
John L. Singleton,
G. Leavens,
2014,
ICSE Companion.
Gary T. Leavens,
Rochelle Elva,
G. Leavens,
2012
.
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
2003,
ECOOP Workshops.
Gary T. Leavens,
Mitchell Wand,
Curtis Clifton,
2003
.
Gary T. Leavens,
Ricardo Massa Ferreira Lima,
Henrique Rebêlo,
2013,
Sci. Comput. Program..
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
SIGP.