Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
1
TÃTULO: Demo: Mobility-Aware 5G Vehicles Handover via Location-Based RTT Prediction
AUTORES: Raul Barbosa; Bruno Mendes; Afonso Teixeira; Marco Araújo; Daniel Corujo; Petia Georgieva; Susana Sargento;
PUBLICAÇÃO: 2025, FONTE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
AUTORES: Raul Barbosa; Bruno Mendes; Afonso Teixeira; Marco Araújo; Daniel Corujo; Petia Georgieva; Susana Sargento;
PUBLICAÇÃO: 2025, FONTE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
INDEXADO EM:
Scopus
DBLP


2
TÃTULO: Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications
AUTORES: Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa;
PUBLICAÇÃO: 2025, FONTE: 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN - Workshops, Naples, Italy, June 23-26, 2025
AUTORES: Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa;
PUBLICAÇÃO: 2025, FONTE: 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN - Workshops, Naples, Italy, June 23-26, 2025
INDEXADO EM:
DBLP

NO MEU:
DBLP

3
TÃTULO: Translating meaning representations to behavioural interface specifications
AUTORES: Leong, Iat Tou; Barbosa, Raul;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
AUTORES: Leong, Iat Tou; Barbosa, Raul;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
4
TÃTULO: Resilient Virtualization
AUTORES: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLICAÇÃO: 2024, FONTE: Computer, VOLUME: 57, NÚMERO: 2
AUTORES: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLICAÇÃO: 2024, FONTE: Computer, VOLUME: 57, NÚMERO: 2
INDEXADO EM:
DBLP

NO MEU:
DBLP

5
TÃTULO: Vinia: Voice-enabled intent-based networking for industrial automation
AUTORES: Raul Barbosa; João Pedro Fonseca; Marco Araújo; Daniel Corujo;
PUBLICAÇÃO: 2024, FONTE: Comput. Sci. Inf. Syst., VOLUME: 21, NÚMERO: 1
AUTORES: Raul Barbosa; João Pedro Fonseca; Marco Araújo; Daniel Corujo;
PUBLICAÇÃO: 2024, FONTE: Comput. Sci. Inf. Syst., VOLUME: 21, NÚMERO: 1
INDEXADO EM:
DBLP

NO MEU:
DBLP

6
TÃTULO: Resilient Virtualization
AUTORES: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLICAÇÃO: 2024, FONTE: COMPUTER, VOLUME: 57, NÚMERO: 2
AUTORES: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLICAÇÃO: 2024, FONTE: COMPUTER, VOLUME: 57, NÚMERO: 2
7
TÃTULO: Forecasting and Improving Latency in 5G V2X Networks for Autonomous Driving Scenarios
AUTORES: Barbosa, Raul; Georgieva, Petia ; Sargento, Susana; Rito, Pedro; Araujo, Marco; Goes, Adriano;
PUBLICAÇÃO: 2024, FONTE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024
AUTORES: Barbosa, Raul; Georgieva, Petia ; Sargento, Susana; Rito, Pedro; Araujo, Marco; Goes, Adriano;
PUBLICAÇÃO: 2024, FONTE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024
8
TÃTULO: Efficient Causal Access in Geo-Replicated Storage Systems
AUTORES: Stanley Lima; Filipe Araújo; Miguel de Oliveira Guerreiro; Jaime Correia; André Bento; Raul Barbosa;
PUBLICAÇÃO: 2023, FONTE: J. Grid Comput., VOLUME: 21, NÚMERO: 1
AUTORES: Stanley Lima; Filipe Araújo; Miguel de Oliveira Guerreiro; Jaime Correia; André Bento; Raul Barbosa;
PUBLICAÇÃO: 2023, FONTE: J. Grid Comput., VOLUME: 21, NÚMERO: 1
INDEXADO EM:
DBLP

NO MEU:
DBLP

9
TÃTULO: Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension
AUTORES: Haytham Hijazi; João Durães; Ricardo Couceiro; João Castelhano; Raul Barbosa; Júlio Medeiros; Miguel Castelo Branco; Paulo de Carvalho; Henrique Madeira;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Software Eng., VOLUME: 49, NÚMERO: 2
AUTORES: Haytham Hijazi; João Durães; Ricardo Couceiro; João Castelhano; Raul Barbosa; Júlio Medeiros; Miguel Castelo Branco; Paulo de Carvalho; Henrique Madeira;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Software Eng., VOLUME: 49, NÚMERO: 2
10
TÃTULO: Linking poverty with water and sanitation in targeting households for achieving sustainable development Full Text
AUTORES: Hijazi, Haytham; Duraes, Joao; Couceiro, Ricardo; Castelhano, Joao; Barbosa, Raul; Medeiros, Julio; Castelo Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 49, NÚMERO: 2
AUTORES: Hijazi, Haytham; Duraes, Joao; Couceiro, Ricardo; Castelhano, Joao; Barbosa, Raul; Medeiros, Julio; Castelo Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 49, NÚMERO: 2
INDEXADO EM:
WOS
