Gary T. Leavens

Cited by

	All	Since 2019
Citations	12622	1676
h-index	52	19
i10-index	126	37

820

410

205

615

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 46 90 84 114 133 156 175 212 224 328 385 447 648 710 809 706 720 684 673 550 552 539 486 446 336 370 254 238 358 347 254 222

Public access

View all

10 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Hridesh RajanDean, Tulane University School of Science and EngineeringVerified email at acm.org
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauVerified email at cs.uni-kl.de
Murali SitaramanProfessor of Computer Science, Clemson UniversityVerified email at clemson.edu
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Amirfarhad NilizadehPh.D., Advanced Micro Devices (AMD)Verified email at amd.com
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)Verified email at cin.ufpe.br
Tim WahlsDickinson CollegeVerified email at dickinson.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Mehdi BagherzadehAssociate Professor of Computer Science, Oakland UniversityVerified email at oakland.edu
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateVerified email at ksu.edu

Gary T. Leavens

Professor, University of Central Florida

Verified email at cs.ucf.edu - Homepage

Programming Languages Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Preliminary design of JML: A behavioral interface specification language for Java GT Leavens, AL Baker, C Ruby ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006	1160	2006
An overview of JML tools and applications L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ... International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005	889	2005
JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999	600	1999
A simple and practical approach to unit testing: The JML and JUnit way Y Cheon, GT Leavens ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	461	2002
MultiJava: Modular open classes and symmetric multiple dispatch for Java C Clifton, GT Leavens, C Chambers, T Millstein Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000	440	2000
Beyond assertions: Advanced specification and verification with JML and ESC/Java2 P Chalin, J Kiniry, G Leavens, E Poll Formal Methods for Components and Objects, 342-363, 2006	356	2006
An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003	350	2003
On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	341	1995
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	321	2008
Forcing behavioral subtyping through specification inheritance KK Dhara, GT Leavens Proceedings of IEEE 18th International Conference on Software Engineering …, 1996	292	1996
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	290*	2006
How the design of JML accommodates both runtime assertion checking and formal verification G Leavens, Y Cheon, C Clifton, C Ruby, D Cok Formal Methods for Components and Objects, 262-284, 2003	279	2003
Design by Contract with JML GT Leavens, Y Cheon	259	2006
JML (poster session) notations and tools supporting detailed design in JAVA GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000	253	2000
Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000	244	2000
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies SH Tan, D Marinov, L Tan, GT Leavens 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	243	2012
A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, G Leavens	238	2002
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009	236	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	195	2006
Specification and verification challenges for sequential object-oriented programs GT Leavens, KRM Leino, P Müller Formal Aspects of Computing 19 (2), 159-189, 2007	187	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors