Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Publicações Confirmadas: 209



21
TÍTULO: Why is it so hard to predict computer systems failures?
AUTORES: Domingos, Jomar; Barbosa, Raul; Madeira, Henrique ;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021)
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
22
TÍTULO: Why is it so hard to predict computer systems failures?
AUTORES: Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
23
TÍTULO: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
AUTORES: Marco Vieira; Henrique Madeira ; Nuno Antunes; Zheng Zheng;
PUBLICAÇÃO: 2020, FONTE: ISSRE
INDEXADO EM: DBLP
NO MEU: DBLP
24
TÍTULO: Evaluation of RESTful frameworks under soft errors
AUTORES: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2020, FONTE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
25
TÍTULO: Online Verification through Model Checking of Medical Critical Intelligent Systems
AUTORES: João Martins; Raul Barbosa; Nuno Lourenço; Jacques Robin; Henrique Madeira ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
26
TÍTULO: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts PDF
AUTORES: Ákos Hajdu; Naghmeh Ivaki; Imre Kocsis; Attila Klenik; László Gönczy; Nuno Laranjeiro; Henrique Madeira ; András Pataricza;
PUBLICAÇÃO: 2020, FONTE: IEEE Access, VOLUME: 8
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
27
TÍTULO: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTORES: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID
28
TÍTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
INDEXADO EM: DBLP
NO MEU: DBLP
29
TÍTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
30
TÍTULO: Biofeedback Augmented Software Engineering: Monitoring of Programmers' Mental Effort
AUTORES: Couceiro, R; Duarte, G; Duraes, J; Castelhano, J; Duarte, C; Teixeira, C; Branco, MC; de Carvalho, P ; Madeira, H ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: DBLP
Página 3 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