Murali Sitaraman

Model variables: cleanly supporting abstraction in design by contract

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman et al. · Software Practice and Experience · 2005 · 120 citations

Computing, Computer Engineering, Computer Science +13

Roadmap for enhanced languages and methods to aid verification

Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations

Computing, Computer Science, Formal Methods +11

Performance specification of software components

Murali Sitaraman, Greg Kulczycki, Joan Krone et al. · 2001 · 63 citations

Computing, Computer Science, Systems Engineering +15

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

Engineering, Computer Engineering, Computer Systems +3

Part I: the RESOLVE framework and discipline

William F. Ogden, Murali Sitaraman, Bruce W. Weide et al. · ACM SIGSOFT Software Engineering Notes · 1994 · 46 citations · Full text

Computing, Computer Science, Decision Support Systems +4