| Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000 | 237 | 2000 |
| Component-based software using RESOLVE M Sitariman, B Weide ACM SIGSOFT Software Engineering Notes 19 (4), 21-22, 1994 | 193 | 1994 |
| Model variables: Cleanly supporting abstraction in design by contract Y Cheon, G Leavens, M Sitaraman, S Edwards Software: Practice and Experience 35 (6), 583-599, 2005 | 139 | 2005 |
| Roadmap for enhanced languages and methods to aid verification GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ... Proceedings of the 5th international conference on Generative programming …, 2006 | 99 | 2006 |
| Performance specification of software components M Sitaraman, G Kulczycki, J Krone, WF Ogden, ALN Reddy ACM SIGSOFT Software Engineering Notes 26 (3), 3-10, 2001 | 78 | 2001 |
| Reasoning about software-component behavior M Sitaraman, S Atkinson, G Kulczycki, BW Weide, TJ Long, P Bucci, ... International Conference on Software Reuse, 266-283, 2000 | 77 | 2000 |
| Building a push-button RESOLVE verifier: Progress and challenges M Sitaraman, B Adcock, J Avigad, D Bronish, P Bucci, D Frazier, ... Formal Aspects of Computing 23 (5), 607-626, 2011 | 70 | 2011 |
| Part I: The RESOLVE framework and discipline—a research synopsis WF Ogden, M Sitaraman, BW Weide, SH Zweben ACM SIGSOFT Software Engineering Notes 19 (4), 23-28, 1994 | 68 | 1994 |
| A framework for detecting interface violations in component-based software SH Edwards, G Shakir, M Sitaraman, BW Weide, J Hollingsworth Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998 | 63 | 1998 |
| Part II: Specifying components in RESOLVE SH Edwards, WD Heym, TJ Long, M Sitaraman, BW Weide ACM SIGSOFT Software Engineering Notes 19 (4), 29-39, 1994 | 62 | 1994 |
| Incremental benchmarks for software verification tools and techniques BW Weide, M Sitaraman, HK Harton, B Adcock, P Bucci, D Bronish, ... Working Conference on Verified Software: Theories, Tools, and Experiments, 84-98, 2008 | 49 | 2008 |
| Recasting algorithms to encourage reuse BW Weide, WF Ogden, M Sitaraman IEEE Software 11 (5), 80-88, 1994 | 49 | 1994 |
| On the practical need for abstraction relations to verify abstract data type representations M Sitaraman, BW Weide, WF Ogden IEEE Transactions on Software Engineering 23 (3), 157-170, 1997 | 47 | 1997 |
| On specification of reusable software components M Sitaraman, LR Welch, DE Harms International Journal of Software Engineering and Knowledge Engineering 3 …, 1993 | 47 | 1993 |
| Providing intellectual focus to CS1/CS2 TJ Long, BW Weide, P Bucci, DS Gibson, J Hollingsworth, M Sitaraman, ... ACM SIGCSE Bulletin 30 (1), 252-256, 1998 | 35 | 1998 |
| Modular verification of performance constraints J Krone, WF Ogden, M Sitaraman ACM OOPSLA Workshop on Specification and Verification of Component-Based …, 2003 | 34* | 2003 |
| A formal approach to component-based software engineering: education and evaluation M Sitaraman, TJ Long, BW Weide, EJ Harpner, L Wang Proceedings of the 23rd international conference on Software engineering …, 2001 | 31 | 2001 |
| Verifying component-based software: deep mathematics or simple bookkeeping? J Kirschenbaum, B Adcock, D Bronish, H Smith, H Harton, M Sitaraman, ... International Conference on Software Reuse, 31-40, 2009 | 30 | 2009 |
| Direct reasoning GW Kulczycki, M Sitaraman Clemson University, 2004 | 30 | 2004 |
| Contract-checking wrappers for C++ classes SH Edwards, M Sitaraman, BW Weide, E Hollingsworth IEEE Transactions on Software Engineering 30 (11), 794-810, 2004 | 28 | 2004 |
