Gary T. Leavens

Cited by

	All	Since 2016
Citations	11110	1616
h-index	50	20
i10-index	117	39

780

390

195

585

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202133 42 88 70 92 119 138 157 185 212 349 341 414 640 697 772 704 720 709 667 561 524 534 485 453 337 339 212 204 70

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
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
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Daniel M. ZimmermanPrincipal Researcher, Galois, Inc.Verified email at acm.org
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
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
Don PigozziProfessor Emeritus of Mathematics Iowa State UniversityVerified email at iastate.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	1077	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	840	2005
JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999	565	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	423	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	410	2002
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	319	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	313	2006
Forcing behavioral subtyping through specification inheritance KK Dhara	274	1997
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	260	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	252	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	234	2000
Design by Contract with JML GT Leavens, Y Cheon	231	2006
A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, GT Leavens	229	2002
Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000	221	2000
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	188	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	182	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	180	2007
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	174	1995
Ptolemy: A language with quantified, typed events H Rajan, GT Leavens European Conference on Object-Oriented Programming, 155-179, 2008	155	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	155	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

Upload PDF

Follow this author

Cited by

Co-authors