Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
21
TITLE: Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
AUTHORS: Joseba Andoni Agirre; Ahmet Yazici; Katia Di Blasio; Jose Luis de la Vara; Behrooz Sangchoolie; Ugur Yayan; Raul Barbosa; Leire Etxeberria; Massimo Nazaria; Mustafa Karaca;
PUBLISHED: 2022, SOURCE: 18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
AUTHORS: Joseba Andoni Agirre; Ahmet Yazici; Katia Di Blasio; Jose Luis de la Vara; Behrooz Sangchoolie; Ugur Yayan; Raul Barbosa; Leire Etxeberria; Massimo Nazaria; Mustafa Karaca;
PUBLISHED: 2022, SOURCE: 18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
TITLE: Bi-objective optimization of availability and cost for cloud services
AUTHORS: André Bento; João Soares; António Ferreira; João Durães; José Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2022, SOURCE: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022
AUTHORS: André Bento; João Soares; António Ferreira; João Durães; José Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2022, SOURCE: 21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP23
TITLE: How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks? Full Text
AUTHORS: André Bernardes; Ricardo Couceiro; Júlio Medeiros; Jorge Henriques; César Teixeira; Marco Simões; João Durães; Raul Barbosa; Henrique Madeira; Paulo Carvalho;
PUBLISHED: 2022, SOURCE: Sensors, VOLUME: 22, ISSUE: 17
AUTHORS: André Bernardes; Ricardo Couceiro; Júlio Medeiros; Jorge Henriques; César Teixeira; Marco Simões; João Durães; Raul Barbosa; Henrique Madeira; Paulo Carvalho;
PUBLISHED: 2022, SOURCE: Sensors, VOLUME: 22, ISSUE: 17
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP24
TITLE: Strategies for Improving the Error Robustness of Convolutional Neural Networks
AUTHORS: Morais, Antonio; Barbosa, Raul; Lourenco, Nuno; Cerveira, Frederico; Lombardi, Michele; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
AUTHORS: Morais, Antonio; Barbosa, Raul; Lourenco, Nuno; Cerveira, Frederico; Lombardi, Michele; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: 
Scopus 
WOS
Scopus WOS25
TITLE: ucXception: A Framework for Evaluating Dependability of Software Systems
AUTHORS: Almeida, Pedro David; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
AUTHORS: Almeida, Pedro David; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: Scopus WOS
Scopus WOS26
TITLE: ucXception: A Framework for Evaluating Dependability of Software Systems
AUTHORS: Pedro David Almeida; Frederico Cerveira; Raul Barbosa; Henrique Madeira;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
AUTHORS: Pedro David Almeida; Frederico Cerveira; Raul Barbosa; Henrique Madeira;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: Strategies for Improving the Error Robustness of Convolutional Neural Networks
AUTHORS: António Morais; Raul Barbosa; Nuno Lourenço; Frederico Cerveira; Michele Lombardi; Henrique Madeira;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
AUTHORS: António Morais; Raul Barbosa; Nuno Lourenço; Frederico Cerveira; Michele Lombardi; Henrique Madeira;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP28
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
29
TITLE: End-to-end secure group communication for the Internet of Things
AUTHORS: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLISHED: 2021, SOURCE: J. Inf. Secur. Appl., VOLUME: 58
AUTHORS: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLISHED: 2021, SOURCE: J. Inf. Secur. Appl., VOLUME: 58
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP30
TITLE: Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: WOS DBLP
WOS DBLP IN MY: DBLP
DBLP