(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).
(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).
(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.
(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).
(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.
(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).
(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).
(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).
(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).
(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).