Raul Andre Brajczewski Barbosa
AuthID: R-000-JRS
31
TÃTULO: Strategies for Improving the Error Robustness of Convolutional Neural Networks
AUTORES: António Morais; Raul Barbosa; Nuno Lourenço; Frederico Cerveira; Michele Lombardi; Henrique Madeira;
PUBLICAÇÃO: 2022, FONTE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
AUTORES: António Morais; Raul Barbosa; Nuno Lourenço; Frederico Cerveira; Michele Lombardi; Henrique Madeira;
PUBLICAÇÃO: 2022, FONTE: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
32
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
33
TÃTULO: End-to-end secure group communication for the Internet of Things
AUTORES: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLICAÇÃO: 2021, FONTE: J. Inf. Secur. Appl., VOLUME: 58
AUTORES: André Lizardo; Raul Barbosa; Samuel Neves; Jaime Correia; Filipe Araújo;
PUBLICAÇÃO: 2021, FONTE: J. Inf. Secur. Appl., VOLUME: 58
INDEXADO EM: DBLP
NO MEU: DBLP
34
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
35
TÃTULO: Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management
AUTORES: João Tomás; André Bento; João Soares; Luís Ribeiro; António Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLICAÇÃO: 2021, FONTE: Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, VOLUME: 1462
AUTORES: João Tomás; André Bento; João Soares; Luís Ribeiro; António Ferreira; Rita Carreira; Filipe Araújo; Raul Barbosa;
PUBLICAÇÃO: 2021, FONTE: Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, VOLUME: 1462
INDEXADO EM: DBLP
NO MEU: DBLP
36
TÃTULO: μ Viz: Visualization of Microservices
AUTORES: Sara Silva; Jaime Correia; André Bento; Filipe Araújo; Raul Barbosa;
PUBLICAÇÃO: 2021, FONTE: 25th International Conference Information Visualisation, IV 2021, Sydney, Australia, July 5-9, 2021
AUTORES: Sara Silva; Jaime Correia; André Bento; Filipe Araújo; Raul Barbosa;
PUBLICAÇÃO: 2021, FONTE: 25th International Conference Information Visualisation, IV 2021, Sydney, Australia, July 5-9, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
37
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
38
TÃTULO: Why is it so hard to predict computer systems failures?
AUTORES: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
AUTORES: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
39
TÃTULO: Measuring lead times for failure prediction
AUTORES: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2021, FONTE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
AUTORES: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2021, FONTE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
40
TÃTULO: On some Foundational Aspects of Human-Centered Artificial Intelligence
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2112.14480
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2112.14480
INDEXADO EM: DBLP
NO MEU: DBLP