Follow

Submissions from 2011

PDF

Golok: Push-button Verification of Parameterized Systems, Youssef Wasfy Hanna, David Samuelson, Samik Basu, and Hridesh Rajan

Submissions from 2010

PDF

Categorical Abstract Algebraic Logic: Equivalence of Closure Systems, George Voutsadakis

Submissions from 2009

PDF

Enhancing a behavioral interface specification language with temporal logic features, Faraz Hussain

PDF

Reconciling Trust and Modularity Goals in Web Services, Hridesh Rajan, Jia Tao, Steve M. Shaner, and Gary T. Leavens

Submissions from 2007

PDF

SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations, Youssef Wasfy Hanna and Hridesh Rajan

PDF

Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms, Youssef Wasfy Hanna and Hridesh Rajan

PDF

Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs, Steve M. Shaner, Gary T. Leavens, and David A. Naumann

Submissions from 2006

PDF

Reconciling Gene Trees with Apparent Polytomies, Wen-Chieh Chang and Oliver Eulenstein

PDF

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols, Youssef Wasfy Hanna, Hridesh Rajan, and Zhang Wensheng

PDF

Executable Documentation of Template-Hook Interactions in Frameworks using JML, Neeraj S. Khanolkar and Gary T. Leavens

PDF

JML's Rich, Inherited Specifications for Behavioral Subtypes, Gary T. Leavens

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Specification and verification challenges for sequential object-oriented programs, Gary T. Leavens, Rustan M. Leino, and Peter Müller

PDF

Information Hiding and Visibility in Interface Specifications, Gary T. Leavens and Peter Müller

PDF

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs, Gary T. Leavens and David A. Naumann

PDF

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, Gary T. Leavens and David A. Naumann

PDF

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, Gary T. Leavens and David A. Naumann

PDF

Modular subclass verification: Safely creating correct subclasses without superclass code, Clyde Ruby

PDF

Improving JML's assignable clause analysis, Cui Ye

Submissions from 2005

PDF

SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

PDF

FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005, Curtis Clifton, Ralf Laemmel, and Gary T. Leavens

PDF

Demonstration of JML Tools, Gary T. Leavens, Yoonsik Cheon, and David R. Cok

PDF

A Type Notation for Scheme, Gary T. Leavens and Curtis Clifton

PDF

Lessons from the JML Project, Gary T. Leavens and Curtis Clifton

PDF

A Type Notation for Scheme, Gary T. Leavens, Curtis Clifton, and Brian Dorn

PDF

A Comparison of Two Approaches to Utilizing XML in Parametric Databases for Temporal Data, Seo-Young Noh and Shashi K. Gadia

PDF

Desugaring JML Method Specifications, Arun D. Raghavan and Gary T. Leavens

Submissions from 2004

PDF

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

PDF

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Curtis Clifton, Ralf Laemmel, and Gary T. Leavens

PDF

The JML and JUnit Way of Unit Testing and its Implementation, Gary T. Leavens and Yoonsik Cheon

PDF

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification, Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok

PDF

An XML Representation of the Parametric Data Model for Temporal Data, Seo-Young Noh

PDF

Literature Review on Temporal, Spatial, and Spatiotermpoal Data Models, Seo-Young Noh

Submissions from 2003

PDF

SAVCBS 2003: Specification and Verification of Component-Based Systems, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, and Gary T. Leavens

PDF

A Thought on Specification Reflection, Yoonsik Cheon, Yoshiki Hayashi, and Gary T. Leavens

PDF

Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction, Gregory W. Kulczycki, Murali Sitaraman, William F. Ogden, and Gary T. Leavens

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003, Gary T. Leavens and Curtis Clifton

PDF

An XML Plagiarism Detection Model for Procedural Programming Languages, Seo-Young Noh

Submissions from 2002

PDF

Linear Time Construction of Suffix Arrays, Pang Ko and Aluru Srinivas

PDF

FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002, Gary T. Leavens and Ron Cytron

PDF

Equational Reasoning with Subtypes, Gary T. Leavens and Don Pigozzi

PDF

An Object-Oriented Event Calculus, Jeremiah S. Patterson

Submissions from 2001

PDF

Alias-free parameters in C using multibodies, Medhat Assaad

PDF

Alias-free Parameters in C for Better Reasoning and Optimization, Medhat Assaad and Gary T. Leavens

PDF

Supertrees by Flipping, Duhong Chen, Oliver Eulenstein, David Fernández-Baca, and Michael J. Sanderson

PDF

SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

Larch Frequently Asked Questions, Gary T. Leavens

PDF

Modular Specification of Frame Properties in JML, Peter Müller, Arnd Poetzsch-Heffter, and Gary T. Leavens

Submissions from 2000

PDF

MIgories: an abstract model for interaction, Adrian Silvescu and Vasant Honavar

PDF

Formal Semantics and Soundness of an Algorithm, Tim Wahls and Gary T. Leavens

PDF

Executing Formal Specifications with Constraint Programming, Tim Wahls, Gary T. Leavens, and Albert L. Baker

Submissions from 1999

PDF

Larch/C++ Reference Manual, Gary T. Leavens

PDF

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications, Gary T. Leavens and Albert L. Baker

Submissions from 1998

PDF

Preliminary Design of JML: A Behavioral Interface Specification, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Multiple Dispatch as Dispatch on Tuples, Gary T. Leavens and Todd Millstein

PDF

Class-Based and Algebraic Models of Objects, Gary T. Leavens and Don Pigozzi

Submissions from 1997

PDF

Is the Hippocampus a Kalman Filter?, Olivier Bousquet, Karthik Balakrishnan, and Vasant Honavar

PDF

Behavioral Subtyping in Object-Oriented Languages, Krishna Kishore Dhara

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

PDF

Learning DFA for Simple Examples, Rajesh G. Parekh and Vasant Honavar

PDF

A Polynomial Time Incremental Algorithm for Regular Grammar Inference, Rajesh G. Parekh, Codrin Nichitiu, and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

Submissions from 1996

PDF

Compression Depth and the Behavior of Cellular Automata, James I. Lathrop

PDF

The Behavior-Realization Adjunction and Generalized Homomorphic Relations, Gary T. Leavens and Don Pigozzi

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

Feasible Reductions to Kolmogorov--Loveland Stochastic Sequences, Jack H. Lutz

PDF

One-Way Functions and Balanced NP, Jack H. Lutz

PDF

The Quantitative Structure of Exponential Time, Jack H. Lutz

PDF

Measure on P: Strength of the Notion, Martin Strauss

PDF

Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times, Jürgen Symanzik

PDF

Formalized Data Flow Diagrams and Their Relation to Other Computational Models, Jürgen Symanzik and Albert L. Baker

PDF

Non-Atomic components of Data Flow Diagrams: Stores, Persistent Flows, and Tests for Empty Flows, Jürgen Symanzik and Albert L. Baker

PDF

Subclasses of Formalized Data Flow Diagrams: Monogeneous, Linear & Topologically Free Choice RDFD's, Jürgen Symanzik and Albert L. Baker

Submissions from 1995

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

An Algebra for Belief Persistence in Multilevel Security Databases, Tsz Shing Cheng and Shashi K. Gadia

PDF

A Physical Example for Teaching Curried Functions, Gary T. Leavens

PDF

Utility-Theoretic Heuristics for Intelligent Adaptive Routing in Large Communcation Networks, Armin Mikler, Vasant Honavar, and Johnny S. Wong

PDF

An Object Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

An Efficient Interactive Algorithm for Regular Language Learning, Rajesh G. Parekh and Vasant Honavar

PDF

Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification, Rajesh G. Parekh, Jihoon Yang, and Vasant Honavar

PDF

Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces, Sankar Gowri Sivaprasad

Submissions from 1994

PDF

Foundations of Object-Oriented Languages, Giuseppe Castagna and Gary T. Leavens

PDF

Weakly Complete Problems are Not Rare, David W. Juedes

PDF

Parametric Micro-level Performance Models for Parallel Computing, Youngtae Kim, Mark Fienup, Jeffrey S. Clary, and Suresh C. Kothari

PDF

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects, Gary T. Leavens and Krishna Kishore Dhara

PDF

Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs, Gary T. Leavens and William E. Weihl

PDF

Quo Vadis-A Framework for Intelligent Routing in Large Communication Networks., Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes, Tim Wahls, Albert L. Baker, and Gary T. Leavens

Submissions from 1993

PDF

The Quantitative Structure of Exponential Time, Jack H. Lutz

PDF

Weakly Hard Problems, Jack H. Lutz

PDF

The Global Power of Additional Queries to Random Oracles, Jack H. Lutz and David M. Martin Jr.

PDF

Efficient Learning of Regular Languages Using Teacher-Supplied Positive Samples and Learner-Generated Queries, Rajesh G. Parekh and Vasant Honavar

PDF

A Hierarchy of Deterministic Top-down Tree Transformations, Giora Slutzki and Sandor Vagvolgyi

PDF

Deterministic Top-down Tree Transducers with Iterated Look-ahead, Giora Slutzki and Sandor Vagvolgyi