Gary T. Leavens
发表
Davide Ancona,
Elena Zucca,
Sophia Drossopoulou,
2006,
ECOOP Workshops.
Gary T. Leavens,
Sudipto Ghosh,
G. Leavens,
2015,
MODULARITY.
Gary T. Leavens,
G. Leavens,
1991
.
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
2005
.
Daniel M. Zimmerman,
Gary T. Leavens,
Thomas Thüm,
2014,
MODULARITY.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
1996,
Proceedings of IEEE 18th International Conference on Software Engineering.
Gary T. Leavens,
Robert Dyer,
Mehdi Bagherzadeh,
2011,
FOAL.
Gary T. Leavens,
Faraz Hussain,
G. Leavens,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Gary T. Leavens,
Hridesh Rajan,
Mehdi Bagherzadeh,
2011,
AOSD '11.
Gary T. Leavens,
K. Rustan M. Leino,
Peter Müller,
2007,
Formal Aspects of Computing.
Pierre America,
Gary T. Leavens,
Derek Coleman,
1991,
OOPSLA '91.
Gary T. Leavens,
Henrique Rebêlo,
2015,
MODULARITY.
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2003,
Concurr. Comput. Pract. Exp..
Gary T. Leavens,
José Sánchez,
2013,
SC@STAF.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
1992
.
Gary T. Leavens,
Curtis Clifton,
2002
.
Gary T. Leavens,
Tim Wahls,
2000
.
Gary T. Leavens,
Susan Eisenbach,
2001,
Concurr. Comput. Pract. Exp..
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
2000
.
Gary T. Leavens,
Olga Antropova,
1998
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2004
.
Gary T. Leavens,
Aspect-Oriented Reasoning,
2002
.
Gary T. Leavens,
G. Leavens,
1994
.
Sophia Drossopoulou,
Gary T. Leavens,
Peter Müller,
2009
.
Gary T. Leavens,
Henrique Rebêlo,
2017,
SBLP.
Gary T. Leavens,
Hridesh Rajan,
G. Leavens,
2008,
ECOOP.
Gary T. Leavens,
Roberta Coelho,
Marieke Huisman,
2011,
FTfJP@ECOOP.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
2001
.
Murali Sitaraman,
Gary T. Leavens,
G. Leavens,
2000
.
Gary T. Leavens,
Kristina P. Boysen,
2008
.
Maurice Herlihy,
Gary T. Leavens,
Barbara Liskov,
1987
.
Gidon Ernst,
Gary T. Leavens,
Yuyan Bao,
2015,
FTfJP@ECOOP.
Gary T. Leavens,
Mitchell Wand,
Curtis Clifton,
2003
.
Gary T. Leavens,
Hridesh Rajan,
David R. Cok,
2019,
ArXiv.
Gary T. Leavens,
Hridesh Rajan,
2015
.
Gary T. Leavens,
G. Leavens,
2006,
ICFEM.
Gary T. Leavens,
David A. Naumann,
Steve M. Shaner,
2007,
OOPSLA.
Gary T. Leavens,
Jonathan Edwards,
2012,
SPLASH 2012.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1995,
Acta Informatica.
Gary T. Leavens,
José Sánchez,
2016,
MODULARITY.
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
SIGP.
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2017,
SETSS.
Gary T. Leavens,
Neeraj S. Khanolkar,
2006
.
Gary T. Leavens,
David R. Cok,
Yoonsik Cheon,
2003,
Sci. Comput. Program..
Alexandre Mota,
Gary T. Leavens,
Henrique Rebêlo,
2009
.
Gary T. Leavens,
Erik Poll,
Joseph Kiniry,
2007,
CAV.
Gary T. Leavens,
Erik Poll,
Peter Müller,
2006,
ECOOP Workshops.
C. A. R. Hoare,
Natarajan Shankar,
Jayadev Misra,
2009,
CSUR.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1994,
TSEM.
Oscar Nierstrasz,
Murali Sitaraman,
Gary T. Leavens,
1998,
SOEN.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1996
.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2002,
ECOOP.
Gary T. Leavens,
Jeannette M. Wing,
1997,
TAPSOFT.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1997,
Formal Aspects of Computing.
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC/SIGSOFT FSE.
Gary T. Leavens,
Yuyan Bao,
2018,
Principled Software Development.
Gary T. Leavens,
1989
.
Gary T. Leavens,
Yoonsik Cheon,
Yoshiki Hayashi,
2003
.
Gary T. Leavens,
G. Leavens,
2002
.
Albert L. Baker,
Gary T. Leavens,
A. L. Baker,
1999,
Behavioral Specifications of Businesses and Systems.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1994,
J. Object Oriented Program..
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Gary T. Leavens,
2010,
FoSER '10.
Gary T. Leavens,
Todd D. Millstein,
G. Leavens,
1998,
OOPSLA '98.
Gary T. Leavens,
2007,
ASE '07.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
James R. Larus,
Stephen N. Freund,
Eric Allen,
2008,
SIGP.
Gidon Ernst,
Gary T. Leavens,
Yuyan Bao,
2014
.
John Tang Boyland,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2007,
ECOOP Workshops.
Stephen H. Edwards,
Murali Sitaraman,
Gary T. Leavens,
2005,
Softw. Pract. Exp..
Gary T. Leavens,
Erik Poll,
Patrice Chalin,
2005,
FMCO.
Gary T. Leavens,
Krishna Kishore Dhara,
G. Leavens,
2001
.
Gary T. Leavens,
Curtis Clifton,
2005,
VSTTE.
Gary T. Leavens,
Tomoyuki Aotani,
2016,
FTfJP@ECOOP.
Gary T. Leavens,
Peter Müller,
Erik Poll,
2003,
ECOOP Workshops.
Gary T. Leavens,
Alexandre Mota,
Henrique Reb,
2010
.
Gary T. Leavens,
Hridesh Rajan,
Robert Dyer,
2011,
AOSD '11.
Gary T. Leavens,
1991,
IEEE Software.
Gary T. Leavens,
2000,
SOEN.
Gary T. Leavens,
Todd D. Millstein,
Craig Chambers,
2000,
OOPSLA '00.
Gary T. Leavens,
John L. Singleton,
2016
.
Gary T. Leavens,
Craig Chambers,
C. Chambers,
1994,
OOPSLA '94.
Gary T. Leavens,
Krishna Kishore Dhara,
1995,
MFPS.
Sophia Drossopoulou,
Gary T. Leavens,
Erik Poll,
2001,
ECOOP Workshops.
Gary T. Leavens,
Erik Poll,
Joseph R. Kiniry,
2007,
CAV 2007.
Gary T. Leavens,
Krishna Kishore Dhara,
2000
.
Jan Vitek,
Gary T. Leavens,
Tomas Kalibera,
2010,
PLPV '10.
Gary T. Leavens,
2010,
OOPSLA '10.
Gary T. Leavens,
G. Leavens,
2001
.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2003
.
Tom Ridge,
Frank Piessens,
Bart Jacobs,
2011
.
Gary T. Leavens,
Craig Chambers,
1995,
ACM Trans. Program. Lang. Syst..
Gregory Kulczycki,
Murali Sitaraman,
Gary T. Leavens,
2003
.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2003
.
Gary T. Leavens,
Steven L. Jenkins,
1995
.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1991,
MFPS.
Gary T. Leavens,
Jia Tao,
Hridesh Rajan,
2009
.
Gary T. Leavens,
Faraz Hussain,
Ghaith Haddad,
2010,
JTRES '10.
Gary T. Leavens,
Medhat Assaad,
2001
.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2006
.
Gary T. Leavens,
2008,
SIGP.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1993
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1994
.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1997,
US-Brazil Joint Workshops on the Formal Foundations of Software Systems.
Peter Gorm Larsen,
Gary T. Leavens,
Peter Würtz Vinther Tran-Jørgensen,
2017,
International Journal on Software Tools for Technology Transfer.
Luca Cardelli,
Gary T. Leavens,
Giuseppe Castagna,
1995,
Theory Pract. Object Syst..
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2005
.
Gary T. Leavens,
Yoonsik Cheon,
1994
.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
International Journal on Software Tools for Technology Transfer.
Pierre America,
Gary T. Leavens,
Derek Coleman,
1991,
OOPSLA 1991.
Gary T. Leavens,
Curtis Clifton,
G. Leavens,
2006,
Sci. Comput. Program..
Gary T. Leavens,
Ghaith Haddad,
2013,
Concurr. Comput. Pract. Exp..
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
2005,
AADEBUG'05.
Gidon Ernst,
Gary T. Leavens,
Yuyan Bao,
2018,
Formal Aspects of Computing.
Gary T. Leavens,
Hridesh Rajan,
2008
.
Gary T. Leavens,
Yoonsik Cheon,
1994
.
Todd Millstein,
Gary T. Leavens,
Craig Chambers,
2000
.
Gary T. Leavens,
Tomoyuki Aotani,
Hridesh Rajan,
2016,
ISoLA.
Murali Sitaraman,
Gary T. Leavens,
Dimitra Giannakopoulou,
2001
.
Gary T. Leavens,
Curtis Clifton,
2007,
SPLAT.
Simon L. Peyton Jones,
Cliff B. Jones,
Murali Sitaraman,
2006,
GPCE '06.
Albert L. Baker,
Gary T. Leavens,
A. L. Baker,
2006,
SOEN.
Gary T. Leavens,
Rochelle Elva,
2012,
2012 6th International Workshop on Software Clones (IWSC).
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Peter Müller,
2006,
Sci. Comput. Program..
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2015,
ACM Trans. Program. Lang. Syst..
Matthew B. Dwyer,
Gary T. Leavens,
2010
.
Gary T. Leavens,
Shigeru Chiba,
Éric Tanter,
2013,
Lecture Notes in Computer Science.
Gary T. Leavens,
Shmuel Katz,
Hidehiko Masuhara,
2012,
FOAL.
Gary T. Leavens,
Giuseppe Castagna,
1990,
Lecture Notes in Computer Science.
Gary T. Leavens,
G. Leavens,
2012,
SPLASH 2012.
Daniel M. Zimmerman,
Gary T. Leavens,
Thomas Thüm,
2014,
MODULARITY.
Gary T. Leavens,
Yoonsik Cheon,
2004
.
Sophia Drossopoulou,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2000,
ECOOP Workshops.
Gary T. Leavens,
Shail Arora,
2009,
OOPSLA.
Matthew B. Dwyer,
Gary T. Leavens,
Cormac Flanagan,
2005,
ECOOP.
Gary T. Leavens,
1995
.
Albert L. Baker,
Gary T. Leavens,
A. L. Baker,
1999,
World Congress on Formal Methods.
Gary T. Leavens,
2005
.
Gary T. Leavens,
Hridesh Rajan,
Steve M. Shaner,
2008
.
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heter,
2001
.
Gary T. Leavens,
José Sánchez,
2014,
FOAL.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2003
.
Gary T. Leavens,
Craig Chambers,
1994
.
Gary T. Leavens,
Erik Poll,
R. Kiniry,
2007
.
Gary T. Leavens,
G. Leavens,
1991,
OOPS.
Stephen H. Edwards,
Murali Sitaraman,
Gary T. Leavens,
2005
.
Gary T. Leavens,
Arun D. Raghavan,
G. Leavens,
2005
.
Bart Jacobs,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
1999,
ECOOP Workshops.
Sophia Drossopoulou,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2006,
ECOOP Workshops.
Peter H. Schmitt,
Gary T. Leavens,
Jooyong Yi,
2013,
NII Shonan Meet. Rep..
Gary T. Leavens,
John L. Singleton,
G. Leavens,
2014,
ICSE Companion.
Gary T. Leavens,
Eric Bodden,
Hidehiko Masuhara,
2014,
FOAL.
Gary T. Leavens,
Hridesh Rajan,
Robert Dyer,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Gary T. Leavens,
G. Leavens,
1996
.
Michael D. Ernst,
Gary T. Leavens,
K. Rustan M. Leino,
2003,
Electron. Notes Theor. Comput. Sci..
Gary T. Leavens,
John L. Singleton,
2016,
2016 IEEE 17th International Conference on Information Reuse and Integration (IRI).
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1998
.
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC-FSE '07.
Gary T. Leavens,
K. Rustan M. Leino,
Peter Müller,
2012,
CSUR.
Gary T. Leavens,
2002
.
Gary T. Leavens,
1999
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2005
.
Gary T. Leavens,
David R. Cok,
Yoonsik Cheon,
2005
.
Gary T. Leavens,
Peter Müller,
G. Leavens,
2007,
29th International Conference on Software Engineering (ICSE'07).
Gary T. Leavens,
Curtis Clifton,
2002
.
Gary T. Leavens,
Tim Wahls,
2001,
SAC.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
2000,
Automated Software Engineering.
Bart Jacobs,
Gary T. Leavens,
K. Rustan M. Leino,
2000,
OOPSLA '00.
Frank Piessens,
Gary T. Leavens,
Bart Jacobs,
2011,
J. Object Technol..
Gary T. Leavens,
Kristina B. Taylor,
Johannes Rieken,
2008
.
Gary T. Leavens,
David R. Cok,
2008
.
Pierre America,
Gary T. Leavens,
Derek Coleman,
1991,
OOPSLA 1991.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1990,
OOPSLA/ECOOP '90.
Gary T. Leavens,
Yoonsik Cheon,
G. Leavens,
1992,
Larch.
Gary T. Leavens,
Martine Ceberio,
Yoonsik Cheon,
2008,
SEKE.
Gary T. Leavens,
Darko Marinov,
Lin Tan,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Gary T. Leavens,
Todd D. Millstein,
Craig Chambers,
2006,
TOPL.
Gary T. Leavens,
G. Leavens,
1990
.
Gary T. Leavens,
G. Leavens,
2006,
J. Object Technol..
Gary T. Leavens,
Hridesh Rajan,
David R. Cok,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Gary T. Leavens,
Ricardo Massa Ferreira Lima,
Henrique Rebêlo,
2013,
Sci. Comput. Program..
Gary T. Leavens,
David A. Naumann,
D. Naumann,
2006
.
Gary T. Leavens,
Ricardo Massa Ferreira Lima,
Henrique Rebêlo,
2013,
SPLASH '13.
Gary T. Leavens,
G. Leavens,
1993
.
Sophia Drossopoulou,
Atsushi Igarashi,
Gary T. Leavens,
2008,
ECOOP Workshops.
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,
Erik Poll,
Bart Jacobs,
2000
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1999,
SAC '99.
Gary T. Leavens,
Giuseppe Castagna,
1995,
SIGP.
Gary T. Leavens,
James Noble,
Curtis Clifton,
2007,
ECOOP.
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,
1996
.
Gary T. Leavens,
2004,
PASTE '04.
Gary T. Leavens,
Craig Chambers,
1994,
OOPSLA 1994.
Gary T. Leavens,
G. Leavens,
2012,
SPLASH '12.
Wojciech Mazurczyk,
Gary T. Leavens,
Cliff Zou,
2017,
2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Gary T. Leavens,
Hridesh Rajan,
Jia Tao,
2009,
ESOP.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
1997,
Theor. Comput. Sci..
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1996
.
Gary T. Leavens,
Don Pigozzi,
G. Leavens,
2000,
Acta Informatica.
Gary T. Leavens,
Clyde Ruby,
2000,
OOPSLA.
Gary T. Leavens,
Márcio Ribeiro,
Paulo Borba,
2013,
FOAL.
Gary T. Leavens,
Ghaith Haddad,
2011,
JTRES '11.
Gary T. Leavens,
G. Leavens,
1994,
IDL '94.
Gary T. Leavens,
G. Leavens,
1984,
SIGP.
Gary T. Leavens,
Hridesh Rajan,
Mehdi Bagherzadeh,
2010,
SPLASH/OOPSLA Companion.
Gary T. Leavens,
Clyde Ruby,
1997
.
Gary T. Leavens,
1994
.
Gary T. Leavens,
Steven L. Jenkins,
1996,
Comput. Lang..
Gary T. Leavens,
David R. Cok,
Yoonsik Cheon,
2002,
FMCO.
Gary T. Leavens,
Brian Dorn,
2007
.
Gary T. Leavens,
William E. Weihl,
W. Weihl,
1994
.
Proceedings of the Third international conference on Verified software: theories, tools, experiments
Peter W. O'Hearn,
Gary T. Leavens,
Sriram K. Rajamani,
2010
.
Gary T. Leavens,
Corina S. Pasareanu,
Amirfarhad Nilizadeh,
2021,
TAP@STAF.
Wojciech Mazurczyk,
Gary T. Leavens,
Shirin Nilizadeh,
2021,
J. Cyber Secur. Mobil..
Natarajan Shankar,
Jayadev Misra,
Gary T. Leavens,
2021,
Theories of Programming.
Gary T. Leavens,
Corina S. Pasareanu,
David R. Cok,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Gary T. Leavens,
Ghaith Haddad,
2008
.
Gary T. Leavens,
Mitchell Wand,
Curtis Clifton,
2003
.
Gary T. Leavens,
G. Leavens,
Mike Vermeulen,
1992
.
Gary T. Leavens,
Rochelle Elva,
G. Leavens,
2012
.
Albert L. Baker,
Gary T. Leavens,
Tim Wahls,
1997
.
Gary T. Leavens,
G. Leavens,
1994
.
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
2003,
ECOOP Workshops.
Gary T. Leavens,
Mehdi Bagherzadeh,
USA mbagherz,
2009
.
Gary T. Leavens,
David A. Naumann,
Stan Rosenberg,
2007
.
Gary T. Leavens,
K. Rustan M. Leino,
Gary T. Leavens,
2017
.
Gary T. Leavens,
Gary T. Leavens,
2006
.
Gary T. Leavens,
Jeannette M. Wing,
G. Leavens,
1999
.
Gary T. Leavens,
G. Leavens,
1998
.
Gary T. Leavens,
Gary T. Leavens,
G. Leavens,
1999
.
Gary T. Leavens,
Xuan-Bach D. Le,
C. Pasareanu,
2020
.
Gary T. Leavens,
Shmuel Katz,
G. Leavens,
2008
.
Gary T. Leavens,
D. Cok,
Amirfarhad Nilizadeh,
2022,
FTfJP@ECOOP.
Gary T. Leavens,
G. Leavens,
1995
.
Gary T. Leavens,
Gary T. Leavens,
Clyde Ruby,
2006
.
Gary T. Leavens,
Mike Barnett,
D. Giannakopoulou,
2004
.