???global.info.a_carregar???
Henrique Madeira is full professor at the University of Coimbra, where he has been involved in the research on dependable computing since 1989. His main research interests focus on experimental evaluation of dependable computing systems, including security evaluation and benchmarking, fault injection techniques, error detection mechanisms, and transactional systems dependability, subjects on which he has authored or co-authored more than 250 papers in refereed conferences and journals. Henrique Madeira has coordinated or participated in more than 30 projects funded by European Union the and by the Portuguese Government. He was the Vice-Chair of the IFIP Working Group 10.4 Special Interest Group (SIG) on Dependability Benchmarking from the establishment of the SIG in the summer of 1999 until 2002. He was Program Co-Chair of the International Performance and Dependability Symposium track of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-PDS2004, and Conference Coordinator of the IEEE/IFIP DSN in 2008. Henrique Madeira was General Co-Chair of the 31st International Symposium on Software Reliability Engineering, ISSRE 2020, and is appointed as General Co-Chair of IEEE/IFIP DSN in 2023. He has also organized several Workshops and other scientific events. He has also been asked to be reviewer for many international conferences and journals and he has served on program committees of the major conferences of the dependability and software reliability areas. Henrique Madeira has served as Head of the Department of Informatics Engineering at University of Coimbra from 2002-2004, President of the Centre for Informatics and Systems of University of Coimbra from 2006-2008, and Head of the Scientific Council of the Department of Informatics Engineering at University of Coimbra from 2005-2006 and during a short period in 2009, before being appointed as Vice-Rector in October 2009. He served as Vice-rector for 4 years, and was responsible, among other duties, for the innovation policy of the University. This includes the leadership of the regional innovation ecosystem (INOV.C) that comprises the University of Coimbra, its research centers, and its business incubator (Institute Pedro Nunes, that won the World Best Science Based Incubator Award in 2010), in addition to the regional industrial parks and the regional community players. Henrique Madeira was a founding member of the spin-off company Critical Software SA.
Read full resume ↓
Identification

Personal identification

Full name
HENRIQUE SANTOS DO CARMO MADEIRA

Citation names

  • Madeira, Henrique

Author identifiers

Ciência ID
D312-01DA-BD93
ORCID iD
0000-0001-8146-4664

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Information Science

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
2007/02/06
Concluded
 Engenharia Informática (Título de Agregado)
Universidade de Coimbra, Portugal
1994/01/04
Concluded
 Engenharia Informática (Doutoramento)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
 Distinção e Louvor
1984/07/25
Concluded
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
 Aprovado por unanimidade
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2015 - Current Full Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2015 - 2018 Full Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2010 - 2013 Full Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2010 - 2013 Full Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2007 - 2009 Associate Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
2007 - 2009 Associate Professor (University Teacher) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Projects

Grant

Designation Funders
2024/07/01 - 2026/12/31 Space-based composite Ads-b and multilaTerarion systEm validation thRough scalable simulAtions
101164313
Principal investigator
Ongoing
2020/06/01 - 2022/10/31 BUBBLES - Defining the BUilding Basic BLocks for a U-Space SEparation Management Service
893206
Co-Principal Investigator (Co-PI)
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 European Commission
Concluded

Contract

Designation Funders
2019/01/01 - 2024/10/31 Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
823788
10.3030/823788
 European Commission
Ongoing
2021/02/01 - 2024/01/31 Ferramentas avançadas para diagnóstico e prognóstico em pneumologia @ Cuidados intensivos
DSAIPA/AI/0113/2020
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Centro Hospitalar e Universitário de Coimbra EPE, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2020/05/01 - 2023/04/30 Verification and Validation of Automated Systems’ Safety and Security
ECSEL/0017/2019
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2018/07/26 - 2022/07/25 BASE - Biofeedback Augmented Software Engineering
PTDC/CCI-INF/31581/2017
Principal investigator
Universidade de Coimbra, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2019/01/01 - 2021/12/31 A European AI On Demand Platform and Ecosystem
825619
10.3030/825619
 European Commission
Concluded
2017/01/09 - 2021/01/08 MobiWise: from mobile sensing to mobility advising
SAICTPAC/0011/2015
Instituto de Telecomunicações, Portugal

Universidade de Aveiro, Portugal

Universidade de Coimbra, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2008/01/14 - 2011/01/13 Space AQua: Space Automated Qualification Framework for Software
PDCTE/EIA/81696/2003
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Universidade de Coimbra, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2005/08/20 - 2008/11/30 Data Warehousing using Open Source Technology: high performance at low infrastructure cost
POSC/EIA/58601/2004
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2005/08/20 - 2008/11/30 Dependability benchmarking for web-servers focusing on availability and security
POSC/EIA/61948/2004
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2005/08/20 - 2008/11/30 TACID - Timely ACID Transactions in DBMS
POSC/EIA/61568/2004
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Craveiro, O.; Macedo, J.; Madeira, H.. Temporal analysis of CHAVE collection. 2015.
    10.1007/978-3-319-23826-5_7
  2. Craveiro, O.; Macedo, J.; Madeira, H.. Words temporality for improving query expansion. 2014.
    10.1007/978-3-319-09761-9
  3. Pereira, P.; MacEdo, J.; Craveiro, O.; Madeira, H.. Time-aware focused web crawling. 2014.
    10.1007/978-3-319-06028-6_53
  4. Craveiro, O.; MacEdo, J.; Madeira, H.. Query expansion with temporal segmented texts. 2014.
    10.1007/978-3-319-06028-6_65
  5. Craveiro, O.; Macedo, J.; Madeira, H.. It is the time for Portuguese texts!. 2012.
    10.1007/978-3-642-28885-2_12
  6. Véras, P.C.; Villani, E.; Ambrósio, A.M.; Pontes, R.P.; Vieira, M.; Madeira, H.. Benchmarking software requirements documentation for space application. 2010.
    10.1007/978-3-642-15651-9_9
  7. Vieira, M.; Madeira, H.. From performance to dependability benchmarking: A mandatory Path. 2009.
    10.1007/978-3-642-10424-4_6
  8. Laranjeiro, N.; Vieira, M.; Madeira, H.. Robustness validation in service-oriented architectures. 2009.
    10.1007/978-3-642-10248-6_5
  9. Laranjeiro, N.; Vieira, M.; Madeira, H.. Protecting database centric web services against SQL/XPath injection attacks. 2009.
    10.1007/978-3-642-03573-9_22
  10. Laranjeiro, N.; Vieira, M.; Madeira, H.. Predicting timing failures in web services. 2009.
    10.1007/978-3-642-04205-8_16
  11. Craveiro, O.; Macedo, J.; Madeira, H.. Use of co-occurrences for temporal expressions annotation. 2009.
    10.1007/978-3-642-03784-9_15
  12. Vieira, J.; Vieira, M.; Costa, M.; Madeira, H.. RAIN: Always on data warehousing. 2008.
    10.1007/978-3-540-78568-2_61
  13. Almeida, R.; Vieira, J.; Vieira, M.; Madeira, H.; Bernardino, J.. Efficient data distribution for DWS. 2008.
    10.1007/978-3-540-85836-2_8
  14. Durães, J.; Vieira, M.; Madeira, H.. Dependability Benchmarking of Web Servers. 2008.
    10.1002/9780470370506.ch6
  15. Vieira, M.; Durães, J.; Madeira, H.. Dependability Benchmark for OLTP Systems. 2008.
    10.1002/9780470370506.ch5
  16. Vieira, J.; Vieira, M.; Costa, M.; Madeira, H.. Redundant array of inexpensive nodes for DWS. 2008.
    10.1007/978-3-540-78568-2_49
  17. Bernardino, J.; Furtado, P.; Madeira, H.. Approximate query answering using data warehouse striping. 2001.
    10.1007/3-540-44801-2_34
  18. Furtado, P.; Madeira, H.. Analysis of accuracy of data reduction techniques. 1999.
    10.1007/3-540-48298-9_40
  19. Silva, J.G.; Silvat, L.M.; Madeira, H.; Bernardino, J.. A fault-tolerant mechanism for simple controllers. 1994.
  20. Vounckx, J.; Deconinck, G.; Lauwereins, R.; Viehöver, G.; Wagner, R.; Madeira, H.; Silva, J.G.; et al. The FTMPS-project: Design and implementation of fault-tolerance techniques for massively parallel systems. 1994.
  21. Madeira, H.; Rela, M.; Moreira, F.; Silva, J.G.. RIFLE: A general purpose pin-level fault injector. 1994.
Book chapter
  1. Khan, Anamta; Jiménez, Carlos A. Chuquitarco; Pablo, Morcillo-Pallarés; Ivaki, Naghmeh; Tejedor, Juan Vicente Balbastre; Madeira, Henrique. "Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate". In Computer Safety, Reliability, and Security, 237-251. Springer International Publishing, 2022.
    10.1007/978-3-031-14835-4_16
Conference paper
  1. Domingos, Jomar; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Predicting Cloud Applications Failures from Infrastructure Level Data". 2023.
    10.1109/dsn-w58399.2023.00023
  2. Asghari, Omid; Ivaki, Naghmeh; Madeira, Henrique. "Integration of U-space Safety Assessment Methodologies With Experimentation". 2023.
    10.1109/dsn-w58399.2023.00033
  3. Asghari, Omid; Ivaki, Naghmeh; Madeira, Henrique. "Lead Time Analysis for UAVs’ Failure Prediction in U-space". 2023.
    10.1109/prdc59308.2023.00024
  4. Khan, Anamta; Campos, João R.; Ivaki, Naghmeh; Madeira, Henrique. "A Machine Learning driven Fault Tolerance Mechanism for UAVs’ Flight Controller". 2023.
    10.1109/prdc59308.2023.00034
  5. Huang, Fuqun; Zhao, Bo; Madeira, Henrique. "A New Code Review Method based on Human Errors". 2022.
    10.1109/qrs57517.2022.00041
  6. Silva, Leo; Castro, Marília; Silva, Miriam; Santos, Milena; Kulesza, Uirá; Lima, Margarida; Madeira, Henrique. "Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits". 2022.
    10.1109/qrs57517.2022.00045
  7. Morais, António; Barbosa, Raul; Lourenço, Nuno; Cerveira, Frederico; Lombardi, Michele; Madeira, Henrique. "Strategies for Improving the Error Robustness of Convolutional Neural Networks". 2022.
    10.1109/qrs57517.2022.00092
  8. Carvalho, Gonçalo; Medeiros, Nádia; Madeira, Henrique; Cabral, Bruno. "A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience". 2022.
    10.1109/qrs57517.2022.00073
  9. David Almeida, Pedro; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "ucXception A Framework for Evaluating Dependability of Software Systems". 2022.
    10.1109/qrs57517.2022.00063
  10. Paiva, David; Lima, Raffael; Carvalho, Manoel; Mattiello-Francisco, Fatima; Madeira, Henrique. "Enhanced software development process for CubeSats to cope with space radiation faults". 2022.
    10.1109/prdc55274.2022.00022
  11. Khan, Anamta; Ivaki, Naghmeh; Madeira, Henrique. "Are UAVs Flight Controller Software Reliable?". 2022.
    10.1109/prdc55274.2022.00033
  12. Hijazi, Haytham; Couceiro, Ricardo; Castelhano, Joao; Cruz, Jose; Castelo-Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique. "Intelligent Biofeedback Comprehension Assessment: Theory, Research, and Tools". 2022.
    10.1109/melecon53508.2022.9843030
  13. Hijazi, Haytham; Couceiro, Ricardo; Castelhano, Joao; Castelo-Branco, Miguel; Carvalho, Paulo de; Madeira, Henrique. "A Quick Review on Machine Learning Techniques in Code Comprehension and Code Review Estimated by Neurophysiological Data". 2022.
    10.1109/melecon53508.2022.9842909
  14. Bernardes, Andre; Couceiro, Ricardo; Medeiros, Julio; Henriques, Jorge; Teixeira, Cesar; Duraes, Joao; Madeira, Henrique; Carvalho, Paulo. "Impact of Ultra-short-term HRV Features in Software Code Sections Complexity Classification". 2022.
    10.1109/melecon53508.2022.9842890
  15. Silva, Leo; Castro, Marília; Silva, Miriam; Santos, Milena; Kulesza, Uirá; Lima, Margarida; Madeira, Henrique. "Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits". 2022.
    10.1109/qrs57517.2022.00045
  16. "Why is it so hard to predict computer systems failures?". 2021.
    10.1109/edcc53658.2021.00013
  17. "A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems". 2021.
    10.1007/978-3-030-85347-1_24
  18. Cerveira, Frederico; Domingos, Jomar; Barbosa, Raul; Madeira, Henrique. "Measuring lead times for failure prediction". 2021.
    10.1109/prdc53464.2021.00020
  19. Madeira, Henrique. "Online Verification through Model Checking of Medical Critical Intelligent Systems". 2020.
    10.1109/DSN-W50199.2020.00015
  20. Madeira, Henrique. "Evaluation of RESTful frameworks under soft errors". 2020.
    10.1109/ISSRE5003.2020.00042
  21. Cerveira, F.; Barbosa, R.; Madeira, H.. "Soft errors susceptibility of virtualization servers". 2017.
    10.1109/PRDC.2017.26
  22. Almeida, R.; Neto, A.A.; Madeira, H.. "Resilience benchmarking of transactional systems: Experimental study of alternative metrics". 2017.
    10.1109/PRDC.2017.15
  23. Cerveira, F.; Barbosa, R.; Mercier, M.; Madeira, H.. "On the Emulation of Vulnerabilities through Software Fault Injection". 2017.
    10.1109/EDCC.2017.28
  24. Cerveira, F.; Barbosa, R.; Madeira, H.. "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine". 2017.
    10.1109/ISSRE.2017.39
  25. Irrera, I.; Madeira, H.; Zentai, A.; Hergovics, B.. "Fault injection validation of a safety-critical TMR system". 2016.
  26. Pereira, G.; Barbosa, R.; Madeira, H.. "Practical Emulation of Software Defects in Source Code". 2016.
    10.1109/EDCC.2016.19
  27. Cerveira, F.; Barbosa, R.; Madeira, H.; Araujo, F.. "Recovery for Virtualized Environments". 2016.
    10.1109/EDCC.2015.26
  28. Duraes, J.; Madeira, H.; Castelhano, J.; Duarte, C.; Branco, M.C.. "WAP: Understanding the Brain at Software Debugging". 2016.
    10.1109/ISSRE.2016.53
  29. Almeida, R.; Madeira, H.. "Evolving from dependability to resilience benchmarks: Issues and possibilities". 2016.
    10.1109/LADC.2016.27
  30. Mendes, N.; Madeira, H.; Duraes, J.. "Security benchmarks for web serving systems". 2014.
    10.1109/ISSRE.2014.38
  31. Irrera, I.; Duraes, J.; Madeira, H.; Vieira, M.. "Assessing the impact of virtualization on the generation of failure prediction data". 2013.
    10.1109/LADC.2013.24
  32. Vieira, M.; Madeira, H.; Cruz, S.; Costa, M.; Cunha, J.C.. "Integrating GQM and data warehousing for the definition of software reuse metrics". 2012.
    10.1109/SEW.2011.22
  33. Mendes, N.; Duraes, J.; Madeira, H.. "Benchmarking the security of web serving systems based on known vulnerabilities". 2011.
    10.1109/LADC.2011.14
  34. Natella, R.; Cotroneo, D.; Durães, J.; Madeira, H.. "Representativeness analysis of injected software faults in complex software". 2010.
    10.1109/DSN.2010.5544282
  35. Almeida, R.; Mendes, N.; Madeira, H.. "Sharing experimental and field data: The AMBER raw data repository experience". 2010.
    10.1109/ICDCSW.2010.75
  36. Craveiro, O.; Macedo, J.; Madeira, H.. "Leveraging temporal expressions for segmented-based information retrieval". 2010.
    10.1109/ISDA.2010.5687172
  37. Laranjeiro, N.; Vieira, M.; Madeira, H.. "A learning-based approach to secure web services from SQL/XPath Injection attacks". 2010.
    10.1109/PRDC.2010.24
  38. Véras, P.C.; Villani, E.; Madeira, H.; Ambrosio, A.M.. "Dependability benchmark for PUS-based satellite on-board software". 2010.
    10.2514/6.2010-2288
  39. Irrera, I.; Durães, J.; Vieira, M.; Madeira, H.. "Towards identifying the best variables for failure prediction using injection of realistic software faults". 2010.
    10.1109/PRDC.2010.51
  40. Véras, P.C.; Villani, E.; Ambrosio, A.M.; Silva, N.; Vieira, M.; Madeira, H.. "Errors on space software requirements: A field study and application scenarios". 2010.
    10.1109/ISSRE.2010.30
  41. Fonseca, J.; Vieira, M.; Madeira, H.. "The web attacker perspective - A field study". 2010.
    10.1109/ISSRE.2010.21
  42. Mendes, N.; Duraes, J.; Madeira, H.. "Evaluating and comparing the impact of software faults on web servers". 2010.
    10.1109/EDCC.2010.14
  43. Almeida, R.; Madeira, H.; Vieira, M.. "From performance to resilience benchmarking". 2010.
    10.1109/ICDCSW.2010.69
  44. Almeida, R.; Madeira, H.; Vieira, M.. "Benchmarking the resilience of self-adaptive systems: A new research challenge". 2010.
    10.1109/SRDS.2010.50
  45. Vieira, M.; Antunes, N.; Madeira, H.. "Using web security scanners to detect vulnerabilities in web services". 2009.
    10.1109/DSN.2009.5270294
  46. Costa, P.; Silva, J.G.; Madeira, H.. "Dependability benchmarking using software faults: How to create practical and representative faultloads". 2009.
    10.1109/PRDC.2009.52
  47. Seixas, N.; Fonseca, J.; Vieira, M.; Madeira, H.. "Looking at web security vulnerabilities from the programming language perspective: A field study". 2009.
    10.1109/ISSRE.2009.30
  48. Antunes, N.; Laranjeiro, N.; Vieira, M.; Madeira, H.. "Effective detection of SQL/XPath Injection vulnerabilities in web services". 2009.
    10.1109/SCC.2009.23
  49. Buzato, L.E.; Madeira, H.. "Message from the technical program committee co-chairs". 2009.
    10.1109/LADC.2009.5
  50. Neto, A.A.; Vieira, M.; Madeira, H.. "An appraisal to assess the security of database configurations". 2009.
    10.1109/DEPEND.2009.17
  51. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Improving web services robustness". 2009.
    10.1109/ICWS.2009.27
  52. Fonseca, J.; Vieira, M.; Madeira, H.. "Vulnerability & attack injection for web applications". 2009.
    10.1109/DSN.2009.5270349
  53. Madeira, H.; Majzik, I.. "From assessment to standardised benchmarking: Will it happen? What could we do about it?". 2009.
    10.1109/DSN.2009.5270325
  54. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Experimental robustness evaluation of JMS middleware". 2008.
    10.1109/SCC.2008.129
  55. Koopman, P.; Madeira, H.. "Message from the conference general chair and coordinator". 2008.
    10.1109/DSN.2008.4630051
  56. Fonseca, J.; Vieira, M.; Madeira, H.. "Online detection of malicious data access using DBMS auditing". 2008.
    10.1145/1363686.1363921
  57. Fonseca, J.; Vieira, M.; Madeira, H.. "Training security assurance teams using vulnerability injection". 2008.
    10.1109/PRDC.2008.43
  58. Mendes, N.; Neto, A.A.; Duräes, J.; Vieira, M.; Madeira, H.. "Assessing and comparing security of web servers". 2008.
    10.1109/PRDC.2008.45
  59. Laranjeiro, N.; Vieira, M.; Madeira, H.. "Timing failures detection in web services". 2008.
    10.1109/APSCC.2008.236
  60. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Benchmarking the robustness of web services". 2007.
    10.1109/PRDC.2007.24
  61. Fonseca, J.; Vieira, M.; Madeira, H.. "Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks". 2007.
    10.1109/PRDC.2007.63
  62. Barbosa, R.; Silva, N.; Durães, J.; Madeira, H.. "Verification and validation of (real time) COTS products using fault injection techniques". 2007.
    10.1109/ICCBSS.2007.45
  63. Vieira, M.; Laranjeiro, N.; Madeira, H.. "Assessing robustness of web-services infrastructures". 2007.
    10.1109/DSN.2007.16
  64. Moraes, R.; Durães, J.; Barbosa, R.; Martins, E.; Madeira, H.. "Experimental risk assessment and comparison using software fault injection". 2007.
    10.1109/DSN.2007.45
  65. Fonseca, J.; Vieira, M.; Madeira, H.. "Monitoring database application behavior for intrusion detection". 2006.
    10.1109/PRDC.2006.46
  66. Moraes, R.; Barbosa, R.; Durães, J.; Mendes, N.; Martins, E.; Madeira, H.. "Injection of faults at component interfaces and inside the component code: Are they equivalent?". 2006.
    10.1109/EDCC.2006.16
  67. Silva, L.; Madeira, H.; Silva, J.G.. "Software aging and rejuvenation in a SOAP-based server". 2006.
    10.1109/NCA.2006.51
  68. Vieira, M.; Costa, A.C.; Madeira, H.. "Towards timely ACID transactions in DBMS". 2006.
    10.1109/PRDC.2006.63
  69. Vieira, M.; Madeira, H.. "Towards a security benchmark for database management systems". 2005.
    10.1109/DSN.2005.93
  70. Constantinescu, C.; Kanoun, K.; Madeira, H.; Murphy, B.; Pramanick, I.; Brown, A.B.. "Dependability benchmarking of computing systems". 2005.
    10.1109/DSN.2005.76
  71. Vieira, M.; Madeira, H.. "Detection of malicious transactions in DBMS". 2005.
    10.1109/PRDC.2005.31
  72. Vieira, M.; Madeira, H.. "Benchmarking the Dependability of Different OLTP Systems". 2003.
    10.1109/DSN.2003.1209940
  73. Madeira, H.; Costa, J.; Vieira, M.. "The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments". 2003.
    10.1109/DSN.2003.1209920
  74. Bagchi, S.; Madeira, H.. "Open source software-a recipe for vulnerable software,or the only way to keep the bugs and the bad guys out?". 2003.
    10.1109/ISSRE.2003.1251056
  75. Vieira, M.; Madeira, H.. "A dependability benchmark for OLTP application environments". 2003.
  76. Vieira, M.; Madeira, H.. "Recovery and performance balance of a COTS DBMS in the presence of operator faults". 2002.
    10.1109/DSN.2002.1029007
  77. Madeira, H.; Some, R.R.; Moreira, F.; Costa, D.; Rennels, D.. "Experimental evaluation of a COTS system for space applications". 2002.
    10.1109/DSN.2002.1028916
  78. Maia, R.; Henriques, L.; Costa, D.; Madeira, H.. "Xception™ - Enhanced automated fault-injection environment". 2002.
    10.1109/DSN.2002.1028978
  79. Bernardino, J.; Furtado, P.; Madeira, H.. "DWS-AQA: A cost effective approach for very large data warehouses". 2002.
    10.1109/IDEAS.2002.1029676
  80. Duraes, J.; Madeira, H.. "Characterization of operating systems behavior in the presence of faulty drivers through software fault emulation". 2002.
    10.1109/PRDC.2002.1185639
  81. Duraes, J.; Madeira, H.. "Emulation of software faults by educated mutations at machine-code level". 2002.
    10.1109/ISSRE.2002.1173283
  82. Vieira, M.; Madeira, H.. "Definition of fault loads based on operator faults for DMBS recovery benchmarking". 2002.
    10.1109/PRDC.2002.1185646
  83. Bernardino, J.; Madeira, H.. "Data warehouse striping: Improved query response time". 2001.
  84. Costa, D.; Rilho, T.; Madeira, H.. "Joint evaluation of performance and robustness of a COTS DBMS through fault-injection". 2000.
    10.1109/ICDSN.2000.857547
  85. Madeira, H.; Costa, D.; Vieira, M.. "On the emulation of software faults by software fault injection". 2000.
    10.1109/ICDSN.2000.857571
  86. Costa, D.; Madeira, H.. "Experimental assessment of COTS DBMS robustness under transient faults". 1999.
    10.1109/PRDC.1999.816230
  87. Furtado, P.; Madeira, H.. "Summary grids: Building accurate multidimensional histograms". 1999.
    10.1109/DASFAA.1999.765751
  88. Silva, J.G.; Prata, P.; Rela, M.; Madeira, H.. "Practical issues in the use of ABFT and a new failure model". 1998.
    10.1109/FTCS.1998.689452
Journal article
  1. Omid Asghari; Naghmeh Ivaki; Henrique Madeira. "UAV Operations Safety Assessment: A Systematic Literature Review". ACM Computing Surveys (2025): https://doi.org/10.1145/3723871.
    10.1145/3723871
  2. Júlio Medeiros; Zhishun Wang; Marco Simões; João Castelhano; Rodolfo Abreu; Ricardo Couceiro; Jorge Henriques; et al. "EEG as a potential ground truth for the assessment of cognitive state in software development activities: A multimodal imaging study". PLOS ONE (2024): https://doi.org/10.1371/journal.pone.0299108.
    10.1371/journal.pone.0299108
  3. Haytham Hijazi; Miguel Gomes; Joao Castelhano; Miguel Castelo-Branco; Paulo de Carvalho; Henrique Madeira. "Where Did I Get Lost? A Prototype Tool for Predicting Local-Level Comprehension Difficulties With Wearables and Explainable Machine Learning". IEEE Access (2024): https://doi.org/10.1109/ACCESS.2024.3480809.
    10.1109/ACCESS.2024.3480809
  4. Silva, Leo; Gurgel de Castro, Marília; Bernardino Silva, Miriam; Santos, Milena; Kulesza, Uirá; Lima, Margarida; Madeira, Henrique. "Using social media and personality traits to assess software developers’ emotional polarity". PeerJ Computer Science 9 (2023): e1498. http://dx.doi.org/10.7717/peerj-cs.1498.
    10.7717/peerj-cs.1498
  5. Hao, Gao; Hijazi, Haytham; Durães, João; Medeiros, Júlio; Couceiro, Ricardo; Lam, Chan Tong; Teixeira, César; et al. "On the accuracy of code complexity metrics: A neuroscience-based guideline for improvement". Frontiers in Neuroscience 16 (2023): http://dx.doi.org/10.3389/fnins.2022.1065366.
    10.3389/fnins.2022.1065366
  6. Haytham Hijazi; Joao Duraes; Ricardo Couceiro; Joao Castelhano; Raul Barbosa; Julio Medeiros; Miguel Castelo-Branco; Paulo de Carvalho; Henrique Madeira. "Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension". IEEE Transactions on Software Engineering (2023): https://doi.org/10.1109/TSE.2022.3158543.
    10.1109/TSE.2022.3158543
  7. Hijazi, Haytham; Duraes, Joao; Couceiro, Ricardo; Castelhano, Joao; Barbosa, Raul; Medeiros, Julio; Castelo-Branco, Miguel; de Carvalho, Paulo; Madeira, Henrique. "Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension". IEEE Transactions on Software Engineering 49 2 (2023): 626-645. http://dx.doi.org/10.1109/tse.2022.3158543.
    10.1109/tse.2022.3158543
  8. A. Calcagno; S. Coelli; C. Amendola; I. Pirovano; R. Re; J. Medeiros; P. Carvalho; H. Madeira; A. M. Bianchi. "Role of the EEG Theta Network During Software Production: A Connectivity Study". IEEE Transactions on Neural Systems and Rehabilitation Engineering (2023): https://doi.org/10.1109/TNSRE.2023.3299834.
    10.1109/TNSRE.2023.3299834
  9. Calcagno, A.; Coelli, S.; Amendola, C.; Pirovano, I.; Re, R.; Medeiros, J.; Carvalho, P.; Madeira, H.; Bianchi, A. M.. "Role of the EEG Theta Network During Software Production: A Connectivity Study". IEEE Transactions on Neural Systems and Rehabilitation Engineering 31 (2023): 3142-3151. http://dx.doi.org/10.1109/tnsre.2023.3299834.
    10.1109/tnsre.2023.3299834
  10. Bernardes, André; Couceiro, Ricardo; Medeiros, Júlio; Henriques, Jorge; Teixeira, César; Simões, Marco; Durães, João; et al. "How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?". Sensors 22 17 (2022): 6528. http://dx.doi.org/10.3390/s22176528.
    10.3390/s22176528
  11. Castelhano, Joao; Duarte, Isabel C.; Couceiro, Ricardo; Medeiros, Julio; Duraes, Joao; Afonso, Sónia; Madeira, Henrique; Castelo-Branco, Miguel. "Software Bug Detection Causes a Shift From Bottom-Up to Top-Down Effective Connectivity Involving the Insula Within the Error-Monitoring Network". Frontiers in Human Neuroscience 16 (2022): http://dx.doi.org/10.3389/fnhum.2022.788272.
    10.3389/fnhum.2022.788272
  12. Castelhano, Joao; Duarte, Isabel C.; Couceiro, Ricardo; Medeiros, Julio; Duraes, Joao; Afonso, Sónia; Madeira, Henrique; Castelo-Branco, Miguel. "Software Bug Detection Causes a Shift From Bottom-Up to Top-Down Effective Connectivity Involving the Insula Within the Error-Monitoring Network". Frontiers in Human Neuroscience 16 (2022): http://dx.doi.org/10.3389/fnhum.2022.788272.
    10.3389/fnhum.2022.788272
  13. Joao Castelhano; Isabel C. Duarte; Joao Duraes; Henrique Madeira; Miguel Castelo-Branco; Takashi Hanakawa. "Reading and Calculation Neural Systems and Their Weighted Adaptive Use for Programming Skills". Neural Plasticity (2021): https://doi.org/10.1155/2021/5596145.
    10.1155/2021/5596145
  14. Madeira, Henrique. "Intelligent Biofeedback Augmented Content Comprehension (TellBack)". IEEE Access 9 (2021): 28393-28406.
    10.1109/ACCESS.2021.3058664
  15. "Can EEG Be Adopted as a Neuroscience Reference for Assessing Software Programmers’ Cognitive Load?". Sensors (2021): https://www.mdpi.com/1424-8220/21/7/2338.
    10.3390/s21072338
  16. "Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor". IEEE Access 9 (2021): 105255-105269. http://dx.doi.org/10.1109/access.2021.3098644.
    10.1109/access.2021.3098644
  17. Madeira, Henrique. "Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts". IEEE Access 8 (2020): 190760-190783.
    10.1109/ACCESS.2020.3032239
  18. Madeira, Henrique. "The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers". IEEE Transactions on Cloud Computing (2020): 1-1.
    10.1109/TCC.2020.2973146
  19. Madeira, Henrique. "Assessing Dependability with Software Fault Injection: A Survey". ACM Computing Surveys 48 (3) (2016): http://dl.acm.org/citation.cfm?id=2841425.
    10.1145/2841425
  20. Véras, P.C.; Villani, E.; Ambrosio, A.M.; Vieira, M.; Madeira, H.. "A benchmarking process to assess software requirements documentation for space applications". Journal of Systems and Software 100 (2015): 103-116. http://www.scopus.com/inward/record.url?eid=2-s2.0-84919343973&partnerID=MN8TOARS.
    10.1016/j.jss.2014.10.054
  21. Costa, P.; Silva, J.G.; Madeira, H.. "Practical and representative faultloads for large-scale software systems". Journal of Systems and Software 103 (2015): 182-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924870547&partnerID=MN8TOARS.
    10.1016/j.jss.2015.02.001
  22. Costa, P.; Silva, J.G.; Madeira, H.. "Practical and representative faultloads for large-scale software systems". Journal of Systems and Software 103 C (2015): 182-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84928031644&partnerID=MN8TOARS.
    10.1016/jjss.2015.02.001
  23. Madeira, Henrique. "Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection". IEEE Transactions on Dependable and Secure Computing (2014): http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6629992.
    10.1109/TDSC.2013.45
  24. Madeira, Henrique. "Analysis of field data on web security vulnerabilities". IEEE Transactions on Dependable and Secure Computing (2014):
    10.1109/TDSC.2013.37
  25. Madeira, Henrique. "A Technique for Deploying Robust Web Services". IEEE Transactions on Services Computing (2014):
    10.1109/TSC.2012.39
  26. Natella, R.; Cotroneo, D.; Duraes, J.A.; Madeira, H.S.. "On fault representativeness of software fault injection". IEEE Transactions on Software Engineering 39 1 (2013): 80-96. http://www.scopus.com/inward/record.url?eid=2-s2.0-84872039034&partnerID=MN8TOARS.
    10.1109/TSE.2011.124
  27. Laranjeiro, N.; Vieira, M.; Madeira, H.. "A robustness testing approach for SOAP Web services". Journal of Internet Services and Applications 3 2 (2012): 215-232. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866158774&partnerID=MN8TOARS.
    10.1007/s13174-012-0062-2
  28. Pintér, G.; Madeira, H.; Vieira, M.; Majzik, I.; Pataricza, A.. "Integration of OLAP and data mining for analysis of results from dependability evaluation experiments". International Journal of Knowledge Management Studies 2 4 (2008): 480-498. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650926706&partnerID=MN8TOARS.
    10.1504/IJKMS.2008.019753
  29. Vieira, M.; Costa, A.C.; Madeira, H.. "Towards timely ACID transactions in DBMS". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4443 LNCS (2007): 262-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049181566&partnerID=MN8TOARS.
    10.1109/PRDC.2006.63
  30. Madeira, H.. "Assessing, measuring, and benchmarking dependability and resilience". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4746 LNCS (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-38149020062&partnerID=MN8TOARS.
  31. Vieira, M.; Madeira, H.. "Do you know... How to analyze and share results from dependability evaluation experiments?". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4746 LNCS (2007): 231-232. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149135860&partnerID=MN8TOARS.
  32. Moraes, R.; Durães, J.; Martins, E.; Madeira, H.. "Component-based software certification based on experimental risk assessment". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4746 LNCS (2007): 179-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149087639&partnerID=MN8TOARS.
  33. Fonseca, J.; Vieira, M.; Madeira, H.. "Detecting malicious SQL". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4657 LNCS (2007): 259-268. http://www.scopus.com/inward/record.url?eid=2-s2.0-37249092950&partnerID=MN8TOARS.
  34. Fonseca, J.; Vieira, M.; Madeira, H.. "Integrated intrusion detection in databases". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4746 LNCS (2007): 198-211. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149127253&partnerID=MN8TOARS.
  35. Barbosa, R.; Costa, D.; Madeira, H.. "An empirical approach to assess software off-the-shelf components using fault injection". European Space Agency, (Special Publication) ESA SP 630 (2006): http://www.scopus.com/inward/record.url?eid=2-s2.0-33749170471&partnerID=MN8TOARS.
  36. Durães, J.A.; Madeira, H.S.. "Emulation of software faults: A field data study and a practical approach". IEEE Transactions on Software Engineering 32 11 (2006): 849-867. http://www.scopus.com/inward/record.url?eid=2-s2.0-33947314499&partnerID=MN8TOARS.
    10.1109/TSE.2006.113
  37. Vieira, J.; Bernardino, J.; Madeira, H.. "Efficient compression of text attributes of data warehouse dimensions". Lecture Notes in Computer Science 3589 (2005): 356-367. http://www.scopus.com/inward/record.url?eid=2-s2.0-26844581645&partnerID=MN8TOARS.
  38. Vieira, M.; Durães, J.; Madeira, H.. "How to specify and validate dependability benchmarks for transactional systems,Especificação e validação de benchmarks de confiabilidade para sistemas transaccionais". IEEE Latin America Transactions 3 1 (2005): 72-81. http://www.scopus.com/inward/record.url?eid=2-s2.0-78149381853&partnerID=MN8TOARS.
    10.1109/TLA.2005.1468665
  39. Durães, J.; Madeira, H.. "A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3747 LNCS (2005): 20-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646500092&partnerID=MN8TOARS.
  40. Pintér, G.; Madeira, H.; Vieira, M.; Majzik, I.; Pataricza, A.. "A data mining approach to identify key factors in dependability experiments". Lecture Notes in Computer Science 3463 (2005): 263-280. http://www.scopus.com/inward/record.url?eid=2-s2.0-24944492963&partnerID=MN8TOARS.
  41. Madeira, H.. "Dependability challenges and education perspectives". Lecture Notes in Computer Science 3463 (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-24944555772&partnerID=MN8TOARS.
  42. Prata, P.; Rela, M.; Madeira, H.; Silva, J.G.. "Robust assertions and fail-bounded behavior". Journal of the Brazilian Computer Society 10 3 (2004): 18-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84942786151&partnerID=MN8TOARS.
    10.1007/BF03192363
  43. Vieira, M.; Madeira, H.. "Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults". Performance Evaluation 56 1-4 (2004): 187-212. http://www.scopus.com/inward/record.url?eid=2-s2.0-1042288828&partnerID=MN8TOARS.
    10.1016/j.peva.2003.07.006
  44. Durães, J.; Madeira, H.. "Generic faultloads based on software faults for dependability benchmarking". Proceedings of the International Conference on Dependable Systems and Networks (2004): 285-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-4544315837&partnerID=MN8TOARS.
  45. Vieira, M.; Madeira, H.. "Portable faultloads based on operator faults for DBMS dependability benchmarking". Proceedings - International Computer Software and Applications Conference 1 (2004): 202-209. http://www.scopus.com/inward/record.url?eid=2-s2.0-18744400245&partnerID=MN8TOARS.
  46. Durães, J.; Vieira, M.; Madeira, H.. "Dependability benchmarking of web-servers". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3219 (2004): 297-310. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048900617&partnerID=MN8TOARS.
  47. Costa, M.; Madeira, H.. "Handling big dimensions in distributed data warehouses using the DWS technique". DOLAP: Proceedings of the ACM International Workshop on Data Warehousing and OLAP (2004): 31-37. http://www.scopus.com/inward/record.url?eid=2-s2.0-19644363810&partnerID=MN8TOARS.
  48. Costa, P.; Vieira, M.; Madeira, H.; Silva, J.G.. "Plug and Play Fault Injector for Dependability Benchmarking". LECTURE NOTES IN COMPUTER SCIENCE 2847 (2003): 8-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142249912&partnerID=MN8TOARS.
  49. Durães, J.; Madeira, H.. "Definition of Software Fault Emulation Operators: A Field Data Study". Proceedings of the International Conference on Dependable Systems and Networks (2003): 105-114. http://www.scopus.com/inward/record.url?eid=2-s2.0-1542360017&partnerID=MN8TOARS.
  50. Madeira, H.; Durães, J.; Vieira, M.. "Emulation of software faults: Representativeness and usefulness". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2847 (2003): 137-159. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142218874&partnerID=MN8TOARS.
  51. Durães, J.; Madeira, H.. "Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior". IEICE Transactions on Information and Systems E86-D 12 (2003): 2563-2570. http://www.scopus.com/inward/record.url?eid=2-s2.0-0842310455&partnerID=MN8TOARS.
  52. Bizarro, P.; Madeira, H.. "Adding a performance-oriented perspective to data warehouse design". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2454 LNCS (2002): 232-244. http://www.scopus.com/inward/record.url?eid=2-s2.0-23044532162&partnerID=MN8TOARS.
  53. Bernardino, J.R.; Furtado, P.S.; Madeira, H.C.. "Approximate query answering using data warehouse striping". Journal of Intelligent Information Systems 19 2 (2002): 145-167. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036723190&partnerID=MN8TOARS.
    10.1023/A:1016551309288
  54. Koopman, P.; Madeira, H.. "Workshop on dependability benchmarking". Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): http://www.scopus.com/inward/record.url?eid=2-s2.0-0036926061&partnerID=MN8TOARS.
  55. Bernardino, J.; Madeira, H.. "Experimental evaluation of a new distributed partitioning technique for data warehouses". Proceedings of the International Database Engineering and Applications Symposium, IDEAS (2001): 312-321. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034871677&partnerID=MN8TOARS.
    10.1109/IDEAS.2001.938099
  56. Costa, D.; Rilho, T.; Vieira, M.; Madeira, H.. "ESFFI - A novel technique for the emulation of software faults in COTS components". Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems (2001): 197-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034969994&partnerID=MN8TOARS.
  57. Furtado, P.; Madeira, H.. "Vmhist: Efficient multidimensional histograms with improved accuracy". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1874 (2000): 431-436. http://www.scopus.com/inward/record.url?eid=2-s2.0-84947546287&partnerID=MN8TOARS.
  58. Furtado, Pedro; Madeira, H.; Marrocos, Pinhal. "FCompress: A new technique for queriable compression of facts and datacubes". Proceedings of the International Database Engineering and Applications Symposium, IDEAS (2000): 197-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033695997&partnerID=MN8TOARS.
  59. Furtado, P.; Madeira, H.. "Data cube compression with quanticubes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1874 (2000): 162-167. http://www.scopus.com/inward/record.url?eid=2-s2.0-84947588310&partnerID=MN8TOARS.
  60. Furtado, Pedro; Madeira, H.. "Enforcing strong object typing in flexible hypermedia". Proceedings of the ACM Conference on Hypertext (1998): 171-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031633326&partnerID=MN8TOARS.
  61. Carreira, J.; Madeira, H.; Silva, J.G.. "Xception: A technique for the experimental evaluation of dependability in modern computers". IEEE Transactions on Software Engineering 24 2 (1998): 125-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032002385&partnerID=MN8TOARS.
    10.1109/32.666826
  62. Furtado, Pedro; Madeira, H.. "Model for intuitive knowledge sharing". International Conference on Database and Expert Systems Applications - DEXA (1997): 570-575. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030689493&partnerID=MN8TOARS.
  63. Silva, Joao Gabriel; Carreira, Joao; Madeira, Henrique; Costa, Diamantino; Moreira, Francisco. "Experimental assessment of parallel systems". Proceedings - Annual International Conference on Fault-Tolerant Computing (1996): 415-424. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029703956&partnerID=MN8TOARS.
  64. Rela, Mario Zenha; Madeira, Henrique; Silva, Joao Gabriel. "Experimental evaluation of the fail-silent behaviour in programs with consistency checks". Proceedings - Annual International Conference on Fault-Tolerant Computing (1996): 394-403. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029715105&partnerID=MN8TOARS.
  65. Carreira, Joao; Madeira, Henrique; Silva, Joao Gabriel. "Assessing the effects of communication faults on parallel applications". Proceedings - International Computer Performance and Dependability Symposium (1995): 214-223. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029212723&partnerID=MN8TOARS.
  66. Costa, D.; Moreira, F.; Madeira, H.; Rela, M.; Silva, Joao Gabriel. "Experimental evaluation of the impact of processor faults on parallel applications". Proceedings of the IEEE Symposium on Reliable Distributed Systems (1995): 10-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029178653&partnerID=MN8TOARS.
  67. Madeira, Henrique; Silva, Joao G.. "Experimental evaluation of the fail-silent behavior in computers without error masking". Digest of Papers - International Symposium on Fault-Tolerant Computing (1994): 350-359. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028014813&partnerID=MN8TOARS.
  68. Madeira, H.; Camões, J.; Silva, J.G.. "A watchdog processor for concurrent error detection in multiple processor systems". Microprocessors and Microsystems 15 3 (1991): 123-130. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026138984&partnerID=MN8TOARS.
    10.1016/0141-9331(91)90131-X
  69. Madeira, Henrique; Silva, Joao G.. "On-line signature learning and checking: Experimental evaluation". Proceedings, Advanced Computer Technology, Reliable Systems and Applications (1991): 642-646. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026407042&partnerID=MN8TOARS.
  70. Madeira, Henrique; Camoes, Jose; Silva, Joao Gabriel. "Signature verification: A new concept for building simple and effective watchdog processors". Melecon (1991): 1188-1191. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026404041&partnerID=MN8TOARS.
  71. Madeira, H.; Quadros, G.; Silva, J.G.. "Experimental evaluation of a set of simple error detection mechanisms". Microprocessing and Microprogramming 30 1-5 (1990): 513-520. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025472627&partnerID=MN8TOARS.
    10.1016/0165-6074(90)90292-H
  72. Fernandes, Fernando P.L.B.; Madeira, Henrique S.C.; Silva, Joao G.M.C.. "An integrated approach to the management needs of reliable communication systems". NOMS '90. IEEE 1990 Network Operations and Management (1990): http://www.scopus.com/inward/record.url?eid=2-s2.0-0025532636&partnerID=MN8TOARS.
  73. Madeira, H.; Fernandes, B.; Rela, M.; Silva, J.G.. "The fault-tolerant architecture of the safe system". Microprocessing and Microprogramming 27 1-5 (1989): 705-712. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024715039&partnerID=MN8TOARS.
    10.1016/0165-6074(89)90136-1
Distinctions

Other distinction

2015 Distinguished Papers Award (awarded to the three best papers accepted EDCC 2015)
2009 William C. Carter 2009 for the best paper, 39th IEEE/IFIP International Conference on Dependable Systems and Networks
2003 William C. Carter award for the best paper, Intern. Conference on Dependable Systems and Networks
2001 Best Paper Award of the 3rd International Conference on Data Warehousing and Knowledge Discovery
1998 Best Business Plan - "Critical Software – Technologies for critical computer systems"