Murali Sitaraman
Murali Sitaraman
Professor of Computer Science, Clemson University
Verified email at clemson.edu - Homepage
Title
Cited by
Cited by
Year
Foundations of component-based systems
GT Leavens, M Sitaraman
Cambridge University Press, 2000
2292000
Special feature: Componentbased software using resolve
M Sitaraman, BW Weide
Software Engineering Notes 19 (4), 21-67, 1994
2171994
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
1552005
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
1062006
Performance specification of software components
M Sitaraman, G Kulczycki, J Krone, WF Ogden, ALN Reddy
Proceedings of the 2001 symposium on Software reusability: putting software …, 2001
912001
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
802000
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
792011
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
721994
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
661998
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
Recasting algorithms to encourage reuse
BW Weide, WF Ogden, M Sitaraman
IEEE Software 11 (5), 80-88, 1994
551994
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
532008
On specification of reusable software components
M Sitaraman, LR Welch, DE Harms
International Journal of Software Engineering and Knowledge Engineering 3 …, 1993
501993
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
Providing intellectual focus to CS1/CS2
TJ Long, BW Weide, P Bucci, DS Gibson, J Hollingsworth, M Sitaraman, ...
Proceedings of the twenty-ninth SIGCSE technical symposium on Computer …, 1998
381998
Modular verification of performance constraints
J Krone, WF Ogden, M Sitaraman
ACM OOPSLA Workshop on Specification and Verification of Component-Based …, 2003
37*2003
Direct reasoning
GW Kulczycki
Clemson University, 2004
332004
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
322009
Specification engineering and modular verification using a web-integrated verifying compiler
CT Cook, H Harton, H Smith, M Sitaraman
2012 34th International Conference on Software Engineering (ICSE), 1379-1382, 2012
302012
A formal approach to component-based software engineering: education and evaluation
M Sitaraman, TJ Long, BW Weide, EJ Harner, L Wang
Proceedings of the 23rd International Conference on Software Engineering …, 2001
302001
The system can't perform the operation now. Try again later.
Articles 1–20