Gary T. Leavens

Q: What Schools Are Affiliated With Gary T. Leavens

Gary T. Leavens is affiliated with the following schools: University of Central Florida, Iowa State University, Massachusetts Institute of Technology

Gary T. Leavens's AcademicInfluence.com Rankings

Gary T. Leavens

Computer Science

#2918

World Rank

#3055

Historical Rank

#1193

USA Rank

Database

#7239

World Rank

#7490

Historical Rank

#865

USA Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Gary T. Leavens Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Gary T. Leavens is an American academic working as a professor of computer science at the University of Central Florida. Education Leavens earned a Bachelor of Science in computer and communication science from the University of Michigan, a Master of Science in computer science from the University of Southern California, and a PhD in philosophy from the Massachusetts Institute of Technology.

(See a Problem?)

Gary T. Leavens's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

An overview of JML tools and applications (2003) (923)
Preliminary design of JML: a behavioral interface specification language for java (2006) (812)
JML: A Notation for Detailed Design (1999) (530)
MultiJava: modular open classes and symmetric multiple dispatch for Java (2000) (360)
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (2002) (335)
Foundations of component-based systems (2000) (290)
Design by Contract with JML (2006) (277)
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 (2005) (253)
On Binary Methods (1995) (250)
Forcing behavioral subtyping through specification inheritance (1996) (224)
How the design of JML accommodates both runtime assertion checking and formal verification (2003) (211)
JML: notations and tools supporting detailed design in Java (2000) (173)
Behavioral interface specification languages (2012) (168)
Modular invariants for layered object structures (2006) (164)
Modular specification and verification of object-oriented programs (1991) (156)
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (2012) (155)
Specification and verification challenges for sequential object-oriented programs (2007) (145)
Ptolemy: A Language with Quantified, Typed Events (2008) (143)
Typechecking and modules for multi-methods (1994) (143)
Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning (2002) (137)
Model variables: cleanly supporting abstraction in design by contract (2005) (136)
MultiJava: Design rationale, compiler implementation, and applications (2006) (122)
Reasoning about object-oriented programs that use subtypes (1990) (116)
The 1st Verified Software Competition: Experience Report (2011) (92)
Roadmap for enhanced languages and methods to aid verification (2006) (90)
The verified software initiative: A manifesto (2009) (83)
JML's Rich, Inherited Specifications for Behavioral Subtypes (2006) (78)
Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy (2003) (78)
JML (poster session): notations and tools supporting detailed design in Java (2000) (78)
Modular specification of frame properties in JML (2003) (77)
Extending JML for Modular Specification and Verification of Multi-threaded Programs (2005) (75)
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (1999) (66)
Concepts of behavioral subtyping and a sketch of their extension to component-based systems (2000) (63)
An Overview of Larch/C++: Behavioral Specifications for C++ Modules (1996) (59)
MiniMAO: An imperative core language for studying aspect-oriented reasoning (2006) (57)
ARGUS REFERENCE MANUAL (1987) (56)
Specification and verification of object-oriented programs using supertype abstraction (1995) (54)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications (2009) (51)
MiniMAO1: Investigating the Semantics of Proceed (2005) (50)
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (2012) (50)
Formal Techniques for Java-Like Programs (2006) (49)
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces (2011) (48)
MAO: Ownership and Effects for More Effective Reasoning About Aspects (2007) (48)
Model variables: cleanly supporting abstraction in design by contract: Research Articles (2005) (47)
A Quick Overview of Larch/C++ (1994) (47)
Desugaring JML Method Specifications (2005) (47)
A design discipline and language features for modular reasoning in aspect-oriented programs (2005) (46)
Modular verification of higher-order methods with mandatory calls specified by model programs (2007) (42)
Multiple dispatch as dispatch on Tuples (1998) (41)
Information Hiding and Visibility in Interface Specifications (2007) (40)
The Larch/Smalltalk interface specification language (1994) (39)
Preliminary Design of Larch/C++ (1992) (31)
BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing (1997) (31)
3x+1 search programs (1992) (30)
Weak behavioral subtyping for types with mutable objects (1995) (29)
The design of SafeJML, a specification language for SCJ with support for WCET specification (2010) (28)
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning (2015) (28)
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification (2002) (28)
Modular Verification of Object-Oriented Programs with Subtypes (1990) (27)
Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning (2002) (26)
Semantic clone detection using method IOE-behavior (2012) (26)
Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages (2003) (23)
Larch/C++ Reference Manual (1999) (23)
AspectJML: modular specification and runtime checking for crosscutting contracts (2014) (22)
Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs (2006) (22)
Typed Homomorphic Relations Extended with Sybtypes (1991) (21)
Executing Formal Specifications with Concurrent Constraint Programming (2000) (20)
A complete algebraic characterization of behavioral subtyping (2000) (20)
Quantified, Typed Events for Improved Separation of Concerns (2008) (20)
Protective Interface Specifications (1997) (20)
Tutorial on JML, the java modeling language (2007) (20)
JSCTracker : A Semantic Clone Detection Tool for Java Code (2012) (19)
The JML and JUnit Way of Unit Testing and its Implementation (2004) (19)
Formal Techniques for Java Programs (1999) (17)
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach (2017) (17)
Proceedings of the ACM international conference on Object oriented programming systems languages and applications (2012) (16)
A contextual interpretation of undefinedness for runtime assertion checking (2005) (16)
Investigating the Semantics of Proceed (2005) (16)
Subtyping for Mutable Types in Object-Oriented Programming Languages (1992) (15)
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (2007) (15)
Extensions of the theory of observational purity and a practical design for JML (2008) (14)
Automated translation of VDM to JML-annotated Java (2017) (14)
Not a Number of Floating Point Problems (2006) (13)
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs (1994) (13)
Preliminary Definition of Core JML (2007) (13)
Formal semantics for SA style data flow diagram specification languages (1999) (13)
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods (2021) (13)
Static verification of ptolemyrely programs using openJML (2014) (13)
An Executable Semantics for a Formalized Data Flow Diagram Specification Language (1993) (13)
The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes (1994) (13)
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (2009) (13)
ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch (1998) (12)
The Behavior-Realization Adjunction and Generalized Homomorphic Relations (1997) (12)
Challenge benchmarks for verification of real-time programs (2010) (12)
Inheritance of interface specifications (extended abstract) (1994) (11)
Integrating Random Testing with Constraints for Improved Efficiency and Diversity (2008) (11)
Modular aspect-oriented design rule enforcement with XPIDRs (2013) (10)
Translucid Contracts for Aspect-oriented Interfaces (2009) (10)
Modularizing crosscutting contracts with AspectJML (2014) (10)
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence (2015) (10)
Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples (2007) (10)
Lessons from the JML Project (2005) (10)
Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings (2009) (9)
Formal Techniques for OO Software Development (Panel) (1991) (9)
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams (1996) (9)
Extensible Dynamic Analysis for JML : A Case Study with Loop Annotations (2008) (9)
Prettyprinting styles for various languages (1984) (9)
Modular Specification of Frame Properties (2001) (9)
Modular Contracts with Procedures , Annotations , Pointcuts and Advice (2011) (9)
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach (2011) (8)
1997 workshop on foundations of component-based systems (1998) (8)
Foundations of Object-Oriented Languages: 2nd Workshop report (1995) (8)
Composition Graphs: a Foundation for Reasoning about Aspect-Oriented Composition (2003) (8)
Fields in Physics are like Curried Functions or Physics for Functional Programmers (1994) (8)
MultiJava : Design Rationale , Compiler Implementation , and User Experience (2004) (7)
Aspect-Oriented Programming Reloaded (2017) (7)
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study (2013) (7)
Specifying subtypes in SCJ programs (2011) (7)
Formal Definition of the Parameterized Aspect Calculus (2003) (7)
A foundation for the model theory of abstract data types with mutation and aliasing (preliminary ver (1992) (7)
Larch Frequently Asked Questions (2001) (7)
Transactions on Aspect-Oriented Software Development X (2013) (6)
A Type Notation for Scheme (2005) (6)
Introduction to the Literature on Programming Language Design (1996) (6)
Executing Formal Speci cations with Constraint Programming (1998) (6)
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (2010) (6)
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations (2008) (6)
Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction (2003) (6)
Equational Reasoning with Subtypes (2002) (6)
Polymorphic Type-Checking in Scheme (1996) (6)
Applying translucid contracts for modular reasoning about aspect and object oriented events (2011) (6)
Preliminary Design of JML : A Behavioral Interface Specification (1998) (6)
Towards Modular Reasoning for Context-Oriented Programs (2016) (5)
Introduction to the literature on object-oriented design, programming, and languages (1991) (5)
Unifying separation logic and region logic to allow interoperability (2018) (5)
Conditional effects in fine-grained region logic (2015) (5)
JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping (2015) (5)
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (2001) (5)
Reasoning tradeoffs in languages with enhanced modularity features (2016) (5)
Translucid contracts for modular reasoning about aspect-oriented programs (2010) (5)
Gentle Introduction to Larch / Smalltalk Specification Browsers (1994) (5)
Class-Based and Algebraic Models of Objects (1997) (5)
A Distributed Search Program for the 3x + 1 Problem (1989) (5)
Specification and Verification of Component-Based Systems Workshop (2001) (5)
Inheritance of Interface Specifications (1993) (4)
Why Undergraduates Should Learn the Principles of Programming Languages (2011) (4)
Executing Formal Speci cations with Constraint Satisfaction (1997) (4)
The future of library specification (2010) (4)
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification (2013) (4)
Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping (2001) (4)
Modularizing crosscutting concerns with Ptolemy (2011) (4)
Formal Semantics and Soundness of an Algorithm (2000) (4)
An Exact Algebraic Characterization of Behavioral Subtyping (1997) (4)
Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages (1996) (4)
Specifying and Verifying Advanced Control Features (2016) (4)
More Reliable Test Suites for Dynamic APR by using Counterexamples (2021) (4)
Advances and issues in JML (2002) (4)
Poster: An Algorithm and Tool to Infer Practical Postconditions (2018) (4)
Alias-free Parameters in C for Better Reasoning and Optimization (2001) (4)
Observers and Assistants: A Proposal for Modular (2002) (3)
Model Programs for Preserving Composite Invariants (2008) (3)
A Thought on Specification Reflection (2003) (3)
The 1st Verified Software Competition, Extended Experience Report (2011) (3)
Client-aware checking and information hiding in interface specifications with JML/ajmlc (2013) (3)
MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java (2000) (3)
Formal techniques for OO software development (1991) (3)
Translating Separation Logic into Dynamic Frames Using Fine-Grained Region Logic (2014) (3)
Inferring Concise Specifications of APIs (2019) (3)
Executing Formal Specifications with Constraint Programming (2000) (3)
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts (2022) (3)
Specifying subtypes in Safety Critical Java programs (2013) (3)
Search Programs (1992) (3)
Preventing Cross-Type Aliasing for More Practical Reasoning (2001) (3)
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3) (2013) (3)
Verily: a web framework for creating more reasonable web applications (2014) (3)
Formal Techniques for Java-like Programs 2003 (2003) (3)
FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003 (2003) (3)
Use concurrent programming models to motivate teaching of programming languages (2008) (3)
SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001 (2001) (3)
Modularizing crosscutting concerns with ptolemy (2011) (2)
Enforcing information hiding in interface specifications: a client-aware checking approach (2015) (2)
Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (2007) (2)
Polymorphic Type Inference in Scheme (1995) (2)
Proper Plugin Protocols Cost-effective Verification of Frameworks (2011) (2)
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software (2012) (2)
Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects (1994) (2)
Adapting the Java Modeling Language for Java 5 Annotations (2008) (2)
A Physical Example for Teaching Curried Functions (1995) (2)
Specifying and Verifying Object-Oriented Programs: An Overview of the Problems and a Solution (1991) (2)
A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs (2005) (2)
Transactions on Aspect-Oriented Software Development IX (2012) (1)
Overview and Specification of the Built-In Types in Little Smalltalk (1994) (1)
On Binary Methods on Binary Methods (1995) (1)
SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings (2004) (1)
Specification Facets for More Precise, Focused Documentation (1997) (1)
Automated translation of VDM to JML-annotated Java (2017) (1)
Adaptive Matrix Pattern Steganography on RGB Images (2021) (1)
Programming is Writing: Why Student Programs must be Carefully Read (1998) (1)
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings (2010) (1)
Be Realistic: Automated Program Repair is a Combination of Undecidable Problems (2022) (1)
Proceedings of the Third international conference on Verified software: theories, tools, experiments (2010) (1)
Formal methods for multimethod software components (2000) (1)
Specification and verification of component-based systems 2007 (2007) (1)
PROGRAMMING IS WRITING: WHY PROGRAMS NEED TO BE CAREFULLY READ (1998) (1)
A Methodology for Invariants, Framing, and Subtyping in JML (2018) (1)
Executing Formal Speciications with Constraint Satisfaction Executing Formal Speciications with Constraint Satisfaction (2008) (1)
Modular subclass verification: safely creating correct subclasses without superclass code (2006) (1)
Foundations of Object-Oriented Languages (1990) (1)
Programming is writing: why programs must be carefully evaluated (1998) (1)
Design, Semantics and Implementation of the Ptolemy Programming Language: A Language with Quantified Typed Events (2015) (1)
Further Lessons from the JML Project (2022) (1)
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs (2021) (1)
SAVCBS 2003: Specification and Verification of Component-Based Systems (2003) (1)
Following the Grammar (2006) (1)
JSCTracker : A Tool and Algorithm for Semantic Method Clone Detection Using Method IOE-Behavior (2012) (1)
Unifying separation logic and region logic to allow interoperability (2018) (0)
Course Specifications for New Introductory Courses: Computer Science 227X and 228X (1992) (0)
A Layered Approach to Specification Authoring, Sharing, and Usage (2016) (0)
Specification and verification of component-based systems 2007 (2007) (0)
Towards Safe Modular Extensible Objects (1994) (0)
6 Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems (2000) (0)
Executable Documentation of Template-Hook Interactions in Frameworks using JML (2006) (0)
Avoiding Overfitting in Automated Program Repair using Formal Methods (2020) (0)
Design by Contract with JML Gary T . Leavens and Yoonsik (0)
FOAL 2011 Proceedings Proceedings of the Tenth Workshop on Foundations of Aspect-Oriented Languages held at the (0)
Introduction to the Literature on Semantics (1994) (0)
SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems (2005) (0)
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping (2017) (0)
A Framework for Implementing Type Systems (2007) (0)
Reconciling Trust and Modularity Goals in Web Services (2009) (0)
FOAL 2002 Proceedings : Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002 (2014) (0)
Proposed knowledge units for programming languages for curriculum 2001 (2000) (0)
Abstraction in Deductive Verification: Model Fields and Model Methods (2022) (0)
JML and its Unit Testing Tool (2002) (0)
The Verified Software Initiative: A Manifesto (2021) (0)
Aiding self-motivation with readings in introductory computing (1995) (0)
Programs, Recursion and Unbounded Choice (Wim H. Hesselink) (1994) (0)
Technologies for finding errors in object-oriented software (2017) (0)
Session details: Doctoral symposium (2010) (0)
Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study I (2010) (0)
Session details: Panels (2012) (0)
Invited Talk: JML framed! (2004) (0)
An Executable Semantics for a Formalized Data Flow Diagram Specication Language an Executable Semantics for a Formalized Data Flow Diagram Specication Language (2007) (0)
Formal Techniques for Java-Like Programs Report on the Workshop FTfJP at ECOOP 2007 (2008) (0)
Special Section on Formal Techniques for Java-like Programs (2011) (0)
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland (2014) (0)
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005 (2005) (0)
MODULAR SPECIFICATION OF FRAME PROPERTIES IN JML 1 Modular specification of frame properties in JML (2002) (0)
The Future of Library Speci cation (2010) (0)
Transactions on Modularity and Composition I (2016) (0)
Companion Proceedings of the 14th International Conference on Modularity (2015) (0)
Session details: Specification and verification (2014) (0)
Demonstration of JML Tools (2005) (0)
7-1998 ACL---Eliminating Parameter Aliasing with Dynamic Dispatch (2014) (0)
Fine Grained Region Logic for Reasoning about Frame Properties (2013) (0)
Formal Techniques for Java-Like Programs Report on the WS FTfJP at ECOOP'06 (2007) (0)
Abstract Data Types (1999) (0)
AJ ML Tutorial: Modular Specification and Verification of Functional Behavior for Java (Invited Tutorial) (2007) (0)
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012 (2012) (0)
3-1992 3 x + 1 Search Programs (2014) (0)
A Thought on Speciflcation Re∞ection (2003) (0)
University of Birmingham A novel automated approach for software effort estimation based on data augmentation (2018) (0)
A Framework for Performance Monitoring and Modeling of Enterprise Java TM Beans Applications (2001) (0)
Session details: Specification and verification (2014) (0)
Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008 (2009) (0)
Challenge benchmarks for verification of real-time programs: (abstract only) (2010) (0)
Formal Aspects of Computing Protective Interface Specifications ∗ (1999) (0)
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA (2009) (0)
9-2006 Information Hiding and Visibility in Interface Specifications (2016) (0)
Session details: Concurrency (2014) (0)
EATOOS-Testing Tool for Unit Testing of Object Oriented Software (2019) (0)
Special issue: formal techniques for Java programs (2001) (0)
Discussion of Design Alternatives for JML Java 5 Annotations (2008) (0)
Session details: Session 1 (2009) (0)
Spekl: A Layered System for Specification Authoring, Sharing, and Usage (2016) (0)
Modularity in the Presence of Subclassing Raymie Stata Publication History (0)

This paper list is powered by the following services:

Other Resources About Gary T. Leavens

en.wikipedia.org

What Schools Are Affiliated With Gary T. Leavens?

Gary T. Leavens is affiliated with the following schools: