Gary T. Leavens

Cited by

	All	Since 2016
Citations	11414	1733
h-index	50	21
i10-index	119	40

800

400

200

600

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202133 43 90 81 113 136 156 172 205 218 351 351 430 642 694 781 706 719 700 666 567 536 533 491 455 340 341 226 215 155

Public access

View all

7 articles

5 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 RajanProfessor and Chair, Iowa State University, Dept. of Computer ScienceVerified email at acm.org
Arnd Poetzsch-HeffterProfessor für Informatik, University of KaiserslauternVerified email at cs.uni-kl.de
Murali SitaramanProfessor of Computer Science, Clemson UniversityVerified email at clemson.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
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
Mehdi BagherzadehAssistant Professor, Dept. of Computer Science, Oakland UniversityVerified email at oakland.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
Kim BruceProfessor 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
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu
Daniel M. ZimmermanResearch Engineer and Principal Investigator, Galois, Inc.Verified email at acm.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com

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	1078	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	850	2005
JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999	571	1999
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	425	2000
A simple and practical approach to unit testing: The JML and JUnit way Y Cheon, GT Leavens European Conference on Object-Oriented Programming, 231-255, 2002	408	2002
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	344	1995
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	331	2003
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	316	2006
Forcing behavioral subtyping through specification inheritance KK Dhara	276	1997
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	264	2008
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	258	2003
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	239	2000
Design by Contract with JML GT Leavens, Y Cheon	237	2006
Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000	229	2000
A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, GT Leavens	228	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	192	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	184	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	183	2007
Ptolemy: A language with quantified, typed events H Rajan, GT Leavens European Conference on Object-Oriented Programming, 155-179, 2008	157	2008
Model variables: Cleanly supporting abstraction in design by contract Y Cheon, G Leavens, M Sitaraman, S Edwards Software: Practice and Experience 35 (6), 583-599, 2005	154	2005

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 this author

Cited by

Co-authors