Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers. - Young Man Kim; Ten-Hwang Lai; Neelam Soundarajan (ICPADS, 1997)

Inheriting and Modifying Behavior. - Neelam Soundarajan; Stephen Fridella (TOOLS (23), 1997)

Inheritance: from code reuse to reasoning reuse. - Neelam Soundarajan; Stephen Fridella (ICSR, 1998)

Reasoning About Polymorphic Behavior. - Neelam Soundarajan; Stephen Fridella (TOOLS (26), 1998)

Modeling Exceptional Behavior. - Neelam Soundarajan; Stephen Fridella (UML, 1999)

Exceptions in OO Languages: Using Them and Reasoning about Them. - Neelam Soundarajan; Stephen Fridella (Ada-Europe, 2000)

Refining Interactions in a Distributed System. - Neelam Soundarajan (FAABS, 2000)

Framework-Based Applications: From Incremental Development to Incremental Reasoning. - Neelam Soundarajan; Stephen Fridella (ICSR, 2000)

Behavioral Subtyping and Behavioral Enrichment of Multimethods. - Neelam Soundarajan; Stephen Fridella (TOOLS (34), 2000)

Documenting framework behavior. - Neelam Soundarajan (ACM Comput. Surv., 2000)

Specification-Based Incremental Testing of Object Oriented Systems. - Neelam Soundarajan; Benjamin Tyler (TOOLS (39), 2001)

Understanding OO frameworks and applications: an incremental approach. - Neelam Soundarajan; Stephen Fridella (Informatica (Slovenia), 2001)

Incremental Development Using Object Oriented Frameworks: A Case Study. - Jason O. Hallstrom; Neelam Soundarajan (J. Object Technol., 2002)

Testing Polymorphic Behavior. - Neelam Soundarajan; Benjamin Tyler (J. Object Technol., 2002)

On Distributed Dynamic Channel Allocation in Mobile Cellular Networks. - Jianping Jiang; Ten-Hwang Lai; Neelam Soundarajan (IEEE Trans. Parallel Distributed Syst., 2002)

Black-Box Testing of Grey-Box Behavior. - Benjamin Tyler; Neelam Soundarajan (FATES, 2003)

Incremental Reasoning for Object Oriented Systems. - Neelam Soundarajan; Stephen Fridella (Essays in Memory of Ole-Johan Dahl, 2004)

Testing Framework Components. - Benjamin Tyler; Neelam Soundarajan (CBSE, 2004)

Formal specification of design patterns: A case study. - Jason O. Hallstrom; Neelam Soundarajan (IASTED Conf. on Software Engineering and Applications, 2004)

Responsibilities and Rewards: Specifying Design Patterns. - Neelam Soundarajan; Jason O. Hallstrom (ICSE, 2004)

Amplifying the Benefits of Design Patterns: From Specification Through Implementation. - Jason O. Hallstrom; Neelam Soundarajan; Benjamin Tyler (FASE, 2006)

Automated generation of monitors for pattern contracts. - Benjamin Tyler; Jason O. Hallstrom; Neelam Soundarajan (SAC, 2006)

Parallel Monitoring of Design Pattern Contracts. - Jason O. Hallstrom; Andrew R. Dalton; Neelam Soundarajan (SEKE, 2006)

Pattern-Based System Evolution: A Case-Study. - Neelam Soundarajan; Jason O. Hallstrom (SEKE, 2006)

Automatic Monitoring of Control-flow Through Inheritance Hierarchies. - Benjamin Tyler; Neelam Soundarajan (SEKE, 2006)

A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. - Benjamin Tyler; Jason O. Hallstrom; Neelam Soundarajan (SEW, 2006)

Rely-guarantee approach to reasoning about aspect-oriented programs. - Raffi Khatchadourian; Neelam Soundarajan (SPLAT, 2007)

Testing Patterns. - Neelam Soundarajan; Jason O. Hallstrom; Adem Delibas; Guoqiang Shu (SEW, 2007)

Enforcing behavioral constraints in evolving aspect-oriented programs. - Raffi Khatchadourian; Johan Dovland; Neelam Soundarajan (FOAL, 2008)

Patterns: from system design to software testing. - Neelam Soundarajan; Jason O. Hallstrom; Guoqiang Shu; Adem Delibas (Innov. Syst. Softw. Eng., 2008)

Reusing Patterns through Design Refinement. - Jason O. Hallstrom; Neelam Soundarajan (ICSR, 2009)

Initiating a design pattern catalog for embedded network systems. - Sally K. Wahba; Jason O. Hallstrom; Neelam Soundarajan (EMSOFT, 2010)

Work in progress - Collaborative and reflective learning in engineering programs. - Neelam Soundarajan (FIE, 2011)

Formalizing Reusable Aspect-Oriented Concurrency Control. - Neelam Soundarajan; Derek Bronish; Raffi Khatchadourian (SEKE, 2011)

Collaborative and Cooperative-Learning in Software Engineering Courses. - Neelam Soundarajan; Swaroop Joshi; Rajiv Ramnath (ICSE (2), 2015)

Conflict-Driven Cooperative-Learning in Computing Courses (Abstract Only). - Swaroop Joshi; Neelam Soundarajan; Rajiv Ramnath (SIGCSE, 2015)

Enabling deep conceptual learning in computing courses through conflict-based collaborative learning. - Swaroop Joshi; Neelam Soundarajan (FIE, 2016)

Innovative Approach to Online Argumentation and Models for Structuring the Arguments. - Neelam Soundarajan; Swaroop Joshi (FIE, 2018)