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

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)

Dubey, A. ., Karsai, G. ., Gokhale, A. ., Emfinger, W. ., & Kumar, P. S. (2017). DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. IEEE. http://doi.org/https://doi.org/10.48550/arXiv.1710.00268

Chhokra, A. ., Dubey, A. ., Mahadevan, N. ., Hasan, S. ., & Karsai, G. . (2018). Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies. In Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (pp. 201–225). Springer International Publishing. http://doi.org/10.1007/978-3-319-74962-4_8

Barreto, C. ., Eghtesad, T. ., Eisele, S. ., Laszka, A. ., Dubey, A. ., & Koutsoukos, X. . (2020). Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems. In 3rd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2020) (Vol. 1, pp. 129–136). Tampere, Finland: IEEE. http://doi.org/10.1109/ICPS48405.2020.9274708 (Original work published 2025)

Hartsell, C. ., Ramakrishna, S. ., Dubey, A. ., Stojcsics, D. ., Mahadevan, N. ., & Karsai, G. . (2021). ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. In 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS (pp. 118–129). Madrid, Spain: IEEE. http://doi.org/10.1109/SEAMS51251.2021.00025