Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
11
TITLE: Petit programming language and compiler
AUTHORS: Raul Barbosa;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.14443
AUTHORS: Raul Barbosa;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.14443
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
TITLE: Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems
AUTHORS: Aleš Smrčka; Behrooz Sangchoolie; Emanuele Mingozzi; Jose Luis la Vara; Marie Farrell; Raul Barbosa; Cem Baglum; Ugur Yayan; Salih Ergun; Alper Kanak;
PUBLISHED: 2023, SOURCE: Open Research Europe, VOLUME: 3
AUTHORS: Aleš Smrčka; Behrooz Sangchoolie; Emanuele Mingozzi; Jose Luis la Vara; Marie Farrell; Raul Barbosa; Cem Baglum; Ugur Yayan; Salih Ergun; Alper Kanak;
PUBLISHED: 2023, SOURCE: Open Research Europe, VOLUME: 3
13
TITLE: The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers Full Text
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
14
TITLE: AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based Access
AUTHORS: Raul Barbosa; Marco Araújo;
PUBLISHED: 2022, SOURCE: INISTA
AUTHORS: Raul Barbosa; Marco Araújo;
PUBLISHED: 2022, SOURCE: INISTA
INDEXED IN: 
Scopus DBLP
Scopus DBLP15
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
16
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
17
TITLE: The VALU3S ECSEL project: Verification and validation of automated systems safety and security
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87
18
TITLE: Intrusion Detection Systems for Mitigating SQL Injection Attacks: Review and State-of-Practice. Review and State-of-Practice
AUTHORS: Silva, RF; Barbosa, R; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, VOLUME: 14, ISSUE: 2
AUTHORS: Silva, RF; Barbosa, R; Jorge Bernardino ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, VOLUME: 14, ISSUE: 2
19
TITLE: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTHORS: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLISHED: 2020, SOURCE: DSN Workshops
AUTHORS: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLISHED: 2020, SOURCE: DSN Workshops
20
TITLE: Evaluation of RESTful frameworks under soft errors
AUTHORS: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLISHED: 2020, SOURCE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
AUTHORS: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLISHED: 2020, SOURCE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
