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)
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.