21
TÍTULO: The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: 23rd Euromicro Conference on Digital System Design (DSD) in 2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
22
TÍTULO: Emulating representative software vulnerabilities using field data  Full Text
AUTORES: Barbosa, R; Cerveira, F; Gonçalo, L; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: COMPUTING, VOLUME: 101, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
23
TÍTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
24
TÍTULO: Fast local VM migration against hypervisor corruption
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
25
TÍTULO: Spotting problematic code lines using nonintrusive programmers' biofeedback
AUTORES: 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 ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID
26
TÍTULO: Exploratory Data Analysis of Fault Injection Campaigns
AUTORES: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLICAÇÃO: 2018, FONTE: QRS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
27
TÍTULO: Virtualization: Past and Present Challenges
AUTORES: Bruno Rodrigues; Frederico Cerveira; Raul Barbosa; Jorge Bernardino ;
PUBLICAÇÃO: 2018, FONTE: ICSOFT
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
28
TÍTULO: Language-Based Expression of Reliability and Parallelism for Low-Power Computing
AUTORES: Alcides Fonseca ; Frederico Cerveira; Bruno Cabral; Raul Barbosa;
PUBLICAÇÃO: 2018, FONTE: IEEE Trans. Sustain. Comput., VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
30
TÍTULO: The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
AUTORES: Eduardo Carvalho; Raul Barbosa; Jorge Bernardino ;
PUBLICAÇÃO: 2017, FONTE: ICSOFT
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 3 de 4. Total de resultados: 33.