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)
Hasan, S., A. Ghafouri, A. Dubey, G. Karsai, and X. Kousoukos,
"Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models",
ISGT, Washington DC, IEEE, 02/2018.
Abstract
Download: ISGT-2018.pdf (393.8 KB); ISGT_2018_presentation_new.pdf (823.5 KB)