Neelam Soundarajan

According to our database1, Neelam Soundarajan authored at least 38 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Innovative Approach to Online Argumentation and Models for Structuring the Arguments.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2016
Enabling deep conceptual learning in computing courses through conflict-based collaborative learning.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015
Conflict-Driven Cooperative-Learning in Computing Courses (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Collaborative and Cooperative-Learning in Software Engineering Courses.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2011
Formalizing Reusable Aspect-Oriented Concurrency Control.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Work in progress - Collaborative and reflective learning in engineering programs.
Proceedings of the 2011 Frontiers in Education Conference, 2011

2010
Initiating a design pattern catalog for embedded network systems.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Reusing Patterns through Design Refinement.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Patterns: from system design to software testing.
Innov. Syst. Softw. Eng., 2008

Enforcing behavioral constraints in evolving aspect-oriented programs.
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

2007
Testing Patterns.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Rely-guarantee approach to reasoning about aspect-oriented programs.
Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007

2006
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Automatic Monitoring of Control-flow Through Inheritance Hierarchies.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Pattern-Based System Evolution: A Case-Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Parallel Monitoring of Design Pattern Contracts.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Automated generation of monitors for pattern contracts.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Amplifying the Benefits of Design Patterns: From Specification Through Implementation.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2004
Responsibilities and Rewards: Specifying Design Patterns.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Formal specification of design patterns: A case study.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Testing Framework Components.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

Incremental Reasoning for Object Oriented Systems.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2003
Black-Box Testing of Grey-Box Behavior.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks.
IEEE Trans. Parallel Distributed Syst., 2002

Testing Polymorphic Behavior.
J. Object Technol., 2002

Incremental Development Using Object Oriented Frameworks: A Case Study.
J. Object Technol., 2002

2001
Understanding OO frameworks and applications: an incremental approach.
Informatica (Slovenia), 2001

Specification-Based Incremental Testing of Object Oriented Systems.
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

2000
Documenting framework behavior.
ACM Comput. Surv., 2000

Behavioral Subtyping and Behavioral Enrichment of Multimethods.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Framework-Based Applications: From Incremental Development to Incremental Reasoning.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

Refining Interactions in a Distributed System.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Exceptions in OO Languages: Using Them and Reasoning about Them.
Proceedings of the Reliable Software Technologies, 2000

1999
Modeling Exceptional Behavior.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998
Reasoning About Polymorphic Behavior.
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Inheritance: from code reuse to reasoning reuse.
Proceedings of the Fifth International Conference on Software Reuse, 1998

1997
Inheriting and Modifying Behavior.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers.
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997


  Loading...