| Mires: Intrusion recovery for applications based on backend-as-a-service D Vaz, DR Matos, ML Pardal, M Correia IEEE Transactions on Cloud Computing 11 (2), 2011-2027, 2022 | 4 | 2022 |
| Automatic Generation of Distributed Algorithms with Generative AI D Vaz, DR Matos, ML Pardal, M Correia 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | 2 | 2023 |
| MIRES: Recovering mobile applications based on backend-as-a-service from cyber attacks D Vaz, D Matos, M Pardal, M Correia MobiQuitous 2020-17th EAI International Conference on Mobile and Ubiquitous …, 2020 | 2 | 2020 |
| Synthesis of Fault-Tolerant Reliable Broadcast Algorithms with Reinforcement Learning D Vaz, DR Matos, ML Pardal, M Correia IEEE Access, 2023 | | 2023 |
| Solving Distributed Systems’ Problems using Generative AI DL Vaz | | 2023 |
| Learning to generate Reliable Broadcast Algorithms D Vaz, DR Matos, ML Pardal, M Correia arXiv preprint arXiv:2208.00525, 2022 | | 2022 |
