First name
Abhishek
Last name
Dubey
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
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)
Dubey, A., Emfinger, W., Gokhale, A., Kumar, P., McDermet, D., Bapty, T., & Karsai, G. (2019). Enabling Strong Isolation for Distributed Real-Time Applications in Edge Computing Scenarios. Ieee Aerospace And Electronic Systems Magazine, 34, 32-45. http://doi.org/10.1109/MAES.2019.2905921 (Original work published July)
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 (Original work published 09AD)
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 (Original work published 03AD)
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 June)