| 2007 |
|---|
| 7 | EE | Zhenyu Tan,
William Leal,
Lonnie R. Welch:
Verification of instrumentation techniques for resource management of real-time systems.
Journal of Systems and Software 80(7): 1015-1022 (2007) |
| 2006 |
|---|
| 6 | EE | William Leal,
Sandip Bapat,
Taewoo Kwon,
Pihui Wei,
Anish Arora:
Stabilizing Health Monitoring for Wireless Sensor Networks.
SSS 2006: 395-410 |
| 5 | EE | Anish Arora,
Emre Ertin,
Rajiv Ramnath,
Mikhail Nesterenko,
William Leal:
Kansei: A High-Fidelity Sensing Testbed.
IEEE Internet Computing 10(2): 35-47 (2006) |
| 2005 |
|---|
| 4 | | Zhenyu Tan,
Lonnie R. Welch,
William Leal,
Michael W. Masters:
Toward System Certification of Real-Time Resource Management Middleware.
ESA 2005: 3-9 |
| 2004 |
|---|
| 3 | EE | William Leal,
Anish Arora:
Scalable Self-Stabilization via Composition.
ICDCS 2004: 12-21 |
| 2 | EE | Jason O. Hallstrom,
Nigamanth Sridhar,
Paolo A. G. Sivilotti,
Anish Arora,
William Leal:
A Container-Based Approach to Object-Oriented Product Lines.
Journal of Object Technology 3(4): 161-175 (2004) |
| 2001 |
|---|
| 1 | EE | William Leal,
Anish Arora:
State-level and value-level simulations in data refinement.
Inf. Process. Lett. 77(2-4): 159-167 (2001) |
