Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
11
TÃTULO: Petit programming language and compiler
AUTORES: Raul Barbosa;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.14443
AUTORES: Raul Barbosa;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.14443
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems
AUTORES: Aleš Smrčka; Behrooz Sangchoolie; Emanuele Mingozzi; Jose Luis la Vara; Marie Farrell; Raul Barbosa; Cem Baglum; Ugur Yayan; Salih Ergun; Alper Kanak;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
AUTORES: Aleš Smrčka; Behrooz Sangchoolie; Emanuele Mingozzi; Jose Luis la Vara; Marie Farrell; Raul Barbosa; Cem Baglum; Ugur Yayan; Salih Ergun; Alper Kanak;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
13
TÃTULO: The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers Full Text
AUTORES: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, NÚMERO: 2
AUTORES: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, NÚMERO: 2
14
TÃTULO: AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access
AUTORES: Raul Barbosa; Marco Araújo;
PUBLICAÇÃO: 2022, FONTE: INISTA
AUTORES: Raul Barbosa; Marco Araújo;
PUBLICAÇÃO: 2022, FONTE: INISTA
INDEXADO EM: 
Scopus DBLP
Scopus DBLP15
TÃTULO: Reductions and abstractions for formal verification of distributed round-based algorithms Full Text
AUTORES: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLICAÇÃO: 2021, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, NÚMERO: 3
AUTORES: Barbosa, R; Fonseca, A ; Araujo, F;
PUBLICAÇÃO: 2021, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 29, NÚMERO: 3
16
TÃTULO: Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9
17
TÃTULO: The VALU3S ECSEL project: Verification and validation of automated systems safety and security
AUTORES: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: Microprocess. Microsystems, VOLUME: 87
AUTORES: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: Microprocess. Microsystems, VOLUME: 87
18
TÃTULO: Intrusion Detection Systems for Mitigating SQL Injection Attacks: Review and State-of-Practice. Review and State-of-Practice
AUTORES: Silva, RF; Barbosa, R; Jorge Bernardino ;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, VOLUME: 14, NÚMERO: 2
AUTORES: Silva, RF; Barbosa, R; Jorge Bernardino ;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, VOLUME: 14, NÚMERO: 2
19
TÃTULO: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTORES: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLICAÇÃO: 2020, FONTE: DSN Workshops
AUTORES: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLICAÇÃO: 2020, FONTE: DSN Workshops
20
TÃTULO: Evaluation of RESTful frameworks under soft errors
AUTORES: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2020, FONTE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
AUTORES: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2020, FONTE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
