William Leal

14 papers A 3B 1C 2Misc 2Journal 6
YearRankTypeTitle / Venue / Authors
2011 C conf
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.
SSS
William Leal, Micah McCreery, Daniel Faria
2010 Misc conf
From Kansei to KanseiGenie: Architecture of Federated, Programmable Wireless Sensor Fabrics.
TRIDENTCOM
Mukundan Sridharan, Wenjie Zeng, William Leal, Xi Ju, Rajiv Ramnath, Hongwei Zhang, Anish Arora
2009 J jnl
Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds.
ACM Trans. Auton. Adapt. Syst.
Sandip Bapat, William Leal, Taewoo Kwon, Pihui Wei, Anish Arora
2008 B conf
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language.
ICCCN
Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda
2008 A conf
Enabling Uniform CPU Allocation in the Presence of System Dynamics: Implementation and Experimental Evaluation.
ESA
Frank Drews, William Leal, Pradeep Srinivasan
2007 J jnl
A state-based language for sensor-actuator networks.
SIGBED Rev.
Anish Arora, Mohamed G. Gouda, Jason O. Hallstrom, Ted Herman, William Leal, Nigamanth Sridhar
2007 Misc conf
Chowkidar: A Health Monitor for Wireless Sensor Network Testbeds.
TRIDENTCOM
Sandip Bapat, William Leal, Taewoo Kwon, Pihui Wei, Anish Arora
2007 J jnl
Verification of instrumentation techniques for resource management of real-time systems.
J. Syst. Softw.
Zhenyu Tan, William Leal, Lonnie R. Welch
2006 J jnl
Kansei: A High-Fidelity Sensing Testbed.
IEEE Internet Comput.
Anish Arora, Emre Ertin, Rajiv Ramnath, Mikhail Nesterenko, William Leal
2006 C conf
Stabilizing Health Monitoring for Wireless Sensor Networks.
SSS
William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora
2005 A conf
Toward System Certification of Real-Time Resource Management Middleware.
ESA
Zhenyu Tan, Lonnie R. Welch, William Leal, Michael W. Masters
2004 J jnl
A Container-Based Approach to Object-Oriented Product Lines.
J. Object Technol.
Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal
2004 A conf
Scalable Self-Stabilization via Composition.
ICDCS
William Leal, Anish Arora
2001 J jnl
State-level and value-level simulations in data refinement.
Inf. Process. Lett.
William Leal, Anish Arora