Efficient Distributed Snapshots. - Madalene Spezialetti; Phil Kearns (ICDCS, 1986)

A General Approach to Recognizing Event Occurences in Distributed Computations. - Madalene Spezialetti; John P. Kearns (ICDCS, 1988)

Simultaneous Regions: A Framework for the Consistent Monitoring of Distributed Systems. - Madalene Spezialetti; John P. Kearns (ICDCS, 1989)

A General Methodology for the System State Characterization of Event Recognitions. - Madalene Spezialetti; John P. Kearns (SRDS, 1990)

Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races. - Rajiv Gupta 001; Madalene Spezialetti (Symposium on Testing, Analysis, and Verification, 1991)

An Approach to Reducing Delays in Recognizing Distributed Event Occurrences. - Madalene Spezialetti (Workshop on Parallel and Distributed Debugging, 1991)

Towards a Non-Intrusive Approach for Monitoring Distributed Computations through Perturbation Analysis. - Rajiv Gupta 001; Madalene Spezialetti (LCPC, 1993)

Debugging Distributed Programs through the Detection of Simultaneous Events. - Madalene Spezialetti; Rajiv Gupta 001 (ICDCS, 1994)

Perturbation Analysis: A Static Analysis Approach for the Non-Intrusive Monitoring of Distributed Programs. - Madalene Spezialetti; Rajiv Gupta 001 (ICPP (2), 1994)

Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks. - Rajiv Gupta 001; Madalene Spezialetti (RTSS, 1994)

Exploiting Program Semantics for Efficient Instrumentation of Distributed Event Recognitions. - Madalene Spezialetti; Rajiv Gupta 001 (SRDS, 1994)

Dynamic Techniques for Minimizing the Intrusive Effect of Monitoring Actions. - Rajiv Gupta 001; Madalene Spezialetti (ICDCS, 1995)

EVEREST: An Event Recognition Testbed. - Madalene Spezialetti; Scott Bernberg (ICDCS, 1995)

Loop Monotonic Statements. - Madalene Spezialetti; Rajiv Gupta 001 (IEEE Trans. Software Eng., 1995)

On-Line Avoidance of the Intrusive Affects of Monitoring on Runtime Scheduling Decisions. - Wanqing Wu; Madalene Spezialetti; Rajiv Gupta 001 (ICDCS, 1996)

Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. - Wanqing Wu; Rajiv Gupta 001; Madalene Spezialetti (ICECCS, 1996)

Guaranteed intrusion removal from monitored distributed applications. - Wanqing Wu; Madalene Spezialetti; Rajiv Gupta 001 (SPDP, 1996)

A Compact Task Graph Representation for Real-Time Scheduling. - Rajiv Gupta 001; Madalene Spezialetti (Real Time Syst., 1996)

VidNet: Distributed Processing Environment for Computer Generated Animation. - Darrin Weber; Madalene Spezialetti; Hassan R. Barada (Softw. Pract. Exp., 1996)

Efficient Distributed Ray Tracing on a Cluster of Workstations. - Darrin Weber; Hassan R. Barada; Madalene Spezialetti (PDPTA, 1997)

A Protocol for Removing Communication Intrusion in Monitored Distributed Systems. - Wanqing Wu; Madalene Spezialetti; Rajiv Gupta 001 (ICDCS, 1998)

Experimental evaluation of on-line techniques for removing monitoring intrusion. - Wanqing Wu; Rajiv Gupta 001; Madalene Spezialetti (SPDT, 1998)

Participating in patterns: an introduction to recursion. - Madalene Spezialetti (J. Comput. Sci. Coll., 2000)

Expanding student enthusiasm for, and understanding of, introductory CS: panel discussion. - Bridget Baird; Martin Allen; Christine Chung 001; Norman Danner; Madalene Spezialetti (J. Comput. Sci. Coll., 2010)

Video scenarios: listening, discussing, exploring, solving - a participatory approach for the computing classroom and beyond: pre-conference workshop. - Madalene Spezialetti (J. Comput. Sci. Coll., 2010)

Workshop: It's more than coding- using video scenarios to engage students in computing. - Madalene Spezialetti (FIE, 2012)

Computing in context: video scenarios for recognizing and utilizing basic computing constructs (abstract only). - Madalene Spezialetti (SIGCSE, 2012)

Thinking about asking: Encouraging a questioning approach to requirements gathering and problem solving. - Madalene Spezialetti (FIE, 2016)

Innovative Thinking: Encouraging Creative Diversity with Video Scenarios. - Madalene Spezialetti (FIE, 2018)

Bringing Creative Thinking Exercises into the Computing Classroom with Ready-to-Use Video Scenarios. - Madalene Spezialetti (SIGCSE, 2020)

Beyond the Coder and the Code: An Exercise Structure for Fostering a People-Centered Problem-Solving Perspective with Video Scenarios. - Madalene Spezialetti (ITiCSE (2), 2021)

Putting People in the Picture: Building Requirements Gathering, Design Specification and Communication Skills with Video Scenarios. - Madalene Spezialetti (SIGCSE, 2021)

Add Some Action to the Output: A Ready-to-Use, Customizable Asset for Easily Adding Animation to Python Programs. - Madalene Spezialetti; Brian Garten (SIGCSE (2), 2022)

Adding Diversity, Humanity, and Motivation to Programming Assignments with Easy-to-Create Cameo Appearance Videos. - Madalene Spezialetti (SIGCSE (2), 2023)

See Logic In Life: An Individualized Exercise Structure for Making and Sharing Computing Concept Connections. - Madalene Spezialetti (SIGCSE (2), 2024)