| Responsibilities and rewards: Specifying design patterns N Soundarajan, JO Hallstrom Proceedings. 26th international conference on software engineering, 666-675, 2004 | 110 | 2004 |
| Axiomatic semantics of communicating sequential processes N Soundararajan ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 647-662, 1984 | 110 | 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 | 79 | 2002 |
| A proof technique for parallel programs N Soundararajan Theoretical Computer Science 31 (1-2), 13-29, 1984 | 57 | 1984 |
| Inheritance: From code reuse to reasoning reuse N Soundarajan, S Fridella Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998 | 50 | 1998 |
| Preparing for accreditation under EC 2000: An experience report N Soundarajan Journal of Engineering Education 91 (1), 117-123, 2002 | 48 | 2002 |
| Program assessment and program improvement: closing the loop N Soundarajan* Assessment & Evaluation in Higher Education 29 (5), 597-610, 2004 | 41 | 2004 |
| 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 | 28 | 1988 |
| 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 | 27 | 2008 |
| Black-box testing of grey-box behavior B Tyler, N Soundarajan Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 27 | 2004 |
| Patterns: from system design to software testing N Soundarajan, JO Hallstrom, G Shu, A Delibas Innovations in Systems and Software Engineering 4, 71-85, 2008 | 21 | 2008 |
| Correctness proofs of CSP programs N Soundararajan Theoretical Computer Science 24 (2), 131-141, 1983 | 21 | 1983 |
| Engineering Criteria 2000: the impact on engineering education N Soundarajan FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference …, 1999 | 20 | 1999 |
| 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 | 19 | 2010 |
| Proof rules for fault tolerant distributed programs M Joseph, A Moitra, N Soundararajan Science of Computer Programming 8 (1), 43-67, 1987 | 19 | 1987 |
| Efficient distributed deadlock detection and resolution using probes, tokens, and barriers YM Kim, N Soundarajan Proceedings 1997 International Conference on Parallel and Distributed …, 1997 | 18 | 1997 |
| Inheriting and modifying behavior N Soundarajan, S Fridella Proceedings of TOOLS USA 97. International Conference on Technology of …, 1997 | 17 | 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 | 16 | 2007 |
| Monitoring design pattern contracts JO Hallstrom, N Soundarajan, B Tyler Proc. of the FSE-12 Workshop on Specification and Verification of Component …, 2004 | 16 | 2004 |
| Framework-based applications: From incremental development to incremental reasoning N Soundarajan, S Fridella International Conference on Software Reuse, 100-116, 2000 | 16 | 2000 |
