A class of programming language mechanisms to facilitate multiple implementations of the same specification. - Murali Sitaraman (ICCL, 1992)

Performance-Parameterized Reusable Software Components. - Murali Sitaraman (Int. J. Softw. Eng. Knowl. Eng., 1992)

Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. - Murali Sitaraman; Jeff Gray 001 (TRI-Ada, 1993)

On Specification of Reusable Software Components. - Murali Sitaraman; Lonnie R. Welch; Douglas E. Harms (Int. J. Softw. Eng. Knowl. Eng., 1993)

On tight performance specification of object-oriented software components. - Murali Sitaraman (ICSR, 1994)

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? - Murali Sitaraman; Michael B. Feldman; Gary Ford 001; William B. Frakes; Joseph E. Hollingsworth; David F. McAllister; Bruce W. Weide (TRI-Ada, 1994)

Part II: specifying components in RESOLVE. - Stephen H. Edwards; Wayne D. Heym; Timothy J. Long; Murali Sitaraman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Part I: the RESOLVE framework and discipline: a research synopsis. - William F. Ogden; Murali Sitaraman; Bruce W. Weide; Stuart H. Zweben (ACM SIGSOFT Softw. Eng. Notes, 1994)

Recasting Algorithms to Encourage Reuse. - Bruce W. Weide; William F. Ogden; Murali Sitaraman (IEEE Softw., 1994)

Distributed Execution of Object-Based Software. - Tao Fang; A. L. Narasimha Reddy; George Rinard; Murali Sitaraman (Parallel and Distributed Computing and Systems, 1995)

Impact of Performance Considerations on Formal Specification Design. - Murali Sitaraman (Formal Aspects Comput., 1996)

4th international software reuse conference overview. - Murali Sitaraman (ACM SIGSOFT Softw. Eng. Notes, 1996)

A Practical Performance Criterion for Object Interface Design. - David Fleming; Murali Sitaraman; Sethu Sreerama (J. Object Oriented Program., 1997)

Fourth international conference on software reuse (ICSR4). - Murali Sitaraman (ACM SIGSOFT Softw. Eng. Notes, 1997)

Graceful Object-Based Performance Evolution. - Sethu Sreerama; David Fleming; Murali Sitaraman (Softw. Pract. Exp., 1997)

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. - Murali Sitaraman; Bruce W. Weide; William F. Ogden (IEEE Trans. Software Eng., 1997)

A Data Abstraction Alternative to Data Structure/Algorithm Modularization. - Murali Sitaraman; Bruce W. Weide; Timothy J. Long; William F. Ogden (Generic Programming, 1998)

A framework for detecting interface violations in component-based software. - Stephen H. Edwards; Gulam Shakir; Murali Sitaraman; Bruce W. Weide; Joe Hollingsworth (ICSR, 1998)

Providing intellectual focus to CS1/CS2. - Timothy J. Long; Bruce W. Weide; Paolo Bucci; David S. Gibson; Joseph E. Hollingsworth; Murali Sitaraman; Stephen H. Edwards (SIGCSE, 1998)

1997 workshop on foundations of component-based systems. - Gary T. Leavens; Oscar Nierstrasz; Murali Sitaraman (ACM SIGSOFT Softw. Eng. Notes, 1998)

Client view first: an exodus from implementation-biased teaching. - Timothy J. Long; Bruce W. Weide; Paolo Bucci; Murali Sitaraman (SIGCSE, 1999)

Formal Specification of COTS-Based Software: A Case Study. - Edward A. Addy; Murali Sitaraman (SSR, 1999)

Reuse Research: Contributions, Problems and Non-Problems. - Murali Sitaraman; Maggie Davis; Premkumar T. Devanbu; Jeffrey S. Poulin; Alexander Ran; Bruce W. Weide (SSR, 1999)

Reasoning about Software-Component Behavior. - Murali Sitaraman; Steven Atkinson; Gregory Kulczycki; Bruce W. Weide; Timothy J. Long; Paolo Bucci; Wayne D. Heym; Scott M. Pike; Joseph E. Hollingsworth (ICSR, 2000)

A Formal Approach to Component-Based Software Engineering: Education and Evaluation. - Murali Sitaraman; Timothy J. Long; Bruce W. Weide; E. James Harner; Liqing Wang (ICSE, 2001)

Performance specification of software components. - Murali Sitaraman; Gregory Kulczycki; Joan Krone; William F. Ogden; A. L. Narasimha Reddy (SSR, 2001)

Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation. - Murali Sitaraman; Timothy J. Long; Bruce W. Weide; E. James Harner; Liqing Wang (Comput. Sci. Educ., 2002)

Enhancements - Enabling Flexible Feature and Implementation Selection. - John M. Hunt; Murali Sitaraman (ICSR, 2004)

Contract-Checking Wrappers for C++ Classes. - Stephen H. Edwards; Murali Sitaraman; Bruce W. Weide; Joseph E. Hollingsworth (IEEE Trans. Software Eng., 2004)

Issues in performance certification for high-level automotive control software. - Bruce W. Weide; Paolo Bucci; Wayne D. Heym; Murali Sitaraman; Giorgio Rizzoni (ACM SIGSOFT Softw. Eng. Notes, 2005)

Model variables: cleanly supporting abstraction in design by contract. - Yoonsik Cheon; Gary T. Leavens; Murali Sitaraman; Stephen H. Edwards (Softw. Pract. Exp., 2005)

Roadmap for enhanced languages and methods to aid verification. - 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 001; Simon L. Peyton Jones; Murali Sitaraman; Douglas R. Smith; et al. (GPCE, 2006)

Performance analysis based upon complete profiles. - Joan Krone; William F. Ogden; Murali Sitaraman (SAVCBS@FSE, 2006)

A specification-based approach to reasoning about pointers. - Gregory Kulczycki; Murali Sitaraman; Bruce W. Weide; Atanas Rountev (ACM SIGSOFT Softw. Eng. Notes, 2006)

Abstracting Pointers for a Verifying Compiler. - Gregory Kulczycki; Heather Keown; Murali Sitaraman; Bruce W. Weide (SEW, 2007)

Incremental Benchmarks for Software Verification Tools and Techniques. - Bruce W. Weide; Murali Sitaraman; Heather K. Harton; Bruce M. Adcock; Paolo Bucci; Derek Bronish; Wayne D. Heym; Jason Kirschenbaum; David Frazier (VSTTE, 2008)

Formal Program Verification. - Heather K. Harton; Murali Sitaraman; Joan Krone (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Formal Specification. - Gregory Kulczycki; Murali Sitaraman; Kimberly Roche; Nighat Yasmin (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Courseware for teaching analytical reasoning principles: a hands-on laboratory. - Jason O. Hallstrom; Joan Krone; Murali Sitaraman (ACM Southeast Regional Conference, 2009)

Compositional performance prediction exemplified using generic object finalization analysis. - Nighat Yasmin; Murali Sitaraman (ACM Southeast Regional Conference, 2009)

Detecting overflow vulnerabilities using automated verification. - Brian A. Malloy; Murali Sitaraman; Jason O. Hallstrom (CSIIRW, 2009)

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? - Jason Kirschenbaum; Bruce M. Adcock; Derek Bronish; Hampton Smith; Heather K. Harton; Murali Sitaraman; Bruce W. Weide (ICSR, 2009)

Generating Verified Java Components through RESOLVE. - Hampton Smith; Heather K. Harton; David Frazier; Raghuveer Mohan; Murali Sitaraman (ICSR, 2009)

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. - Murali Sitaraman; Jason O. Hallstrom; Jarred White; Svetlana Drachova-Strang; Heather K. Harton; Dana P. Leonard; Joan Krone; Richard Pak (ITiCSE, 2009)

Injecting rapid feedback and collaborative reasoning in teaching specifications. - Dana P. Leonard; Jason O. Hallstrom; Murali Sitaraman (SIGCSE, 2009)

Some developments in mathematical thinking for computer science education since computing curricula 2001. - Doug Baldwin; Bill Marion; Murali Sitaraman; Cinda Heeren (SIGCSE, 2010)

Building a push-button RESOLVE verifier: Progress and challenges. - Murali Sitaraman; Bruce M. Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather K. Harton; Wayne D. Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; et al. (Formal Aspects Comput., 2011)

Mathematics throughout the CS curriculum. - Joan Krone; Murali Sitaraman; Jason O. Hallstrom (J. Comput. Sci. Coll., 2011)

Making mathematical reasoning fun: tool-assisted, collaborative techniques. - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (ACM Southeast Regional Conference, 2012)

Specification engineering and modular verification using a web-integrated verifying compiler. - Charles T. Cook; Heather K. Harton; Hampton Smith; Murali Sitaraman (ICSE, 2012)

A systematic approach to teaching abstraction and mathematical modeling. - Charles T. Cook; Svetlana Drachova-Strang; Jason O. Hallstrom; Joseph E. Hollingsworth; David Pokrass Jacobs; Joan Krone; Murali Sitaraman (ITiCSE, 2012)

A Case Study in Verification of Embedded Network Software. - Kalyan C. Regula; Hampton Smith; Heather Keown; Jason O. Hallstrom; Nigamanth Sridhar; Murali Sitaraman (NASA Formal Methods, 2012)

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2012)

Teaching mathematical reasoning across the curriculum. - Joan Krone; Doug Baldwin; Jeffrey C. Carver; Joseph E. Hollingsworth; Amruth N. Kumar; Murali Sitaraman (SIGCSE, 2012)

The Location Linking Concept: A Basis for Verification of Code Using Pointers. - Gregory Kulczycki; Hampton Smith; Heather K. Harton; Murali Sitaraman; William F. Ogden; Joseph E. Hollingsworth (VSTTE, 2012)

Mathematical reasoning at the crossroads. - Peter B. Henderson; Murali Sitaraman (Inroads, 2012)

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. - Jason O. Hallstrom; Murali Sitaraman; Joe Hollingsworth; Joan Krone (ACM Southeast Regional Conference, 2013)

Specification and reasoning in SE projects using a Web IDE. - Charles T. Cook; Svetlana Drachova-Strang; Yu-Shan Sun; Murali Sitaraman; Jeffrey C. Carver; Joseph E. Hollingsworth (CSEE&T, 2013)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). - Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2013)

Engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Joan Krone; Jason O. Hallstrom; Murali Sitaraman; Bruce W. Weide (SIGCSE, 2013)

A web-integrated verifying compiler for RESOLVE: a research perspective. - Daniel Welch 001; Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (ISEC, 2014)

An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering. - Jason O. Hallstrom; Cathy Hochrine; Jacob Sorber; Murali Sitaraman (SIGCSE, 2014)

Special session: engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Murali Sitaraman (SIGCSE, 2014)

Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. - Murali Sitaraman; Bruce W. Weide (SIGCSE, 2014)

Evaluation of Formal Reasoning Abilities Using a Concept Inventory. - Joseph E. Hollingsworth; Murali Sitaraman (FMSEE&T@FM, 2015)

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. - Nabil M. Kabbani; Daniel Welch 001; Caleb H. Priester; Stephen Schaub; Blair Durkee; Yu-Shan Sun; Murali Sitaraman (F-IDE, 2015)

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. - Svetlana V. Drachova; Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Richard Pak; Murali Sitaraman (ACM Trans. Comput. Educ., 2015)

Experience report: evolution of a web-integrated software development and verification environment. - Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (Softw. Pract. Exp., 2015)

Tool-Assisted Loop Invariant Development and Analysis. - Caleb H. Priester; Yu-Shan Sun; Murali Sitaraman (CSEE&T, 2016)

Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). - John P. Dougherty; Joseph E. Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2016)

Panel: Engage in Reasoning with Tools. - Gregory Kulczycki; Murali Sitaraman; Nigamanth Sridhar; Bruce W. Weide (SIGCSE, 2016)

Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (VSTTE, 2016)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)

Formalization IDEs Integrated with a Verifying Compiler. - Daniel Welch 001; Blair Durkee; Mike Kabbani; Murali Sitaraman (ICOOOLPS@ECOOP, 2017)

Engineering and Employing Reusable Software Components for Modular Verification. - Daniel Welch 001; Murali Sitaraman (ICSR, 2017)

Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects. - Eileen T. Kraemer; Aubrey Lawson; Murali Sitaraman (SIGCSE, 2017)

An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. - Eileen T. Kraemer; Murali Sitaraman; Joseph E. Hollingsworth (ECSEE, 2018)

Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. - Michelle Cook; Megan Fowler; Jason O. Hallstrom; Joseph E. Hollingsworth; Tim Schwab; Yu-Shan Sun; Murali Sitaraman (ITiCSE, 2018)

Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only). - Stephanie E. August; Mark A. Pauley; S. Megan Che; Eileen T. Kraemer; Murali Sitaraman (SIGCSE, 2018)

A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. - Murali Sitaraman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 2018)

Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals. - Stephanie E. August; S. Megan Che; Eileen T. Kraemer; Mark A. Pauley; Murali Sitaraman (SIGCSE, 2019)

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. - Megan Fowler; Michelle Cook; Kevin Plis; Tim Schwab; Yu-Shan Sun; Murali Sitaraman; Jason O. Hallstrom; Joseph E. Hollingsworth (SIGCSE, 2019)

Engaging in Logical Code Reasoning with an Activity-Based Online Tool. - Joseph E. Hollingsworth; Eileen T. Kraemer; Murali Sitaraman (SIGCSE, 2019)

How Can We Engage in Inclusive, Culturally Responsive Computer Science? - Eileen T. Kraemer; Murali Sitaraman; S. Megan Che (SIGCSE, 2019)

Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. - Megan Fowler; Eileen T. Kraemer; Yu-Shan Sun; Murali Sitaraman; Jason O. Hallstrom; Joseph E. Hollingsworth (ECSEE, 2020)

Basic Code Understanding Challenges for Elementary School Children. - Olivia M. Nche; Raquel Boulware; S. Megan Che; Eileen T. Kraemer; Murali Sitaraman; Victor B. Zordan (RESPECT, 2020)

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. - Megan Fowler; Eileen T. Kraemer; Murali Sitaraman; Joseph E. Hollingsworth (ITiCSE (1), 2021)

An Array Abstraction to Amortize Reasoning About Parallel Client Code. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (SAI (1), 2021)

Automated Analysis of Student Verbalizations in Online Learning Environments. - Nazik A. Almazova; Jason O. Hallstrom; Megan Fowler; Joseph E. Hollingsworth; Murali Sitaraman; Eileen T. Kraemer; Gloria J. Washington (SIGCSE, 2021)

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. - Yu-Shan Sun; Daniel Welch 001; Murali Sitaraman (AppFM@FM, 2021)

Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. - Megan Fowler; Jason O. Hallstrom; Joseph E. Hollingsworth; Eileen T. Kraemer; Murali Sitaraman; Yu-Shan Sun; Jiadi Wang; Gloria J. Washington (Informatics Educ., 2021)

Network Visualization and Assessment of Student Reasoning About Conditionals. - Nathan Hurtig; Joseph E. Hollingsworth; Sarah Blankenship; Eileen T. Kraemer; Murali Sitaraman; Jason O. Hallstrom (ITiCSE (1), 2022)

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. - Nicodemus Msafiri John Mbwambo; Yu-Shan Sun; Joan Krone; Murali Sitaraman (SAI (1), 2022)