Murali Sitaraman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

30EEDana P. Leonard, Jason O. Hallstrom, Murali Sitaraman: Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528
29EEBruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98
28EEHeather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
27EEGregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008
26EEGregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213
25EEGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
24EEGregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev: A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
23EEBruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni: Issues in performance certification for high-level automotive control software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
22EEYoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards: Model variables: cleanly supporting abstraction in design by contract. Softw., Pract. Exper. 35(6): 583-599 (2005)
21EEJohn M. Hunt, Murali Sitaraman: Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100
20EEStephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth: Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30(11): 794-810 (2004)
19 Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang: A Formal Approach to Component-Based Software Engineering: Education and Evaluation. ICSE 2001: 601-609
18EEMurali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
17 Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth: Reasoning about Software-Component Behavior. ICSR 2000: 266-283
16EETimothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
15EEMurali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide: Reuse Research: Contributions, Problems and Non-Problems. SSR 1999: 178-180
14EEEdward A. Addy, Murali Sitaraman: Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91
13EEMurali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden: A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming 1998: 102-113
12EETimothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards: Providing intellectual focus to CS1/CS2. SIGCSE 1998: 252-256
11EEMurali Sitaraman, Bruce W. Weide, William F. Ogden: On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. IEEE Trans. Software Eng. 23(3): 157-170 (1997)
10 David Fleming, Murali Sitaraman, Sethu Sreerama: A Practical Performance Criterion for Object Interface Design. JOOP 10(4): 52-63 (1997)
9 Sethu Sreerama, David Fleming, Murali Sitaraman: Graceful Object-Based Performance Evolution. Softw., Pract. Exper. 27(1): 111-122 (1997)
8 Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. Formal Asp. Comput. 8(6): 716-736 (1996)
7 Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman: Distributed Execution of Object-Based Software. Parallel and Distributed Computing and Systems 1995: 521-524
6EEMurali Sitaraman, Michael B. Feldman, Gary A. Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide: What Changes Are Needed For Undergraduate CS Curricula to Educate ``Software Engineers''? TRI-Ada 1994: 220
5EEBruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)
4EEMurali Sitaraman, Jeff Gray: Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. TRI-Ada 1993: 137-146
3EEMurali Sitaraman, Lonnie R. Welch, Douglas E. Harms: On Specification of Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 3(2): 207-229 (1993)
2EEMurali Sitaraman: A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281
1EEMurali Sitaraman: Performance-Parameterized Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 2(4): 567-587 (1992)

Coauthor Index

1Jean-Raymond Abrial [25]
2Bruce M. Adcock [29]
3Edward A. Addy [14]
4Steven Atkinson [17]
5Don S. Batory [25]
6Derek Bronish [29]
7Paolo Bucci [12] [16] [17] [23] [29]
8Michael J. Butler [25]
9Yoonsik Cheon [22]
10Alessandro Coglio [25]
11Maggie Davis [15]
12Premkumar T. Devanbu [15]
13Stephen H. Edwards [12] [20] [22]
14Tao Fang [7]
15Michael B. Feldman [6]
16Kathi Fisler [25]
17David Fleming [9] [10]
18Gary A. Ford [6]
19William B. Frakes [6]
20David Frazier [29]
21David S. Gibson [12]
22Jeffrey G. Gray (Jeff Gray) [4]
23Jason O. Hallstrom [30]
24Douglas E. Harms [3]
25E. James Harner [19]
26Heather K. Harton [28] [29]
27Eric C. R. Hehner [25]
28Wayne D. Heym [17] [23] [29]
29Joseph E. Hollingsworth [6] [12] [17] [20]
30John M. Hunt [21]
31Cliff B. Jones [25]
32Simon L. Peyton Jones [25]
33Heather Keown [26]
34Jason Kirschenbaum [29]
35Joan Krone [18] [28]
36Gregory Kulczycki [17] [18] [24] [26] [27]
37Gary T. Leavens [22] [25]
38Dana P. Leonard [30]
39Timothy J. Long [12] [13] [16] [17] [19]
40David F. McAllister [6]
41Dale Miller [25]
42William F. Ogden [5] [11] [13] [18]
43Scott M. Pike [17]
44Jeffrey S. Poulin [15]
45Alexander Ran [15]
46A. L. Narasimha Reddy [7] [18]
47George Rinard [7]
48Giorgio Rizzoni [23]
49Kimberly Roche [27]
50Atanas Rountev [24]
51Douglas R. Smith [25]
52Sethu Sreerama [9] [10]
53Aaron Stump [25]
54Liqing Wang [19]
55Bruce W. Weide [5] [6] [11] [12] [13] [15] [16] [17] [19] [20] [23] [24] [26] [29]
56Lonnie R. Welch [3]
57Nighat Yasmin [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)