Henrique Madeira

 
 

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 180 papers in refereed conferences and journals (Google Scholar profile)


He has coordinated or participated in tens of projects funded by the Portuguese Government and by the European Union. Henrique Madeira 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 has organized several Workshops and scientific events. He was Conference Coordinator of the IEEE/IFIP DSN, the major conference of the dependability area, in 2008. He has also been asked to be referee for many international conferences and journals and he has served on program committees of the major conferences of the dependability and database 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.

 

Summary of my professional CV

Contacts:


Mail Address:

Departamento de Engenharia Informática

Polo 2, Universidade de Coimbra

3030-199 Coimbra - Portugal


Tel: +351 239 790 000 (DEI)

Cell: +351 969 234 539

Skype: henrique.madeira






Google Scholar profile

Recent Publications


  1. -(in Portuguese, to appear as book chapter)                    “Por que não temos mais investigação interdisciplinar?”      (available here)

  

  1. -I. Irrera, H. Madeira, A. Zentai, B. Hergovics, “Fault injection validation of a safety-critical TMR system”, The International Space Systems Engineering Conference, DASIA 2016, May 10-12, Tallin, Estonia, 2016.


  1. -R. Natella, D. Cotroneo, and H. Madeira, “Assessing Dependability with Software Fault Injection: A Survey”, ACM Computing Surveys, Volume 48 Issue 3, February 2016. Full paper here:










  1. -P. Costa, J. G. Silva, H. Madeira, “Practical and Representative Faultloads for Large-Scale Software Systems”, Journal of Systems and Software, Elsevier, accepted for publication in 2015


  1. -P. C. Véras, E. Villani, A. M. Ambrosio, M. Vieira, H. Madeira, “A benchmarking process to assess software requirements documentation for space applications”, Journal of Systems and Software, Vol.100, pp. 103-116, Elsevier, 2015.


  1. -F. Cerveira, R. Barbosa, H. Madeira, F. Araujo, “Recovery for Virtualized Environments”, 11th European Dependable Computing Conference, Paris, September 7-11, 2015.

Email Me