Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
1
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
2
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
DBLP3
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
DBLP4
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
5
TITLE: Forecasting and Improving Latency in 5G V2X Networks for Autonomous Driving Scenarios
AUTHORS: Raul Barbosa; Petia Georgieva; Susana Sargento; Pedro Rito; Marco Araujo; Adriano Goes;
PUBLISHED: 2024, SOURCE: 22nd IEEE Mediterranean Electrotechnical Conference, MELECON 2024 in 2024 IEEE 22nd Mediterranean Electrotechnical Conference, MELECON 2024
AUTHORS: Raul Barbosa; Petia Georgieva; Susana Sargento; Pedro Rito; Marco Araujo; Adriano Goes;
PUBLISHED: 2024, SOURCE: 22nd IEEE Mediterranean Electrotechnical Conference, MELECON 2024 in 2024 IEEE 22nd Mediterranean Electrotechnical Conference, MELECON 2024
INDEXED IN: 
Scopus
Scopus6
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
DBLP7
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
8
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
WOS9
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
10
TITLE: Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
AUTHORS: Leong, Iat Tou; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTHORS: Leong, Iat Tou; Barbosa, Raul;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXED IN: Scopus WOS
Scopus WOS