Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty,
"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.
Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala,
"A Guided Explorative Approach for Autonomic Healing of Model-Based Systems",
Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.
Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)