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 05/2011AD)

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 01/2012AD)

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 12/2016AD)

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 05/2019AD)

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 05/2022AD)

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 04/2019AD)

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 02/2018AD)

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 10/2018AD)