D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 50 Citations 12,068 166 World Ranking 2958 National Ranking 1565

Research.com Recognitions

Awards & Achievements

2006 - ACM Senior Member

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Object-oriented programming
  • Operating system

His primary scientific interests are in Programming language, Java, Java Modeling Language, Formal specification and Design by contract. As part of his studies on Programming language, Gary T. Leavens often connects relevant areas like Theoretical computer science. His studies deal with areas such as Random testing, Multiple dispatch, Double dispatch, Predicate dispatch and Visitor pattern as well as Java.

Gary T. Leavens combines subjects such as Correctness, Programmer, Unit testing, Documentation and Extreme programming with his study of Java Modeling Language. As a part of the same scientific study, Gary T. Leavens usually deals with the Design by contract, concentrating on Postcondition and frequently concerns with Test case, Software verification, Verification and Class invariant. Gary T. Leavens interconnects Debugging, Static analysis and Interface in the investigation of issues within Specification language.

His most cited work include:

  • Preliminary design of JML: a behavioral interface specification language for java (757 citations)
  • An overview of JML tools and applications (657 citations)
  • JML: A Notation for Detailed Design (380 citations)

What are the main themes of his work throughout his whole career to date?

Programming language, Java, Software engineering, Java Modeling Language and Formal specification are his primary areas of study. His study ties his expertise on Theoretical computer science together with the subject of Programming language. His study looks at the relationship between Java and fields such as Class, as well as how they intersect with chemical problems.

The various areas that he examines in his Software engineering study include Software system and Software. The study incorporates disciplines such as Abstraction, Correctness, Assertion and Design by contract in addition to Java Modeling Language. His Specification language research includes themes of Programming language specification and Interface.

He most often published in these fields:

  • Programming language (75.53%)
  • Java (22.36%)
  • Software engineering (18.14%)

What were the highlights of his more recent work (between 2012-2019)?

  • Programming language (75.53%)
  • Software engineering (18.14%)
  • Java (22.36%)

In recent papers he was focusing on the following fields of study:

His main research concerns Programming language, Software engineering, Java, Modularity and Aspect-oriented programming. His study on Programming language is mostly dedicated to connecting different topics, such as Code. The Software engineering study combines topics in areas such as Modularity, Correctness, Software requirements specification and Aspect-oriented software development.

His Java research is multidisciplinary, incorporating perspectives in Standardization, Mathematical proof and Postcondition. His studies examine the connections between Design by contract and genetics, as well as such issues in Specification language, with regards to Engineering drawing, Mechanism and Formal methods. His Assertion research is multidisciplinary, incorporating elements of Java Modeling Language and Semantics.

Between 2012 and 2019, his most popular works were:

  • Behavioral Subtyping, Specification Inheritance, and Modular Reasoning (46 citations)
  • AspectJML: modular specification and runtime checking for crosscutting contracts (16 citations)
  • Modular aspect-oriented design rule enforcement with XPIDRs (9 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Object-oriented programming
  • Operating system

Gary T. Leavens mainly investigates Programming language, Aspect-oriented programming, AspectJ, Design by contract and Compiler. His work carried out in the field of Programming language brings together such families of science as Iterative and incremental development and Theoretical computer science. Gary T. Leavens interconnects Inductive programming, Reactive programming, Functional logic programming, Class and Modular design in the investigation of issues within Aspect-oriented programming.

His Design by contract research is multidisciplinary, incorporating perspectives in Correctness and Specification language. Gary T. Leavens has researched Correctness in several fields, including Java, Formal methods, Java Modeling Language and Vienna Development Method. His Compiler study integrates concerns from other disciplines, such as Program transformation, Functional verification and Bytecode, Code.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

An overview of JML tools and applications

Lilian Burdy;Yoonsik Cheon;David Cok;Michael D. Ernst.
Electronic Notes in Theoretical Computer Science (2003)

1137 Citations

Preliminary design of JML: a behavioral interface specification language for java

Gary T. Leavens;Albert L. Baker;Clyde Ruby.
ACM Sigsoft Software Engineering Notes (2006)

1097 Citations

An overview of JML tools and applications

Lilian Burdy;Yoonsik Cheon;David R. Cok;Michael D. Ernst.
formal methods for industrial critical systems (2005)

1053 Citations

JML: A Notation for Detailed Design

Gary T. Leavens;Albert L. Baker;Clyde Ruby.
Behavioral Specifications of Businesses and Systems (1999)

579 Citations

MultiJava: modular open classes and symmetric multiple dispatch for Java

Curtis Clifton;Gary T. Leavens;Craig Chambers;Todd Millstein.
conference on object-oriented programming systems, languages, and applications (2000)

433 Citations

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Yoonsik Cheon;Gary T. Leavens.
european conference on object oriented programming (2002)

419 Citations

On binary methods

Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens.
Theory and Practice of Object Systems (1995)

364 Citations

Beyond assertions: advanced specification and verification with JML and ESC/Java2

Patrice Chalin;Joseph R. Kiniry;Gary T. Leavens;Erik Poll.
formal methods (2005)

319 Citations

Forcing behavioral subtyping through specification inheritance

Krishna Kishore Dhara;Gary T. Leavens.
international conference on software engineering (1996)

281 Citations

Foundations of Component-Based Systems

Gary T. Leavens;Murali Sitaraman.
(2000)

243 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Gary T. Leavens

Bart Jacobs

Bart Jacobs

Radboud University Nijmegen

Publications: 56

K. Rustan M. Leino

K. Rustan M. Leino

Amazon Web Services

Publications: 49

Peter Müller

Peter Müller

ETH Zurich

Publications: 43

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 32

Bertrand Meyer

Bertrand Meyer

Schaffhausen Institute of Technology

Publications: 30

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 30

Jonathan Aldrich

Jonathan Aldrich

Carnegie Mellon University

Publications: 29

Wolfram Schulte

Wolfram Schulte

Microsoft (United States)

Publications: 29

Frank Piessens

Frank Piessens

KU Leuven

Publications: 25

Frank S. de Boer

Frank S. de Boer

Centrum Wiskunde & Informatica

Publications: 25

Martin Rinard

Martin Rinard

MIT

Publications: 22

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 21

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 20

Carlo Ghezzi

Carlo Ghezzi

Politecnico di Milano

Publications: 20

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 19

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 19

Something went wrong. Please try again later.