Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
21
TITLE: The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
AUTHORS: Barbosa, R; Basagiannis, S; Giantamidis, G; Becker, H; Ferrari, E; Jahic, J; Kanak, A; Esnaola, ML; Orani, V; Pereira, D; Pomante, L; Schlick, R; Smrcka, A; Yazici, A; Folkesson, P; Sangchoolie, B;
PUBLISHED: 2020, SOURCE: 23rd Euromicro Conference on Digital System Design (DSD) in 2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020)
AUTHORS: Barbosa, R; Basagiannis, S; Giantamidis, G; Becker, H; Ferrari, E; Jahic, J; Kanak, A; Esnaola, ML; Orani, V; Pereira, D; Pomante, L; Schlick, R; Smrcka, A; Yazici, A; Folkesson, P; Sangchoolie, B;
PUBLISHED: 2020, SOURCE: 23rd Euromicro Conference on Digital System Design (DSD) in 2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020)
22
TITLE: Emulating representative software vulnerabilities using field data Full Text
AUTHORS: Barbosa, R; Cerveira, F; Gonçalo, L; Madeira, H ;
PUBLISHED: 2019, SOURCE: COMPUTING, VOLUME: 101, ISSUE: 2
AUTHORS: Barbosa, R; Cerveira, F; Gonçalo, L; Madeira, H ;
PUBLISHED: 2019, SOURCE: COMPUTING, VOLUME: 101, ISSUE: 2
23
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLISHED: 2019, SOURCE: 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
24
TITLE: Fast local VM migration against hypervisor corruption
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2019, SOURCE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2019, SOURCE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
25
TITLE: Spotting problematic code lines using nonintrusive programmers' biofeedback
AUTHORS: 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 ;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
AUTHORS: 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 ;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
26
TITLE: Exploratory Data Analysis of Fault Injection Campaigns
AUTHORS: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLISHED: 2018, SOURCE: QRS
AUTHORS: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLISHED: 2018, SOURCE: QRS
27
TITLE: Virtualization: Past and Present Challenges
AUTHORS: Bruno Rodrigues; Frederico Cerveira; Raul Barbosa; Jorge Bernardino ;
PUBLISHED: 2018, SOURCE: ICSOFT
AUTHORS: Bruno Rodrigues; Frederico Cerveira; Raul Barbosa; Jorge Bernardino ;
PUBLISHED: 2018, SOURCE: ICSOFT
28
TITLE: Language-Based Expression of Reliability and Parallelism for Low-Power Computing
AUTHORS: Alcides Fonseca ; Frederico Cerveira; Bruno Cabral; Raul Barbosa;
PUBLISHED: 2018, SOURCE: IEEE Trans. Sustain. Comput., VOLUME: 3, ISSUE: 3
AUTHORS: Alcides Fonseca ; Frederico Cerveira; Bruno Cabral; Raul Barbosa;
PUBLISHED: 2018, SOURCE: IEEE Trans. Sustain. Comput., VOLUME: 3, ISSUE: 3
29
TITLE: Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2018, SOURCE: EDCC
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2018, SOURCE: EDCC
30
TITLE: The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
AUTHORS: Eduardo Carvalho; Raul Barbosa; Jorge Bernardino ;
PUBLISHED: 2017, SOURCE: ICSOFT
AUTHORS: Eduardo Carvalho; Raul Barbosa; Jorge Bernardino ;
PUBLISHED: 2017, SOURCE: ICSOFT
