| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian |
Formalizing Reusable Aspect-Oriented Concurrency Control.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan |
Initiating a design pattern catalog for embedded network systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Reusing Patterns through Design Refinement. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas |
Patterns: from system design to software testing. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Testing, Design patterns, Contracts |
| 1 | Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan |
Enforcing behavioral constraints in evolving aspect-oriented programs. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modular reasoning, rely-guarantee |
| 1 | Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
Testing Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffi Khatchadourian, Neelam Soundarajan |
Rely-guarantee approach to reasoning about aspect-oriented programs. |
SPLAT |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented software, modular verification, rely-guarantee |
| 1 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
Automated generation of monitors for pattern contracts. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
specification, design patterns, monitoring, contracts, aspects |
| 1 | Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler |
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Tyler, Neelam Soundarajan |
Automatic Monitoring of Control-flow Through Inheritance Hierarchies. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom |
Pattern-Based System Evolution: A Case-Study. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan |
Parallel Monitoring of Design Pattern Contracts. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Formal specification of design patterns: A case study. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Stephen Fridella |
Incremental Reasoning for Object Oriented Systems. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
Incremental reasoning, Behavior of polymorphic methods, Incremental design |
| 1 | Benjamin Tyler, Neelam Soundarajan |
Testing Framework Components. |
CBSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom |
Responsibilities and Rewards: Specifying Design Patterns. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Tyler, Neelam Soundarajan |
Black-Box Testing of Grey-Box Behavior. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianping Jiang, Ten-Hwang Lai, Neelam Soundarajan |
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks. |
IEEE Trans. Parallel Distrib. Syst. |
2002 |
DBLP DOI BibTeX RDF |
distributed algorithms, Mutual exclusion, cellular networks, dynamic channel allocation |
| 1 | Neelam Soundarajan, Benjamin Tyler |
Testing Polymorphic Behavior. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Incremental Development Using Object Oriented Frameworks: A Case Study. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Stephen Fridella |
Understanding OO frameworks and applications: an incremental approach. |
Informatica (Slovenia) |
2001 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Benjamin Tyler |
Specification-Based Incremental Testing of Object Oriented Systems. |
TOOLS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan |
Documenting framework behavior. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
specifying OO frameworks, traces of method calls |
| 1 | Neelam Soundarajan, Stephen Fridella |
Behavioral Subtyping and Behavioral Enrichment of Multimethods. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Stephen Fridella |
Exceptions in OO Languages: Using Them and Reasoning about Them. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Software quality, Software development methods |
| 1 | Neelam Soundarajan |
Refining Interactions in a Distributed System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
Interaction refinement, Communication traces, Correctness criteria |
| 1 | Neelam Soundarajan, Stephen Fridella |
Framework-Based Applications: From Incremental Development to Incremental Reasoning. |
ICSR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Stephen Fridella |
Modeling Exceptional Behavior. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Stephen Fridella |
Reasoning About Polymorphic Behavior. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
Enriching Behavior, Polymorphism, Specification and Verification, Behavioral Subtyping |
| 1 | Neelam Soundarajan, Stephen Fridella |
Inheriting and Modifying Behavior. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Man Kim, Ten-Hwang Lai, Neelam Soundarajan |
Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers. (PDF / PS) |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")