2007 |
3 | 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) |
2005 |
2 | | Zhenyu Tan,
Lonnie R. Welch,
William Leal,
Michael W. Masters:
Toward System Certification of Real-Time Resource Management Middleware.
ESA 2005: 3-9 |
2002 |
1 | EE | Shikha Jain,
Lonnie R. Welch,
David M. Chelberg,
Zhenyu Tan,
David Fleeman,
David Parrott,
Barbara Pfarr,
Mei C. Liu,
Chris Shuler:
Collaborative Problem Solving Agent for on Board Real-Time Systems.
IPDPS 2002 |