William Leal

According to our database, William Leal authored at least 14 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.

William Leal, Micah McCreery, Daniel Faria

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

2010

From Kansei to KanseiGenie: Architecture of Federated, Programmable Wireless Sensor Fabrics.

Mukundan Sridharan, Wenjie Zeng, William Leal, Xi Ju, Rajiv Ramnath, Hongwei Zhang, Anish Arora

Proceedings of the Testbeds and Research Infrastructures. Development of Networks and Communities, 2010

2009

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

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

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Enabling Uniform CPU Allocation in the Presence of System Dynamics: Implementation and Experimental Evaluation.

Frank Drews, William Leal, Pradeep Srinivasan

Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008

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

Verification of instrumentation techniques for resource management of real-time systems.

Zhenyu Tan, William Leal, Lonnie R. Welch

J. Syst. Softw., 2007

Chowkidar: A Health Monitor for Wireless Sensor Network Testbeds.

Sandip Bapat, William Leal, Taewoo Kwon, Pihui Wei, Anish Arora

Proceedings of the 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2007

2006

Kansei: A High-Fidelity Sensing Testbed.

Anish Arora, Emre Ertin, Rajiv Ramnath, Mikhail Nesterenko, William Leal

IEEE Internet Comput., 2006

Stabilizing Health Monitoring for Wireless Sensor Networks.

William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora

Proceedings of the Stabilization, 2006

2005

Toward System Certification of Real-Time Resource Management Middleware.

Zhenyu Tan, Lonnie R. Welch, William Leal, Michael W. Masters

Proceedings of The 2005 International Conference on Embedded Systems and Applications, 2005

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

Scalable Self-Stabilization via Composition.

William Leal, Anish Arora

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

2001

State-level and value-level simulations in data refinement.

William Leal, Anish Arora

Inf. Process. Lett., 2001