Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 192



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service