Henrique Santos Carmo Madeira


AuthID: R-000-5YQ

Confirmed Publications: 209



51
TITLE: Practical Emulation of Software Defects in Source Code
AUTHORS: Pereira, G; Barbosa, R ; Madeira, H ;
PUBLISHED: 2016, SOURCE: 12th European Dependable Computing Conference (EDCC) in 2016 12TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2016)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
52
TITLE: WAP: Understanding the brain at software debugging
AUTHORS: Duraes, J; Madeira, H ; Castelhano, J; Duarte, C; Branco, MC;
PUBLISHED: 2016, SOURCE: 27th IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | DBLP
53
TITLE: A benchmarking process to assess software requirements documentation for space applications  Full Text
AUTHORS: Veras, PC; Villani, E; Ambrosio, AM; Vieira, M; Madeira, H ;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 100
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
54
TITLE: Assessing Dependability with Software Fault Injection: A Survey. A Survey  Full Text
AUTHORS: Roberto Natella; Domenico Cotroneo; Henrique S Madeira ;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 48, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 25
IN MY: ORCID | DBLP
55
TITLE: Practical and representative faultloads for large-scale software systems  Full Text
AUTHORS: Costa, P; Silva, JG ; Madeira, H ;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 103, ISSUE: C
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
56
TITLE: Recovery for Virtualized Environments
AUTHORS: Frederico Cerveira ; Raul Barbosa ; Henrique Madeira ; Filipe Araujo;
PUBLISHED: 2015, SOURCE: 11th European Dependable Computing Conference in 2015 Eleventh European Dependable Computing Conference (EDCC)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
57
TITLE: Temporal Analysis of CHAVE Collection
AUTHORS: Olga Craveiro; Joaquim Macedo; Henrique Madeira ;
PUBLISHED: 2015, SOURCE: 22nd International Symposium on String Processing and Information Retrieval (SPIRE) in STRING PROCESSING AND INFORMATION RETRIEVAL (SPIRE 2015), VOLUME: 9309
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: A Technique for Deploying Robust Web Services  Full Text
AUTHORS: Nuno Laranjeiro; Marco Vieira; Henrique Madeira ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SERVICES COMPUTING, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
59
TITLE: Analysis of Field Data on Web Security Vulnerabilities  Full Text
AUTHORS: Jose Fonseca; Nuno Seixas; Marco Vieira; Henrique Madeira ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
60
TITLE: Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection  Full Text
AUTHORS: Fonseca, J; Vieira, M; Madeira, H ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 11, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 6 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