Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard,
"VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design",
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014.
Abstract
Download: MDHPCL 2013 04-paper.pdf (1.08 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)
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)
Sogokon, A., P. B. Jackson, and T. T. Johnson,
"Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants",
NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017.
Abstract
Download: persistence-safety-nfm-2017.pdf (1.25 MB)
Gray, J., T. Bapty, S. Neema, and A. Ledeczi,
"Viewpoints and Aspects in Domain-Specific Modeling",
1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
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
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)
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)
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.