Laszka, A., B. Potteiger, Y. Vorobeychik, S. Amin, and X. Koutsoukos,
"Vulnerability of transportation networks to traffic-signal tampering",
Proceedings of the 7th International Conference on Cyber-Physical Systems, Vienna, Austria, IEEE Press, pp. 16, 2016.
Ghafouri, A., W. Abbas, Y. Vorobeychik, and X. Koutsoukos,
"Vulnerability of fixed-time control of signalized intersections to cyber-tampering",
Resilience Week (RWS), Chicago, IL, IEEE, 08/2016.
Download: paper.pdf (553.83 KB)
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)
Zhang, P., Z. Lattmann, J. Klingler, S. Neema, and T. Bapty,
"Visualization Techniques in Collaborative Domain-Specific Modeling Environment",
SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015.
Abstract
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)
Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al.,
"Verification and Design Exploration through Meta Tool Integration with OpenModelica",
10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.
Download: Modelica2014_ecp14096037.pdf (1.51 MB)