People

Henrique Madeira

Address

Departamento de Engenharia Informática
Polo II- Pinhal de Marrocos
3030 Coimbra - Portugal

Email

Home Page

http://eden.dei.uc.pt/~henrique

Member

Software and Systems Engineering

Research interests

Experimental dependability evaluation
Dependability benchmarking in OLTP systems
Performance and space usage in Data Warehousing

Affiliation

I\'m professor at the Department of Informatics Engineering (DEI) of the University of Coimbra, Portugal.

National Projects

MobiWise: from mobile sensing to mobility advising

International Projects

CECRIS – CErtification of CRItical Systems
DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
EUBrasilCloudFORUM: Fostering an International dialogue between Europe & Brazil
EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications

Past Projects

DBench - Dependability Benchmarking
DWS Data Warehouse Striping
Data Warehousing using Open Source Technology: high performance at low infrastructure cost
TACID - Timely ACID Transactions in DBMS
VAL-COTS-RT - Validation of Real-Time COTS products
WebBench - Dependability benchmarking for web-servers focusing on availability and security
ADW - Affordable Data Warehouses
AMBER - Assessing, Measuring, and Benchmarking Resilience
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
Intelligent Data Processing for Dependability
Dependability Benchmarking for Software Components
REVVIS – Rede de Especialistas em Verificação e Validação de Software
ADW - Affordable Data Warehouses
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components




Journal Articles

2016

(1 publication)

2015

(3 publications)

2014

(3 publications)

2013

(1 publication)

2012

(3 publications)

2008

(1 publication)

2006

(1 publication)

2005

(2 publications)

2004

(1 publication)

2003

(1 publication)

2002

(1 publication)

1998

(1 publication)

1991

(1 publication)

1990

(1 publication)

Conference Articles

2017

(3 publications)

2016

(1 publication)

2015

(2 publications)

2014

(4 publications)

2013

(1 publication)

2012

(1 publication)

2011

(1 publication)

2010

(11 publications)

2009

(13 publications)

2008

(11 publications)

2007

(11 publications)

2006

(8 publications)

2005

(8 publications)

2004

(7 publications)

2003

(8 publications)

2002

(10 publications)

2001

(9 publications)

2000

(7 publications)

1999

(2 publications)

1998

(2 publications)

1996

(2 publications)

1995

(4 publications)

1994

(3 publications)

1993

(1 publication)

1992

(1 publication)

1991

(1 publication)

1984

(1 publication)

Book Chapters

2017

(1 publication)

2012

(4 publications)

2011

(1 publication)

2009

(1 publication)

2008

(3 publications)

2007

(1 publication)

2005

(1 publication)

2003

(1 publication)

2002

(1 publication)

1992

(1 publication)

Tech Report