Follow

Submissions from 2006

PDF

On the Semantics of Linking and Importing in Modular Ontologies, Jie Bao, Doina Caragea, and Vasant Honavar

PDF

Towards Collaborative Environments for Ontology Construction and Sharing, Jie Bao, Doina Caragea, and Vasant Honavar

PDF

A Tableau-based Federated Reasoning Algorithm for Modular Ontologies, Jie Bao, Doina Caragea, and Vasant G. Honavar

PDF

A Model Checking based Converter Synthesis Approach for Embedded Systems, Samik Basu, Roopak Sinha, and Partha S. Roop

PDF

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

PDF

Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research, Josh Dehlinger and Nalin Subramanian

PDF

The Complete MLSK Model - incorporation of lattice operations and XML implementation, Ruchi Dhingra, Natalia Stakhanova, and Hua Ming

PDF

Modular Compilation Strategies for Aspect-Oriented Constructs, Robert Dyer and Hridesh Rajan

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

Following the Grammar, 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

Modeling End-to-End Available Bandwidth, Wanida Putthividhya and Wallapak Tavanapong

PDF

Preserving Separation of Concerns Through Compilation, Hridesh Rajan, Robert Dyer, Youssef Wasfy Hanna, and Harish Narayanappa

PDF

Optimization Rules in DLV for the Bridge Crossing Problem, Sayan Ranu, Prabhakar Balakrishnan, and Gurpur M. Prabhu

PDF

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

PDF

A Model Checking Approach to Protocol Conversion, Roopak Sinha, Partha S. Roop, and Samik Basu

PDF

Automated caching of behavioral patterns for efficient run-time, Natalia Stakhanova, Samik Basu, Robyn R. Lutz, and Johnny S. Wong

PDF

A Taxonomy of Intrusion Response Systems, Natalia Stakhanova, Samik Basu, and Johnny S. Wong

PDF

A Multilevel Secure Relational Database Model with key-polyinstantiation, Natalia Stakhanova and Ruchi Dhingra

PDF

Multi-protocol Attack: A Survey of Current Research, Nalin V. Subramanian and Josh Dehliger

PDF

SCOPE: Synergistic Content Distribution and Peer-to-Peer Networks, Minh Tran and Wallapak Tavanapong

PDF

Streaming in MANET: Proactive Link Protection and Receiver-Oriented Adaptation, Toby Xu and Ying Cai

PDF

Improving JML's assignable clause analysis, Cui Ye

Submissions from 2005

PDF

Phylogenetic Compression and Model Selection: An Improved Encoding Scheme, Cécile Ané, Oliver Eulenstein, and Raul Piaggio-Talice

PDF

Reconciling Inconsistencies Between Package-extended Ontology Modules, Jie Bao and Vasant Honavar

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

Automatically generating consistent graphical user interfaces using a parser generator, Kristina P. Boysen

PDF

Visual Methods for Examining Support Vector Machine Results, with Applications to Gene Expression Data Analysis, Doina Caragea, Dianne Cook, and Vasant G. Honavar

PDF

Learning Classifiers from Distributed, Ontology-Extended Data Sources, Doina Caragea, Jun Zhang, Jyotishman Pathak, and Vasant G. Honavar

PDF

A design discipline and language features for modular reasoning in aspect-oriented programs, Curtis Clifton

PDF

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

PDF

A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs, Curtis Clifton and Gary T. Leavens

PDF

MiniMAO1: Investigating the Semantics of Proceed, Curtis Clifton and Gary T. Leavens

PDF

Design and implementation of a reusable type inference engine and its application to Scheme, Brian Dorn

PDF

Learning Classifiers for Misuse and Anomaly Detection Using a Bag of System Calls Representation, Dae-Ki Kang, Doug Fuller, and Vasant Honavar

PDF

Multinomial Event Model Based Abstraction for Sequence and Text Classification, Dae-Ki Kang, Jun Zhange, Adrian Silvescu, and Vasant Honavar

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 New Survivable Mapping Problem in IP-over-WDM Networks, Chang Liu and Lu Ruan

PDF

A Form-based Framework for Class Extensions, Markus Lumpe

PDF

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

PDF

Efficient Self-Join Algorithm in Interval-based Temporal Data Models, Seo-Young Noh and Shashi K. Gadia

PDF

Discovering Web Services over the Semantic Web, Jyotishman Pathak, Neeraj Koul, Doina Caragea, and Vasant Honavar

PDF

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

PDF

Nu: Enabling Modularity in Multilingual, Multienvironment, Distributed Systems, Hridesh Rajan

PDF

Classpects in Practice: A Test of the Unified Aspect Model, Hridesh Rajan and Kevin Sullivan

PDF

Business Process Management, Nalin Subramanian

PDF

Feature Selection in Intrusion Detection System over Mobile Ad-hoc Network, Xia Wang, Tu-liang Lin, and Johnny S. Wong

PDF

Learning Hierarchical Classifiers with Class Taxonomies, Feihong Wu and Jun Zhang

PDF

Design and Implementation of a Media Uploading System, Mu Zhang, Johnny S. Wong, and Wallapak Tavanapong

Submissions from 2004

PDF

Collaborative Ontology Building with Wiki@nt - A multi-agent based ontology building environment, Jie Bao and Vasant Honavar

PDF

Ontology Language Extensions to Support Localized Semantics, Modular Reasoning, and Collaborative Ontology Design and Ontology Reuse, Jie Bao and Vasant Honavar

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

MultiJava: Design Rationale, Compiler Implementation, and Applications, Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers

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

Distribution-Free Learning of Graphical Model Structure in Continuous Domains, Dimitris Margaritis

PDF

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

PDF

A parametric prototype for spatiotemporal databases, Seo-Young Noh

PDF

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

PDF

Domain Mapping for Product-line Requirements, Kendra Schmid

PDF

Handling Encrypted Email at the Gateway of a Network, Nalin V. Subramanian, Bradley Wagner, and Yousef Khader

PDF

Learning Naive Bayes Classifiers From Attribute Value Taxonomies and Partially Specified Data, Jun Zhang and Vasant Honavar

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 Runtime Assertion Checker for the Java Modeling Language, Yoonsik Cheon

PDF

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

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

PDF

Model Variables: Cleanly Supporting Abstraction in Design By Contract, Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Murali Kuchibhotla, and Stephen H. Edwards

PDF

Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Curtis Clifton and Gary T. Leavens

PDF

Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Curtis Clifton and Gary T. Leavens

PDF

Formal Definition of the Parameterized Aspect Calculus, Curtis Clifton, Gary T. Leavens, and Mitchell Wand

PDF

Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages, Curtis Clifton, Gary T. Leavens, and Mitchell Wand

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

PDF

RAST: Requirement Analysis Support Tool based on Linguistic Information, Seo-Young Noh and Shashi K. Gadia

PDF

RAST: Requirement Analysis Support Tool based on Linguistic Information, Seo-Young Noh and Shashi K. Gadia

PDF

A Video Broadcasting System, Simon Sheu, Wallapak Tavanapong, and Kien Hua

PDF

Query-friendly Compression and Indexing of Recurring Structures in XML Documents, Satish Vemula, Justin Hare, and Seo-Young Noh

Submissions from 2002

PDF

A Runtime Assertion Checker for the Java Modeling Language (JML), Yoonsik Cheon and Gary T. Leavens

PDF

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning, Curtis Clifton and Gary T. Leavens

PDF

Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning, Curtis Clifton and Gary T. Leavens

PDF

The Complete MLSK Model—incorporation of lattice operations and XML implementation, Ruchi Dhingra, Natalia Stakhanova, and Ming Hua

PDF

General Purpose Cellular Automata Programming, Wei Huang

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