Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 192



41
TITLE: Validating a safety critical railway application using fault injection
AUTHORS: Irrera, I; Zentai, A; Cunha, JC ; Madeira, H ;
PUBLISHED: 2017, SOURCE: Certifications of Critical Systems: The CECRIS Experience
INDEXED IN: Scopus
42
TITLE: Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities
AUTHORS: Almeida, R; Madeira, H ;
PUBLISHED: 2016, SOURCE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
43
TITLE: Fault injection validation of a safety-critical TMR system
AUTHORS: Irrera, I; Madeira, H ; Zentai, A; Hergovics, B;
PUBLISHED: 2016, SOURCE: DAta Systems in Aerospace Conference, DASIA 2016 in European Space Agency, (Special Publication) ESA SP, VOLUME: SP-736
INDEXED IN: Scopus
IN MY: ORCID
44
TITLE: Practical Emulation of Software Defects in Source Code
AUTHORS: Pereira, G; Barbosa, R ; Madeira, H ;
PUBLISHED: 2016, SOURCE: 12th European Dependable Computing Conference (EDCC) in 2016 12TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2016)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
45
TITLE: WAP: Understanding the brain at software debugging
AUTHORS: Duraes, J; Madeira, H ; Castelhano, J; Duarte, C; Branco, MC;
PUBLISHED: 2016, SOURCE: 27th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXED IN: Scopus WOS DBLP CrossRef: 34
IN MY: ORCID
46
TITLE: A benchmarking process to assess software requirements documentation for space applications  Full Text
AUTHORS: Véras, PC; Villani, E; Ambrosio, AM; Vieira, M; Madeira, H ;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 100
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
47
TITLE: Assessing Dependability with Software Fault Injection: A Survey. A Survey  Full Text
AUTHORS: Natella, R; Cotroneo, D; Madeira, HS ;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 48, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 157
IN MY: ORCID
48
TITLE: Practical and representative faultloads for large-scale software systems  Full Text
AUTHORS: Costa, P; Silva, JG ; Madeira, H ;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 103, ISSUE: C
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
49
TITLE: Recovery for Virtualized Environments
AUTHORS: Cerveira, F ; Barbosa, R ; Madeira, H ; Araujo, F;
PUBLISHED: 2015, SOURCE: 11th European Dependable Computing Conference in 2015 ELEVENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
50
TITLE: Temporal Analysis of CHAVE Collection
AUTHORS: Craveiro, O; Macedo, J ; Madeira, H ;
PUBLISHED: 2015, SOURCE: 22nd International Symposium on String Processing and Information Retrieval (SPIRE) in STRING PROCESSING AND INFORMATION RETRIEVAL (SPIRE 2015), VOLUME: 9309
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 5 of 20. Total results: 192.

footer slogan

Useful Links

Get Help

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