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)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai,
"Towards A Model-Based Autonomic Reliability Framework for Computing Clusters",
Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.
Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)