Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 192



11
TITLE: Fault injection platform for affordable verification and validation of CubeSats software
AUTHORS: David Paiva; Jose Marcelo Lima Duarte; Raffael S C G de Lima; Manoel J M Carvalho; Fátima Mattiello Francisco; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: LADC
INDEXED IN: Scopus DBLP
12
TITLE: Intelligent Biofeedback Augmented Content Comprehension (TellBack)
AUTHORS: Hijazi, H; Couceiro, R; Castelhano, J; De Carvalho, P ; Castelo Branco, M; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID
13
TITLE: iReview: an Intelligent Code Review Evaluation Tool using Biofeedback
AUTHORS: Hijazi, Haytham; Cruz, Jose; Castelhano, Joao; Couceiro, Ricardo; Castelo Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
INDEXED IN: Scopus WOS DBLP CrossRef: 8
14
TITLE: Measuring lead times for failure prediction
AUTHORS: Cerveira, Frederico; Domingos, Jomar; Barbosa, Raul; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
15
TITLE: Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
16
TITLE: Targeted Code Inspection based on Human Errors
AUTHORS: Huang, Fuqun; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2021), VOLUME: abs/2202.02259
INDEXED IN: WOS DBLP
17
TITLE: Targeted Code Inspection based on Human Errors
AUTHORS: Fuqun Huang; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: ISSRE Workshops
INDEXED IN: DBLP
18
TITLE: Why is it so hard to predict computer systems failures?
AUTHORS: Domingos, Jomar; Barbosa, Raul; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
19
TITLE: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
AUTHORS: Marco Vieira; Henrique Madeira ; Nuno Antunes; Zheng Zheng;
PUBLISHED: 2020, SOURCE: ISSRE
INDEXED IN: DBLP
20
TITLE: Evaluation of RESTful frameworks under soft errors
AUTHORS: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLISHED: 2020, SOURCE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
Page 2 of 20. Total results: 192.

footer slogan

Useful Links

Get Help

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