Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Publicações Confirmadas: 192



21
TÍTULO: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTORES: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLICAÇÃO: 2020, FONTE: DSN Workshops
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
22
TÍTULO: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts PDF
AUTORES: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N ; Madeira, H ; Pataricza, A;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 7
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
24
TÍTULO: Biofeedback Augmented Software Engineering: Monitoring of Programmers' Mental Effort
AUTORES: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
25
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
26
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
27
TÍTULO: Pupillography as indicator of programmers' mental effort and cognitive overload
AUTORES: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
28
TÍTULO: Soft error sensitivity and vulnerability of languages and their implementations
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2019, FONTE: Int. J. Crit. Comput. Based Syst., VOLUME: 9, NÚMERO: 4
INDEXADO EM: Scopus DBLP
29
TÍTULO: Software code complexity assessment using EEG features  Full Text
AUTORES: Medeiros, J; Couceiro, R; Castelhano, J; Branco, MC; Duarte, G; Duarte, C; Duraes, J; Madeira, H ; Carvalho, P ; Teixeira, C;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
30
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
Página 3 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