Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Publicações Confirmadas: 192



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