Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Publicações Confirmadas: 192



31
TÍTULO: The most frequent programming mistakes that cause software vulnerabilities
AUTORES: Raul Barbosa; Frederico Cerveira; Luís Gonçalo; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1912.01948
INDEXADO EM: DBLP
32
TÍTULO: The role of the insula in intuitive expert bug detection in computer code: an fMRI study
AUTORES: Castelhano, J; Duarte, IC; Ferreira, C; Duraes, J; Madeira, H ; Castelo Branco, M;
PUBLICAÇÃO: 2019, FONTE: BRAIN IMAGING AND BEHAVIOR, VOLUME: 13, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 33
33
TÍTULO: Effects of GPS Spoofing on Unmanned Aerial Vehicles
AUTORES: Mendes, D; Ivaki, N; Madeira, H ;
PUBLICAÇÃO: 2018, FONTE: 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), VOLUME: 2018-December
INDEXADO EM: Scopus WOS DBLP
34
35
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
36
TÍTULO: Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: 28th IEEE International Symposium on Software Reliability Engineering in 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2017-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
37
TÍTULO: On the Emulation of Vulnerabilities through Software Fault Injection
AUTORES: Cerveira, F; Barbosa, R; Mercier, M; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
38
TÍTULO: Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics  Full Text
AUTORES: Raquel Almeida; Afonso Araújo Neto; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: PRDC
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
39
TÍTULO: Robustness and fault injection for the validation of critical systems
AUTORES: Laranjeiro, N ; Pereira, G; Soydemir, SN; Barbosa, R; Jorge Bernardino ; Areias, Cristiana ; Antunes, N; Cunha, JC ; Vieira, M; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: Certifications of Critical Systems: The CECRIS Experience
INDEXADO EM: Scopus
40
TÍTULO: Soft Errors Susceptibility of Virtualization Servers  Full Text
AUTORES: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: PRDC
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
Página 4 de 20. Total de resultados: 192.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service