Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 209



41
TITLE: Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
AUTHORS: Frederico Cerveira; Alcides Fonseca ; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2018, SOURCE: 14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
42
TITLE: Exploratory Data Analysis of Fault Injection Campaigns
AUTHORS: Frederico Cerveira; Imre Kocsis; Raul Barbosa; Henrique Madeira ; András Pataricza;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: DBLP
43
TITLE: Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2017, SOURCE: 28th IEEE International Symposium on Software Reliability Engineering in 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2017-October
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
44
TITLE: On the Emulation of Vulnerabilities through Software Fault Injection
AUTHORS: Cerveira, F; Barbosa, R; Mercier, M; Madeira, H ;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
45
TITLE: Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics
AUTHORS: Raquel Almeida; Afonso Araújo Neto; Henrique Madeira ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
46
TITLE: Robustness and fault injection for the validation of critical systems
AUTHORS: Laranjeiro, N; Pereira, G; Soydemir, SN; Barbosa, R; Jorge Bernardino ; Areias, Cristiana ; Antunes, N; Cunha, JC ; Vieira, M; Madeira, H ;
PUBLISHED: 2017, SOURCE: Certifications of Critical Systems: The CECRIS Experience
INDEXED IN: Scopus
47
TITLE: Soft Errors Susceptibility of Virtualization Servers
AUTHORS: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
48
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
49
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 | DBLP
50
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
Page 5 of 21. Total results: 209.

A place for researchers and their institutions

Useful Links

Get Help

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