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: ORCID
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; Gonczy, L; Laranjeiro, N ; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 7
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
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
25
TITLE: Emulating representative software vulnerabilities using field data  Full Text
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
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
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
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
29
TITLE: Software code complexity assessment using EEG features  Full Text
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
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
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