Filipe João Boavida de Mendonça Machado de Araújo
AuthID: R-000-55S
1
TITLE: Efficient Causal Access in Geo-Replicated Storage Systems Full Text
AUTHORS: Lima, Stanley; Araujo, Filipe; Guerreiro, Miguel de Oliveira; Correia, Jaime; Bento, Andre; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 21, ISSUE: 1
AUTHORS: Lima, Stanley; Araujo, Filipe; Guerreiro, Miguel de Oliveira; Correia, Jaime; Bento, Andre; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 21, ISSUE: 1
2
TITLE: Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems
AUTHORS: Baptista, Goncalo; Correia, Jaime; Bento, Andre; Soares, Joao; Ferreira, Antonio; Duraes, Joao; Barbosa, Raul; Araujo, Filipe;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTHORS: Baptista, Goncalo; Correia, Jaime; Bento, Andre; Soares, Joao; Ferreira, Antonio; Duraes, Joao; Barbosa, Raul; Araujo, Filipe;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
3
TITLE: Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud Services Full Text
AUTHORS: Bento, Andre; Araujo, Filipe; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 21, ISSUE: 4
AUTHORS: Bento, Andre; Araujo, Filipe; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 21, ISSUE: 4
4
TITLE: The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers Full Text
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
5
TITLE: MobiWise: Eco-routing decision support leveraging the Internet of Things
AUTHORS: Aguiar, Ana ; Fernandes, Paulo; Guerreiro, Andreia P.; Tomas, Ricardo; Agnelo, Joao; Santos, Jose Luis; Araujo, Filipe; Coelho, Margarida C.; Fonseca, Carlos M.; d'Orey, Pedro M. ; Luis, Miguel; Sargento, Susana;
PUBLISHED: 2022, SOURCE: SUSTAINABLE CITIES AND SOCIETY, VOLUME: 87
AUTHORS: Aguiar, Ana ; Fernandes, Paulo; Guerreiro, Andreia P.; Tomas, Ricardo; Agnelo, Joao; Santos, Jose Luis; Araujo, Filipe; Coelho, Margarida C.; Fonseca, Carlos M.; d'Orey, Pedro M. ; Luis, Miguel; Sargento, Susana;
PUBLISHED: 2022, SOURCE: SUSTAINABLE CITIES AND SOCIETY, VOLUME: 87
6
TITLE: Bi-objective optimization of availability and cost for cloud services
AUTHORS: Bento, A; Soares, J; Ferreira, A; Duraes, J; Ferreira, J; Carreira, R; Araujo, F; Barbosa, R;
PUBLISHED: 2022, SOURCE: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022 in NCA 2022 - 2022 IEEE 21st International Symposium on Network Computing and Applications
AUTHORS: Bento, A; Soares, J; Ferreira, A; Duraes, J; Ferreira, J; Carreira, R; Araujo, F; Barbosa, R;
PUBLISHED: 2022, SOURCE: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022 in NCA 2022 - 2022 IEEE 21st International Symposium on Network Computing and Applications
7
TITLE: The circulant hash revisited Full Text
AUTHORS: Araujo, F; Neves, S;
PUBLISHED: 2021, SOURCE: JOURNAL OF MATHEMATICAL CRYPTOLOGY, VOLUME: 15, ISSUE: 1
AUTHORS: Araujo, F; Neves, S;
PUBLISHED: 2021, SOURCE: JOURNAL OF MATHEMATICAL CRYPTOLOGY, VOLUME: 15, ISSUE: 1
9
TITLE: Reductions and abstractions for formal verification of distributed round-based algorithms Full Text
AUTHORS: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLISHED: 2021, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, ISSUE: 3
AUTHORS: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLISHED: 2021, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, ISSUE: 3
10
TITLE: End-to-end secure group communication for the Internet of Things
AUTHORS: Lizardo, A; Barbosa, R; Neves, S; Correia, J; Araujo, F;
PUBLISHED: 2021, SOURCE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 58
AUTHORS: Lizardo, A; Barbosa, R; Neves, S; Correia, J; Araujo, F;
PUBLISHED: 2021, SOURCE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 58
