2008 |
28 | EE | Raffi Khatchadourian,
Johan Dovland,
Neelam Soundarajan:
Enforcing behavioral constraints in evolving aspect-oriented programs.
FOAL 2008: 19-28 |
2007 |
27 | EE | Neelam Soundarajan,
Jason O. Hallstrom,
Adem Delibas,
Guoqiang Shu:
Testing Patterns.
SEW 2007: 109-120 |
26 | EE | Raffi Khatchadourian,
Neelam Soundarajan:
Rely-guarantee approach to reasoning about aspect-oriented programs.
SPLAT 2007: 5 |
2006 |
25 | EE | Jason O. Hallstrom,
Neelam Soundarajan,
Benjamin Tyler:
Amplifying the Benefits of Design Patterns: From Specification Through Implementation.
FASE 2006: 214-229 |
24 | EE | Benjamin Tyler,
Jason O. Hallstrom,
Neelam Soundarajan:
Automated generation of monitors for pattern contracts.
SAC 2006: 1779-1784 |
23 | | Jason O. Hallstrom,
Andrew R. Dalton,
Neelam Soundarajan:
Parallel Monitoring of Design Pattern Contracts.
SEKE 2006: 236-241 |
22 | | Neelam Soundarajan,
Jason O. Hallstrom:
Pattern-Based System Evolution: A Case-Study.
SEKE 2006: 321-326 |
21 | | Benjamin Tyler,
Neelam Soundarajan:
Automatic Monitoring of Control-flow Through Inheritance Hierarchies.
SEKE 2006: 355-358 |
20 | EE | Benjamin Tyler,
Jason O. Hallstrom,
Neelam Soundarajan:
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior.
SEW 2006: 37-46 |
2004 |
19 | EE | Benjamin Tyler,
Neelam Soundarajan:
Testing Framework Components.
CBSE 2004: 138-145 |
18 | EE | Neelam Soundarajan,
Stephen Fridella:
Incremental Reasoning for Object Oriented Systems.
Essays in Memory of Ole-Johan Dahl 2004: 302-333 |
17 | | Jason O. Hallstrom,
Neelam Soundarajan:
Formal specification of design patterns: A case study.
IASTED Conf. on Software Engineering and Applications 2004: 362-367 |
16 | EE | Neelam Soundarajan,
Jason O. Hallstrom:
Responsibilities and Rewards: Specifying Design Patterns.
ICSE 2004: 666-675 |
2003 |
15 | EE | Benjamin Tyler,
Neelam Soundarajan:
Black-Box Testing of Grey-Box Behavior.
FATES 2003: 1-14 |
2002 |
14 | EE | Jianping Jiang,
Ten-Hwang Lai,
Neelam Soundarajan:
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks.
IEEE Trans. Parallel Distrib. Syst. 13(10): 1024-1037 (2002) |
13 | EE | Neelam Soundarajan,
Benjamin Tyler:
Testing Polymorphic Behavior.
Journal of Object Technology 1(3): 173-188 (2002) |
12 | EE | Jason O. Hallstrom,
Neelam Soundarajan:
Incremental Development Using Object Oriented Frameworks: A Case Study.
Journal of Object Technology 1(3): 189-205 (2002) |
2001 |
11 | EE | Neelam Soundarajan,
Benjamin Tyler:
Specification-Based Incremental Testing of Object Oriented Systems.
TOOLS (39) 2001: 35-45 |
10 | | Neelam Soundarajan,
Stephen Fridella:
Understanding OO frameworks and applications: an incremental approach.
Informatica (Slovenia) 25(3): (2001) |
2000 |
9 | | Neelam Soundarajan,
Stephen Fridella:
Exceptions in OO Languages: Using Them and Reasoning about Them.
Ada-Europe 2000: 238-251 |
8 | EE | Neelam Soundarajan:
Refining Interactions in a Distributed System.
FAABS 2000: 209-221 |
7 | | Neelam Soundarajan,
Stephen Fridella:
Framework-Based Applications: From Incremental Development to Incremental Reasoning.
ICSR 2000: 100-116 |
6 | EE | Neelam Soundarajan,
Stephen Fridella:
Behavioral Subtyping and Behavioral Enrichment of Multimethods.
TOOLS (34) 2000: 105- |
5 | EE | Neelam Soundarajan:
Documenting framework behavior.
ACM Comput. Surv. 32(1es): 14 (2000) |
1999 |
4 | | Neelam Soundarajan,
Stephen Fridella:
Modeling Exceptional Behavior.
UML 1999: 691-705 |
1998 |
3 | EE | Neelam Soundarajan,
Stephen Fridella:
Reasoning About Polymorphic Behavior.
TOOLS (26) 1998: 346- |
1997 |
2 | EE | Young Man Kim,
Ten-Hwang Lai,
Neelam Soundarajan:
Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers.
ICPADS 1997: 584- |
1 | EE | Neelam Soundarajan,
Stephen Fridella:
Inheriting and Modifying Behavior.
TOOLS (23) 1997: 148-162 |