Gary T. Leavens

Citado por

	Total	Desde 2020
Citas	12735	1518
Índice h	52	18
Índice i10	126	33

820

410

205

615

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 46 90 84 114 133 156 177 212 225 356 358 451 648 711 808 706 723 682 680 549 553 539 488 446 337 373 249 240 360 348 251 290 27

Acceso público

Ver todo

11 artículos

6 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Yoonsik CheonThe University of Texas at El PasoDirección de correo verificada de utep.edu
Erik PollRadboud University NijmegenDirección de correo verificada de cs.ru.nl
Peter MüllerETH ZurichDirección de correo verificada de inf.ethz.ch
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairDirección de correo verificada de acm.org
Hridesh RajanDean, Tulane University School of Science and EngineeringDirección de correo verificada de acm.org
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauDirección de correo verificada de cs.uni-kl.de
Murali SitaramanProfessor of Computer Science, Clemson UniversityDirección de correo verificada de clemson.edu
Todd MillsteinProfessor of Computer Science, UCLADirección de correo verificada de cs.ucla.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoDirección de correo verificada de cin.ufpe.br
Amirfarhad NilizadehPh.D., Advanced Micro Devices (AMD)Dirección de correo verificada de amd.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonDirección de correo verificada de cs.washington.edu
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)Dirección de correo verificada de cin.ufpe.br
Tim WahlsDickinson CollegeDirección de correo verificada de dickinson.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéDirección de correo verificada de irif.fr
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKDirección de correo verificada de acm.org
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyDirección de correo verificada de cs.stevens.edu
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeDirección de correo verificada de pomona.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Mehdi BagherzadehAssociate Professor of Computer Science, Oakland UniversityDirección de correo verificada de oakland.edu
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateDirección de correo verificada de ksu.edu

Seguir

Gary T. Leavens

Professor, University of Central Florida

Dirección de correo verificada de cs.ucf.edu - Página principal

Programming Languages Formal Methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1165	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	896	2005
JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999	606	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	469	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	442	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	359	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	352	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	344	1995
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	322	2008
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	303*	2006
Forcing behavioral subtyping through specification inheritance KK Dhara, GT Leavens Proceedings of IEEE 18th International Conference on Software Engineering …, 1996	293	1996
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	283	2003
Design by Contract with JML GT Leavens, Y Cheon	260	2006
@ 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	257	2012
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
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	242	2009
A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, G Leavens	238	2002
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	199	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores