Murali Sitaraman
Murali Sitaraman
Professor of Computer Science, Clemson University
Verified email at clemson.edu - Homepage
TitleCited byYear
Foundations of component-based systems
GT Leavens, M Sitaraman
Cambridge University Press, 2000
2372000
Component-based software using RESOLVE
M Sitariman, B Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 21-22, 1994
1931994
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
1392005
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
992006
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
782001
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
772000
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
702011
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
681994
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
631998
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
621994
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
492008
Recasting algorithms to encourage reuse
BW Weide, WF Ogden, M Sitaraman
IEEE Software 11 (5), 80-88, 1994
491994
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
471997
On specification of reusable software components
M Sitaraman, LR Welch, DE Harms
International Journal of Software Engineering and Knowledge Engineering 3 …, 1993
471993
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
351998
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
312001
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
302009
Direct reasoning
GW Kulczycki, M Sitaraman
Clemson University, 2004
302004
Contract-checking wrappers for C++ classes
SH Edwards, M Sitaraman, BW Weide, E Hollingsworth
IEEE Transactions on Software Engineering 30 (11), 794-810, 2004
282004
The system can't perform the operation now. Try again later.
Articles 1–20