State-level and value-level simulations in data refinement. - William Leal; Anish Arora (Inf. Process. Lett., 2001)

Scalable Self-Stabilization via Composition. - William Leal; Anish Arora (ICDCS, 2004)

A Container-Based Approach to Object-Oriented Product Lines. - Jason O. Hallstrom; Nigamanth Sridhar; Paolo A. G. Sivilotti; Anish Arora; William Leal (J. Object Technol., 2004)

Toward System Certification of Real-Time Resource Management Middleware. - Zhenyu Tan; Lonnie R. Welch; William Leal; Michael W. Masters (ESA, 2005)

Stabilizing Health Monitoring for Wireless Sensor Networks. - William Leal; Sandip Bapat; Taewoo Kwon; Pihui Wei; Anish Arora (SSS, 2006)

Kansei: A High-Fidelity Sensing Testbed. - Anish Arora; Emre Ertin; Rajiv Ramnath; Mikhail Nesterenko; William Leal (IEEE Internet Comput., 2006)

Chowkidar: A Health Monitor for Wireless Sensor Network Testbeds. - Sandip Bapat; William Leal; Taewoo Kwon; Pihui Wei; Anish Arora (TRIDENTCOM, 2007)

Verification of instrumentation techniques for resource management of real-time systems. - Zhenyu Tan; William Leal; Lonnie R. Welch (J. Syst. Softw., 2007)

A state-based language for sensor-actuator networks. - Anish Arora; Mohamed G. Gouda; Jason O. Hallstrom; Ted Herman; William Leal; Nigamanth Sridhar (SIGBED Rev., 2007)

Enabling Uniform CPU Allocation in the Presence of System Dynamics: Implementation and Experimental Evaluation. - Frank Drews; William Leal; Pradeep Srinivasan (ESA, 2008)

DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. - Andrew R. Dalton; William P. McCartney; Kajari Ghosh Dastidar; Jason O. Hallstrom; Nigamanth Sridhar; Ted Herman; William Leal; Anish Arora; Mohamed G. Gouda (ICCCN, 2008)

Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds. - Sandip Bapat; William Leal; Taewoo Kwon; Pihui Wei; Anish Arora (ACM Trans. Auton. Adapt. Syst., 2009)

From Kansei to KanseiGenie: Architecture of Federated, Programmable Wireless Sensor Fabrics. - Mukundan Sridharan; Wenjie Zeng; William Leal; Xi Ju; Rajiv Ramnath; Hongwei Zhang 001; Anish Arora (TRIDENTCOM, 2010)

The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System. - William Leal; Micah McCreery; Daniel Faria (SSS, 2011)