- Black-box Testing of Grey-box Behavior Benjamin Tyler and Neelam Soundarajan
- Responsibilities and rewards: Reasoning about design patterns Neelam Soundarajan and Jason Hallstrom
- Specifying and Monitoring Design Pattern Contracts Neelam Soundarajan, Jason O. Hallstrom, Benjamin Tyler
- Managing Specification Inconsistency in Object Oriented Systems Neelam Soundarajan and Stephen Fridella
- Communication Traces in the Verification of Distributed Programs Neelam Soundarajan
- Modeling Exceptional Behavior Neelam Soundarajan and Stephen Fridella
- Testing Patterns Neelam Soundarajan1, Jason O. Hallstrom2, Adem Delibas1, Guoqiang Shu1
- Interaction Refinement in Object-Oriented Systems Neelam Soundarajan
- Speci cation-Based Incremental Testing of Object Oriented Systems
- Behavioral Subtyping and Behavioral Enrichment of Multimethods
- Engineering Criteria 2000: The Impact on Engineering Education Neelam Soundarajan
- Program Assessment and Program Improvement: Closing the Loop
- On the Specification, Inheritance, and Verification of Synchronization Constraints
- Formalizing Reusable Aspect-Oriented Concurrency Control
- Covariance, Contravariance, and Synchronization Constraints
- Preparing for Accreditation Under EC 2000: An Experience Report
- Correctness of Mutual Exclusion Algorithms Neelam Soundarajan and Ten-Hwang Lai
- A WaitFree Probe Algorithm for Distributed Deadlock Detection and Resolution
- Understanding Frameworks Neelam Soundarajan
- Engineering Criteria 2000: The Impact on Engineering Education Neelam Soundarajan \Lambda
- Exceptions in OO Languages: Using them and Reasoning about them
- Interaction Refinement in ObjectOriented Systems (Extended Abstract)
- Enriching Behavioral Subtyping Neelam Soundarajan and Stephen Fridella
- Reusing Patterns through Design Refinement Jason O. Hallstrom1
- Inheriting and Modifying Behavior Neelam Soundarajan and Stephen Fridella
- Specifying and Reasoning About Design Patterns Neelam Soundarajan
- Inheritance: From Code Reuse to Reasoning Reuse Neelam Soundarajan and Stephen Fridella
- Enriching Behavioral Subtyping Neelam Soundarajan and Stephen Fridella
- Inheritance: From Code Reuse to Reasoning Reuse Neelam Soundarajan and Stephen Fridella
- Enriching Subclass Specifications Neelam Soundarajan and Stephen Fridella
- Reasoning about the Behavior of Aspect-Oriented Programs Neelam Soundarajan1, Raffi Khatchadourian1, Johan Dovland2
- On Distributed Dynamic Channel Allocation in Mobile Cellular Jianping Jiang, TenHwang Lai, Neelam Soundarajan
- Incremental Specification and Verification of Object-Oriented Systems
- Framework-Based Applications: From Incremental Development to Incremental Reasoning
- Testing Polymorphic Behavior of Framework Components Benjamin Tyler, Neelam Soundarajan
- Automatic Monitoring of Control-flow Through Inheritance Hierarchies
- Refining Interactions in a Distributed System Neelam Soundarajan
- Specifying Reusable Aspects Neelam Soundarajan
- Understanding Frameworks Neelam Soundarajan
- On the Specification, Inheritance, and Verification of Synchronization Constraints
- Tracing Correct Usage of Design Patterns Neelam Soundarajan1, Johan Dovland2, Jason O. Hallstrom3
- Automated Generation of Monitors for Pattern Contracts Benjamin Tyler1, Jason O. Hallstrom2, Neelam Soundarajan1
- From Architectural Patterns to Architecture-Based Development Neelam Soundarajan
- Reasoning About Design Patterns: A Case Study Jason O. Hallstrom and Neelam Soundarajan
- Formalizing Reusable Aspect-Oriented Concurrency Control Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian
- Incremental Reasoning for Object Oriented Systems Neelam Soundarajan and Stephen Fridella
- Documenting Framework Behavior Neelam Soundarajan
- Work-in-Progress: Collaborative and Reflective Learning in Engineering Programs
- Interaction Refinement in Object-Oriented Systems (Extended Abstract)
- Work-in-Progress: Collaborative and Reflective Learning in Engineering Programs
- Position paper: Program objectives, outcomes, and assessments
