Neelam Soundarajan
Neelam Soundarajan
Associate Professor of Computer Science & Engineering, Ohio State University
Verified email at
Cited by
Cited by
Responsibilities and rewards: Specifying design patterns
N Soundarajan, JO Hallstrom
Proceedings. 26th International Conference on Software Engineering, 666-675, 2004
Axiomatic semantics of communicating sequential processes
N Soundararajan
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 647-662, 1984
On distributed dynamic channel allocation in mobile cellular networks
J Jiang, TH Lai, N Soundarajan
IEEE Transactions on Parallel and Distributed Systems 13 (10), 1024-1037, 2002
A proof technique for parallel programs
N Soundararajan
Theoretical Computer Science 31 (1-2), 13-29, 1984
Inheritance: From code reuse to reasoning reuse
N Soundarajan, S Fridella
Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998
Preparing for accreditation under EC 2000: An experience report
N Soundarajan
Journal of Engineering Education 91 (1), 117-123, 2002
Program assessment and program improvement: closing the loop
N Soundarajan*
Assessment & Evaluation in Higher Education 29 (5), 597-610, 2004
Enforcing behavioral constraints in evolving aspect-oriented programs
R Khatchadourian, J Dovland, N Soundarajan
Proceedings of the 7th workshop on Foundations of aspect-oriented languages …, 2008
Black-box testing of grey-box behavior
B Tyler, N Soundarajan
International Workshop on Formal Approaches to Software Testing, 1-14, 2003
A distributed deadlock detection and resolution algorithm and its correctness proof
AK Elmagarmid, N Soundararajan, MT Liu
IEEE transactions on software engineering 14 (10), 1443-1452, 1988
Correctness proofs of CSP programs
N Soundararajan
Theoretical Computer Science 24 (2), 131-141, 1983
Engineering Criteria 2000: The impact on engineering education
N Soundarajan
FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference …, 1999
Efficient distributed deadlock detection and resolution using probes, tokens, and barriers
YM Kim, N Soundarajan
Proceedings 1997 International Conference on Parallel and Distributed …, 1997
Proof rules for fault tolerant distributed programs
M Joseph, A Moitra, N Soundararajan
Science of Computer Programming 8 (1), 43-67, 1987
From student to teacher: Transforming industry sponsored student projects into relevant, engaging, and practical curricular materials
J Bolinger, K Yackovich, R Ramnath, J Ramanathan, N Soundarajan
2010 IEEE Transforming Engineering Education: Creating Interdisciplinary …, 2010
Understanding frameworks
N Soundarajan
Building Application Frameworks, 289-308, 1999
Patterns: from system design to software testing
N Soundarajan, JO Hallstrom, G Shu, A Delibas
Innovations in Systems and Software Engineering 4 (1), 71-85, 2008
Framework-based applications: From incremental development to incremental reasoning
N Soundarajan, S Fridella
International Conference on Software Reuse, 100-116, 2000
Inheriting and modifying behavior
N Soundarajan, S Fridella
Proceedings of TOOLS USA 97. International Conference on Technology of …, 1997
Rely-guarantee approach to reasoning about aspect-oriented programs
R Khatchadourian, N Soundarajan
Proceedings of the 5th workshop on Software engineering properties of …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20