Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 192



21
TITLE: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTHORS: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLISHED: 2020, SOURCE: DSN Workshops
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: DBLP
22
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts PDF
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gönczy, L; Laranjeiro, N ; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 13
IN MY: DBLP
23
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
24
TITLE: Biofeedback Augmented Software Engineering: Monitoring of Programmers' Mental Effort
AUTHORS: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLISHED: 2019, SOURCE: 41st IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 25
IN MY: DBLP
25
TITLE: Emulating representative software vulnerabilities using field data
AUTHORS: Barbosa, R; Cerveira, F; Gonçalo, L; Madeira, H ;
PUBLISHED: 2019, SOURCE: COMPUTING, VOLUME: 101, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
26
TITLE: Fast local VM migration against hypervisor corruption
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2019, SOURCE: 15th European Dependable Computing Conference (EDCC) in 2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
27
TITLE: Pupillography as indicator of programmers' mental effort and cognitive overload
AUTHORS: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLISHED: 2019, SOURCE: 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2019 49TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: DBLP
28
TITLE: Soft error sensitivity and vulnerability of languages and their implementations
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2019, SOURCE: Int. J. Crit. Comput. Based Syst., VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: DBLP
29
TITLE: Software code complexity assessment using EEG features
AUTHORS: Medeiros, J; Couceiro, R; Castelhano, J; Branco, MC; Duarte, G; Duarte, C; Duraes, J; Madeira, H ; Carvalho, P ; Teixeira, C;
PUBLISHED: 2019, SOURCE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP
30
TITLE: Spotting problematic code lines using nonintrusive programmers' biofeedback
AUTHORS: 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 ;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2019-October
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP
Page 3 of 20. Total results: 192.

footer slogan

Useful Links

Get Help

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