Statistics
Publications
26
Citations
793
H-Index
17
Active since
1992
Murali Sitaraman is an author at Clemson University specializing in software design, software engineering, and engineering.
Publications per year
1992–2015
26
26
Model variables: cleanly supporting abstraction in design by contract
Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman et al. · Software Practice and Experience · 2005 · 118 citations
Roadmap for enhanced languages and methods to aid verification
Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations
Performance specification of software components
Murali Sitaraman, Greg Kulczycki, Joan Krone et al. · 2001 · 63 citations
Software Maintenance, Engineering, Computer Architecture +20
Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman, Bruce Adcock, Jeremy Avigad et al. · Formal Aspects of Computing · 2010 · 49 citations · Full text
Part I: the RESOLVE framework and discipline
William F. Ogden, Murali Sitaraman, Bruce W. Weide et al. · ACM SIGSOFT Software Engineering Notes · 1994 · 45 citations · Full text
1–5 of 26