Balasubramanian, D. ., Pap, G. ., Nine, H. ., Karsai, G. ., Lowry, M. ., Pasareanu, C. ., & Pressburger, T. . (2011). Rapid property specification and checking for model-based formalisms. In 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121–127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published May 2011)

Sztipanovits, J. ., Koutsoukos, X. ., Karsai, G. ., Kottenstette, N. ., Antsaklis, P. ., Gupta, V. ., … Wang, S. . (2012). Toward a Science of Cyber–Physical System Integration. Proceedings of the IEEE, 100, 29–44. http://doi.org/10.1109/JPROC.2011.2161529 (Original work published January 2012)

Pradhan, S. ., Dubey, A. ., Levendovszky, T. ., Kumar, P. S., Emfinger, W. A., Balasubramanian, D. ., … Karsai, G. . (2016). Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software, 122, 344–363. http://doi.org/https://doi.org/10.1016/j.jss.2016.05.038 (Original work published December 2016)

Ramakrishna, S. ., Dubey, A. ., Burruss, M. ., Hartsell, C. ., Mahadevan, N. ., Nannapaneni, S. ., … Karsai, G. . (2019). Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) (pp. 108–117). Valencia, Spain: IEEE. http://doi.org/10.1109/ISORC.2019.00032 (Original work published May 2019)

Hartsell, C. ., Mahadevan, N. ., Ramakrishna, S. ., Dubey, A. ., Bapty, T. ., Johnson, T. ., … Karsai, G. . (2019). Model-Based Design for CPS with Learning-Enabled Components. In Proceedings of the Workshop on Design Automation for CPS and IoT (pp. 1–9). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3313151.3313166

Coglio, A. ., McCarthy, E. ., Westfold, S. ., Balasubramanian, D. ., Dubey, A. ., & Karsai, G. . (2022). Syntheto: A Surface Language for APT and ACL2. Electronic Proceedings in Theoretical Computer Science, 359. http://doi.org/10.4204/eptcs.359.13 (Original work published May 2022)

Hasan, S. ., Dubey, A. ., Karsai, G. ., & Koutsoukos, X. . (2020). A game-theoretic approach for power systems defense against dynamic cyber-attacks. International Journal of Electrical Power & Energy Systems, 115, 105432. http://doi.org/https://doi.org/10.1016/j.ijepes.2019.105432

Balasubramanian, D. ., Zhang, Z. ., McDermet, D. ., & Karsai, G. . (2019). Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java. In 34th ACM/SIGAPP Symposium on Applied Computing (pp. 2178–2185). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3297280.3297494 (Original work published April 2019)

Hasan, S. ., Ghafouri, A. ., Dubey, A. ., Karsai, G. ., & Koutsoukos, X. . (2018). Vulnerability analysis of power systems based on cyber-attack and defense models. In 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) (pp. 1–5). Washington, DC, USA: IEEE. http://doi.org/10.1109/ISGT.2018.8403337 (Original work published February 2018)

Zhang, Z. ., Zhan, Z. ., Balasubramanian, D. ., Koutsoukos, X. ., & Karsai, G. . (2018). Triggering Rowhammer Hardware Faults on ARM: A Revisit. In 2018 Workshop on Attacks and Solutions in Hardware Security (pp. 24–33). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3266444.3266454 (Original work published October 2018)