Gabor Karsai | ISIS Website

First name

Gabor

Last name

Karsai

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., et al. (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., et al. (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., et al. (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., et al. (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)