Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
51
TÃTULO: The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
AUTORES: Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Becker, H; Enrico Ferrari; Jahic, J; Kanak, A; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; Smrcka, A; Ahmet Yazici; Peter Folkesson; Behrooz Sangchoolie;
PUBLICAÇÃO: 2020, FONTE: 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020
AUTORES: Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Becker, H; Enrico Ferrari; Jahic, J; Kanak, A; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; Smrcka, A; Ahmet Yazici; Peter Folkesson; Behrooz Sangchoolie;
PUBLICAÇÃO: 2020, FONTE: 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP52
TÃTULO: Emulating representative software vulnerabilities using field data
AUTORES: Barbosa, R; Cerveira, F; Goncalo, L; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: COMPUTING, VOLUME: 101, NÚMERO: 2
AUTORES: Barbosa, R; Cerveira, F; Goncalo, L; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: COMPUTING, VOLUME: 101, NÚMERO: 2
53
TÃTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLICAÇÃO: 2019, FONTE: SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, VOLUME: 11699
AUTORES: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLICAÇÃO: 2019, FONTE: SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, VOLUME: 11699
54
TÃTULO: Fast local VM migration against hypervisor corruption
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
55
TÃTULO: Spotting problematic code lines using nonintrusive programmers' biofeedback
AUTORES: Couceiro, R; Barbosa, R; Duraes, J; Duarte, G; Castelhano, J; Duarte, C; Teixeira, C; Laranjeiro, N ; Medeiros, J; de Carvalho, P ; Branco, MC; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
AUTORES: Couceiro, R; Barbosa, R; Duraes, J; Duarte, G; Castelhano, J; Duarte, C; Teixeira, C; Laranjeiro, N ; Medeiros, J; de Carvalho, P ; Branco, MC; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
56
TÃTULO: Soft error sensitivity and vulnerability of languages and their implementations
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: IJCCBS, VOLUME: 9, NÚMERO: 4
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: IJCCBS, VOLUME: 9, NÚMERO: 4
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP57
TÃTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
AUTORES: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP58
TÃTULO: The most frequent programming mistakes that cause software vulnerabilities PDF
AUTORES: Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1912.01948
AUTORES: Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1912.01948
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP59
TÃTULO: Weightless neuro-symbolic GPS trajectory classification
AUTORES: Raul Barbosa; Douglas de O Cardoso; Diego Carvalho; Felipe M G França;
PUBLICAÇÃO: 2018, FONTE: Neurocomputing, VOLUME: 298
AUTORES: Raul Barbosa; Douglas de O Cardoso; Diego Carvalho; Felipe M G França;
PUBLICAÇÃO: 2018, FONTE: Neurocomputing, VOLUME: 298
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP60
TÃTULO: Exploratory Data Analysis of Fault Injection Campaigns
AUTORES: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLICAÇÃO: 2018, FONTE: 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018 in 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
AUTORES: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLICAÇÃO: 2018, FONTE: 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018 in 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
