Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Publicações Confirmadas: 209



41
TÍTULO: Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
AUTORES: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2018, FONTE: 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP
42
TÍTULO: Exploratory Data Analysis of Fault Injection Campaigns
AUTORES: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLICAÇÃO: 2018, FONTE: 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018 in 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: DBLP
43
TÍTULO: Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine
AUTORES: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: 28th IEEE International Symposium on Software Reliability Engineering in 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2017-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
44
TÍTULO: On the Emulation of Vulnerabilities through Software Fault Injection
AUTORES: Cerveira, F; Barbosa, R; Mercier, M; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
45
TÍTULO: Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics
AUTORES: Raquel Almeida; Afonso Araújo Neto; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 in 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
46
TÍTULO: Robustness and fault injection for the validation of critical systems
AUTORES: Laranjeiro, N; Pereira, G; Soydemir, SN; Barbosa, R; Jorge Bernardino ; Areias, Cristiana ; Antunes, N; Cunha, JC ; Vieira, M; Madeira, H ;
PUBLICAÇÃO: 2017, FONTE: Certifications of Critical Systems: The CECRIS Experience
INDEXADO EM: Scopus
47
TÍTULO: Soft Errors Susceptibility of Virtualization Servers
AUTORES: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLICAÇÃO: 2017, FONTE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 in 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
48
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
49
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 | DBLP
50
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
Página 5 de 21. Total de resultados: 209.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service