Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
1
TITLE: Demo: Mobility-Aware 5G Vehicles Handover via Location-Based RTT Prediction
AUTHORS: Raul Barbosa; Bruno Mendes; Afonso Teixeira; Marco Araújo; Daniel Corujo; Petia Georgieva; Susana Sargento;
PUBLISHED: 2025, SOURCE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
AUTHORS: Raul Barbosa; Bruno Mendes; Afonso Teixeira; Marco Araújo; Daniel Corujo; Petia Georgieva; Susana Sargento;
PUBLISHED: 2025, SOURCE: 16th IEEE Vehicular Networking Conference, VNC 2025 in IEEE Vehicular Networking Conference, VNC 2025, Porto, Portugal, June 2-4, 2025
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications
AUTHORS: Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa;
PUBLISHED: 2025, SOURCE: 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN - Workshops, Naples, Italy, June 23-26, 2025
AUTHORS: Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa;
PUBLISHED: 2025, SOURCE: 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN - Workshops, Naples, Italy, June 23-26, 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Translating meaning representations to behavioural interface specifications
AUTHORS: Leong, Iat Tou; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
AUTHORS: Leong, Iat Tou; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
4
TITLE: Resilient Virtualization
AUTHORS: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLISHED: 2024, SOURCE: Computer, VOLUME: 57, ISSUE: 2
AUTHORS: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLISHED: 2024, SOURCE: Computer, VOLUME: 57, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Vinia: Voice-enabled intent-based networking for industrial automation
AUTHORS: Raul Barbosa; João Pedro Fonseca; Marco Araújo; Daniel Corujo;
PUBLISHED: 2024, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 21, ISSUE: 1
AUTHORS: Raul Barbosa; João Pedro Fonseca; Marco Araújo; Daniel Corujo;
PUBLISHED: 2024, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 21, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Resilient Virtualization
AUTHORS: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: COMPUTER, VOLUME: 57, ISSUE: 2
AUTHORS: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: COMPUTER, VOLUME: 57, ISSUE: 2
7
TITLE: Forecasting and Improving Latency in 5G V2X Networks for Autonomous Driving Scenarios
AUTHORS: Barbosa, Raul; Georgieva, Petia ; Sargento, Susana; Rito, Pedro; Araujo, Marco; Goes, Adriano;
PUBLISHED: 2024, SOURCE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024
AUTHORS: Barbosa, Raul; Georgieva, Petia ; Sargento, Susana; Rito, Pedro; Araujo, Marco; Goes, Adriano;
PUBLISHED: 2024, SOURCE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024
8
TITLE: Efficient Causal Access in Geo-Replicated Storage Systems
AUTHORS: Stanley Lima; Filipe Araújo; Miguel de Oliveira Guerreiro; Jaime Correia; André Bento; Raul Barbosa;
PUBLISHED: 2023, SOURCE: J. Grid Comput., VOLUME: 21, ISSUE: 1
AUTHORS: Stanley Lima; Filipe Araújo; Miguel de Oliveira Guerreiro; Jaime Correia; André Bento; Raul Barbosa;
PUBLISHED: 2023, SOURCE: J. Grid Comput., VOLUME: 21, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension
AUTHORS: Haytham Hijazi; João Durães; Ricardo Couceiro; João Castelhano; Raul Barbosa; Júlio Medeiros; Miguel Castelo Branco; Paulo de Carvalho; Henrique Madeira;
PUBLISHED: 2023, SOURCE: IEEE Trans. Software Eng., VOLUME: 49, ISSUE: 2
AUTHORS: Haytham Hijazi; João Durães; Ricardo Couceiro; João Castelhano; Raul Barbosa; Júlio Medeiros; Miguel Castelo Branco; Paulo de Carvalho; Henrique Madeira;
PUBLISHED: 2023, SOURCE: IEEE Trans. Software Eng., VOLUME: 49, ISSUE: 2
10
TITLE: Linking poverty with water and sanitation in targeting households for achieving sustainable development Full Text
AUTHORS: Hijazi, Haytham; Duraes, Joao; Couceiro, Ricardo; Castelhano, Joao; Barbosa, Raul; Medeiros, Julio; Castelo Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 49, ISSUE: 2
AUTHORS: Hijazi, Haytham; Duraes, Joao; Couceiro, Ricardo; Castelhano, Joao; Barbosa, Raul; Medeiros, Julio; Castelo Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 49, ISSUE: 2
INDEXED IN: 
WOS
WOS