Murali Sitaraman

2009
30	EE	Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman: Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528
2008
29	EE	Bruce 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
28	EE	Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
27	EE	Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
26	EE	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213
2006
25	EE	Gary 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
24	EE	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev: A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2005
23	EE	Bruce 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)
22	EE	Yoonsik 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)
2004
21	EE	John M. Hunt, Murali Sitaraman: Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100
20	EE	Stephen 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)
2001
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
18	EE	Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy: Performance specification of software components. SSR 2001: 3-10
2000
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
1999
16	EE	Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
15	EE	Murali 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
14	EE	Edward A. Addy, Murali Sitaraman: Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91
1998
13	EE	Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden: A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming 1998: 102-113
12	EE	Timothy 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
1997
11	EE	Murali 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)
1996
8		Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. Formal Asp. Comput. 8(6): 716-736 (1996)
1995
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
1994
6	EE	Murali 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
5	EE	Bruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)
1993
4	EE	Murali Sitaraman, Jeff Gray: Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. TRI-Ada 1993: 137-146
3	EE	Murali 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)
1992
2	EE	Murali Sitaraman: A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281
1	EE	Murali Sitaraman: Performance-Parameterized Reusable Software Components. International Journal of Software Engineering and Knowledge Engineering 2(4): 567-587 (1992)

Coauthor Index

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

Colors in the list of coauthors