Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
31
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
DBLP32
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
33
TITLE: End-to-end secure group communication for the Internet of Things
AUTHORS: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLISHED: 2021, SOURCE: J. Inf. Secur. Appl., VOLUME: 58
AUTHORS: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLISHED: 2021, SOURCE: J. Inf. Secur. Appl., VOLUME: 58
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP34
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
35
TITLE: Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management
AUTHORS: João Tomás; André Bento; João Soares; Luís Ribeiro; António Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2021, SOURCE: Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, VOLUME: 1462
AUTHORS: João Tomás; André Bento; João Soares; Luís Ribeiro; António Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2021, SOURCE: Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, VOLUME: 1462
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP36
TITLE: μ Viz: Visualization of Microservices
AUTHORS: Sara Silva; Jaime Correia; André Bento; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2021, SOURCE: 25th International Conference Information Visualisation, IV 2021, Sydney, Australia, July 5-9, 2021
AUTHORS: Sara Silva; Jaime Correia; André Bento; Filipe Araújo; Raul Barbosa;
PUBLISHED: 2021, SOURCE: 25th International Conference Information Visualisation, IV 2021, Sydney, Australia, July 5-9, 2021
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP37
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
38
TITLE: Why is it so hard to predict computer systems failures?
AUTHORS: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
AUTHORS: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP39
TITLE: Measuring lead times for failure prediction
AUTHORS: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
AUTHORS: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP40
TITLE: On some Foundational Aspects of Human-Centered Artificial Intelligence
AUTHORS: Luciano Serafini; Raul Barbosa; Jasmin Grosinger; Luca Iocchi; Christian Napoli; Salvatore Rinzivillo; Jacques Robin; Alessandro Saffiotti; Teresa Scantamburlo; Peter Schueller; Paolo Traverso; Javier Vázquez Salceda;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2112.14480
AUTHORS: Luciano Serafini; Raul Barbosa; Jasmin Grosinger; Luca Iocchi; Christian Napoli; Salvatore Rinzivillo; Jacques Robin; Alessandro Saffiotti; Teresa Scantamburlo; Peter Schueller; Paolo Traverso; Javier Vázquez Salceda;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2112.14480
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP