Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: DBLP
IN MY: DBLP
32
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
34
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
35
TITLE: Convolutional Neural Network With Genetic Algorithm for Predicting Energy Consumption in Public Buildings
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: WOS
36
TITLE: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
INDEXED IN: Scopus WOS
37
TITLE: CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
AUTHORS: Augusto, Andre; Belchior, Rafael; Kocsis, Imre; Gonczy, Laszlo; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 5th IEEE International Conference on Blockchain and Cryptocurrency (ICBC) in 2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC
AUTHORS: Augusto, Andre; Belchior, Rafael; Kocsis, Imre; Gonczy, Laszlo; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 5th IEEE International Conference on Blockchain and Cryptocurrency (ICBC) in 2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC
38
TITLE: mu Verum: Intrusion Recovery for Microservice Applications
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
39
TITLE: Automatic Generation of Distributed Algorithms with Generative AI
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
INDEXED IN: DBLP
IN MY: DBLP
40
TITLE: CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
AUTHORS: André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023
AUTHORS: André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023