Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
21
TITLE: AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access
AUTHORS: Raul Barbosa; Marco Araujo;
PUBLISHED: 2022, SOURCE: 16th International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2022 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2022, Biarritz, France, August 8-12, 2022
AUTHORS: Raul Barbosa; Marco Araujo;
PUBLISHED: 2022, SOURCE: 16th International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2022 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2022, Biarritz, France, August 8-12, 2022
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP22
TITLE: Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
AUTHORS: Agirre, Joseba A.; Yazici, Ahmet; Di Blasio, Katia; Luis de la Vara, Jose; Sangchoolie, Behrooz; Yayan, Ugur; Barbosa, Raul; Etxeberria, Leire; Nazaria, Massimo; Karaca, Mustafa;
PUBLISHED: 2022, SOURCE: 18th European Dependable Computing Conference (EDCC) in 2022 18TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2022)
AUTHORS: Agirre, Joseba A.; Yazici, Ahmet; Di Blasio, Katia; Luis de la Vara, Jose; Sangchoolie, Behrooz; Yayan, Ugur; Barbosa, Raul; Etxeberria, Leire; Nazaria, Massimo; Karaca, Mustafa;
PUBLISHED: 2022, SOURCE: 18th European Dependable Computing Conference (EDCC) in 2022 18TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2022)
INDEXED IN: 
WOS
WOS23
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
DBLP24
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
DBLP25
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
DBLP26
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 WOS27
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 WOS28
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
DBLP29
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
DBLP30
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
