Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 210



21
TITLE: Why is it so hard to predict computer systems failures?
AUTHORS: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
INDEXED IN: DBLP
IN MY: DBLP
22
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
23
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
IN MY: DBLP
24
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
IN MY: DBLP
25
TITLE: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTHORS: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLISHED: 2020, SOURCE: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2020 in 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020
INDEXED IN: Scopus DBLP
IN MY: DBLP
26
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTHORS: Ákos Hajdu; Naghmeh Ivaki; Imre Kocsis; Attila Klenik; László Gönczy; Nuno Laranjeiro; Henrique Madeira ; András Pataricza;
PUBLISHED: 2020, SOURCE: IEEE Access, VOLUME: 8
INDEXED IN: DBLP
IN MY: DBLP
27
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
INDEXED IN: Scopus WOS
28
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2019, SOURCE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
INDEXED IN: DBLP
IN MY: DBLP
29
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLISHED: 2019, SOURCE: SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, VOLUME: 11699
INDEXED IN: Scopus WOS
30
TITLE: Biofeedback Augmented Software Engineering: Monitoring of Programmers' Mental Effort
AUTHORS: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLISHED: 2019, SOURCE: 41st IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
Page 3 of 21. Total results: 210.

A place for researchers and their institutions

Useful Links

Get Help

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