People
Henrique Madeira
Address
Departamento de Engenharia InformáticaPolo II- Pinhal de Marrocos
3030 Coimbra - Portugal
Home Page
http://eden.dei.uc.pt/~henriqueMember
Software and Systems EngineeringResearch interests
Experimental dependability evaluationDependability 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
5G - Components and Services for 5G Networks (5G - Componentes e Serviços para Redes 5G)
AESOP - Autonomic Service Operation
International Projects
BASE - Biofeedback Augmented Software Engineering
AI4EU - A European AI On Demand Platform and Ecosystem
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
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
CECRIS – CErtification of CRItical Systems
ADW - Affordable Data Warehouses
DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
EUBrasilCloudFORUM: Fostering an International dialogue between Europe & Brazil
EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications
Journal Articles
2020
(1 publication)- Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. , "The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers", IEEE Transactions on Cloud Computing, 2020 [ DOI ]
2018
(2 publications)- Barbosa, R. and Cerveira, F. and Gonçalo, L. and Madeira, H. , "Emulating representative software vulnerabilities using field data", Springer Computing, vol. 101, pp. 119-138, 2018 [ DOI ]
- Madeira, H. and Castelo-Branco, M. and Duarte, C. and Castelhano, J. , "The role of the insula in intuitive expert bug detection in computer code: an fMRI study", Brain Imaging and Behavior, vol. 12, pp. 1-15, 2018 [ DOI ]
2016
(1 publication)- Natella, R. and Cotroneo, D. and Madeira, H. , "Assessing Dependability with Software Fault Injection: A Survey", ACM Computing Surveys, vol. 48, pp. 1-57, 2016 [ DOI ]
2015
(3 publications)- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. , "A Benchmarking Process to Assess Software Requirements Documentation for Space Applications", Journal of Systems and Software (JSS), vol. 100, 2015
- Costa, J.P. and Silva, J.G. and Madeira, H. , "Practical and Representative Faultloads for Large-Scale Software Systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015 [ DOI ]
- Costa, P. .N.d. and Silva, J.G. and Madeira, H. , "Practical and representative faultloads for large-scale software systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015
2014
(3 publications)- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Technique for Deploying Robust Web Services", IEEE Transactions on Services Computing, vol. 47, 2014
- José Fonseca and Seixas, N. and Marco Vieira and Madeira, H. , "Analysis of Field Data on Web Security Vulnerabilities", IEEE Transactions on Dependable and Secure Computing, vol. 11, 2014
- José Fonseca and Marco Vieira and Madeira, H. , "Evaluation of Web Security Mechanisms using Vulnerability & Attack Injection", IEEE Transactions on Dependable and Secure Computing, vol. 11, 2014
2013
(1 publication)- Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. , "On Fault Representativeness of Software Fault Injection", IEEE Transactions on Software Engineering, vol. 39, pp. 80-96, 2013 [ DOI ]
2012
(3 publications)- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Robustness Testing Approach for SOAP Web Services", Journal of Internet Services and Applications (JISA), 2012
- Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino , "Cost-Effective Data Allocation in Data Warehouse Striping", International Journal of Database Management Systems (IJDMS), ISSN: 0975-5705 (online) - 0975-5985 (print), vol. 4, 2012
- Natella, R. and Cotroneo, D. and Madeira, H. , "On Fault Representativeness of Software Fault Injection", IEEE Transactions on Software Engineering, vol. 39, pp. 80-96, 2012
2008
(1 publication)2006
(1 publication)2005
(2 publications)- Marco Vieira and Joao Duraes and Madeira, H. , "Especificação e Validação de Benchmarks de Confiabilidade para Sistemas Transaccionais (How to Specify and Validate Dependability Benchmarks for Transactional Systems)", Revista IEEE América Latina (IEEE Latin America Transactions), ISSN 1548-0992, 2005
- Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Robust Assertions and Fail-Bounded Behavior", Journal of the Brazilian Computer Society (Special Issue on Dependable Computing), 2005
2004
(1 publication)2003
(1 publication)2002
(1 publication)1998
(1 publication)1991
(1 publication)1990
(1 publication)Conference Articles
2020
(1 publication)- Martins, J. and Barbosa, R. and Lourenço, Nuno and Robin, J. and Madeira, H. , "Online Verification through Model Checking of Medical Critical Intelligent Systems", in Dependable and Secure Machine Learning (DSML 2020) co-located with the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) , 2020 [ DOI ]
2019
(8 publications)- Couceiro, R. and Barbosa, R. and Joao Duraes and Duarte, G. and Castelhano, J. and Duarte, C. and Teixeira, C. and Laranjeiro, N. and Medeiros, J. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Spotting problematic code lines using nonintrusive programmers’ biofeedback", in 30th International Symposium on Software Reliability Engineering (ISSRE 2019), 2019
- Cerveira, F. and Barbosa, R. and Madeira, H. , "Fast Local VM Migration Against Hypervisor Corruption", in 2019 15th European Dependable Computing Conference (EDCC), 2019 [ DOI ]
- Medeiros, J. and Couceiro, R. and Castelhano, J. and Duarte, G. and Duarte, C. and Joao Duraes and Madeira, H. and Carvalho, P. and Teixeira, C. and Branco, M.L. , "Software code complexity assessment using EEG features", in 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019 [ DOI ]
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and Carvalho, P. and Madeira, H. , "Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload", in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019 [ DOI ]
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Pupillography as indicator of programmers’ mental effort and cognitive overload", in DSN, 2019
- Medeiros, J. and Couceiro, R. and Castelhano, J. and Castelo-Branco, M. and Duarte, C. and Joao Duraes and Madeira, H. and P. Carvalho and Teixeira, C. , "Software code complexity assessment using EEG features", in Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Biofeedback augmented software engineering: monitoring of programmers' mental effort", in ICSE 2019, 2019
- Robin, J. and Mazo, R. and Madeira, H. and Barbosa, R. and Diaz, D. and Abreu, S. , "A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence", in International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2019), 2019 [ DOI ]
2018
(3 publications)- Mendes, D.F.d.C.M. and Naghmeh Ivaki and Madeira, H. , "Effects of GPS Spoo?ng on Unmanned Aerial Vehicles", in The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018), 2018
- Cerveira, F. and Kocsis, I. and Barbosa, R. and Madeira, H. and Pataricza, A. , "Exploratory Data Analysis of Fault Injection Campaigns", in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018 [ DOI ]
- Cerveira, F. and Alcides Fonseca and Barbosa, R. and Madeira, H. , "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors", in 2018 14th European Dependable Computing Conference (EDCC), 2018 [ DOI ]
2017
(3 publications)- Cerveira, F. and Barbosa, R. and Madeira, H. , "Soft Errors Susceptibility of Virtualization Servers", in 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), 2017 [ DOI ]
- Cerveira, F. and Barbosa, R. and Madeira, H. , "On the Emulation of Vulnerabilities through Software Fault Injection", in European Dependable Computing Conferece (EDCC), 2017
- Cerveira, F. and Barbosa, R. and Madeira, H. , "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine", in International Symposium on Software Reliability Engineering (ISSRE 2017), 2017
2016
(1 publication)2015
(2 publications)- Cerveira, F. and Barbosa, R. and Madeira, H. and Araujo, F. , "Recovery for Virtualized Environments", in 11th European Dependable Computing Conference (EDCC 2015), 2015 [ DOI ]
- Olga Craveiro and Macedo, J. and Madeira, H. , "Temporal Analysis of CHAVE Collection", in SPIRE 2015 : International Symposium on String Processing and Information Retrieval, 2015 [ DOI ]
2014
(4 publications)- Mendes, N. and Joao Duraes and Madeira, H. , "Security Benchmarks for Web Serving Systems", in IEEE 25th International Symposium on Software Reliability Engineering (ISSRE 2014), 2014
- Olga Craveiro and Macedo, J. and Madeira, H. , "Words Temporality for Improving Query Expansion", in Computational Processing of the Portuguese Language (PROPOR 2014), 2014
- Olga Craveiro and Macedo, J. and Madeira, H. , "Query Expansion with Temporal Segmented Texts", in 36th European Conference on IR Research (ECIR 2014), 2014
- Pereira, P. and Macedo, J. and Olga Craveiro and Madeira, H. , "Time-Aware Focused Web Crawling", in 36th European Conference on IR Research (ECIR 2014), 2014
2013
(1 publication)- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing the Impact of Virtualization on the Generation of Failure Prediction Data ", in Sixth Latin-American Symposium on Dependable Computing (LADC), 2013, 2013 [ DOI ]
2012
(1 publication)2011
(1 publication)2010
(11 publications)- Laranjeiro, N. and Marco Vieira and Madeira, H. , "A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks", in The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), 2010
- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults", in The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), 2010 [ DOI ]
- José Fonseca and Marco Vieira and Madeira, H. , "The Web Attacker Perspective - A Field Study", in 21st annual International Symposium on Software Reliability Engineering, 2010
- Raquel Almeida and Mendes, N. and Madeira, H. , "Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience", in International Conference on Distributed Computing Systems Workshops, 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Silva, N. and Marco Vieira and Madeira, H. , "Errors on Space Software Requirements: A Field Study and Application Scenarios", in 21st annual International Symposium on Software Reliability Engineering, 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Pontes, R.P. and Marco Vieira and Madeira, H. , "Benchmarking Software Requirements Documentation for Space Application", in The 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2010), 2010
- Raquel Almeida and Madeira, H. and Marco Vieira , "Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge", in 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010
- Olga Craveiro and Macedo, J. and Madeira, H. , "Leveraging temporal expressions for segmented-based information retrieval", in International Conference on Intelligent Systems Design and Applications (ISDA), 2010
- Raquel Almeida and Madeira, H. and Marco Vieira , "From Performance to Resilience Benchmarking", in IEEE 30th International Conference on Distributed Computing Systems Workshops (ICDCSW), 2010
- Veras, P.C. and Villani, E. and Ambrósio, A.M. and Marco Vieira and Madeira, H. , "Towards Benchmarking Software Requirements Documentation for Space Applications (fast abstract)", in Eigth European Dependable Computing Conference, EDCC 2010, 2010
- Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. , "Representativeness Analysis of Injected Software Faults in Complex Software", in 2010 IEEE/IFIP International Conference on Dependable Systems&Networks; (DSN), 2010 [ DOI ]
2009
(13 publications)- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Predicting Timing Failures in Web Services", in International Workshop on Managing Data Quality in Collaborative Information Systems (MCIS 2009) at the International Conference on Database Systems for Advanced Applications (DASFAA 2009), 2009
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Improving Web Services Robustness", in IEEE International Conference on Web Services (ICWS 2009), 2009
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Protecting Database Centric Web Services against SQL/Xpath Injection Attacks", in 20th International Conference on Database and Expert Systems Applications (DEXA 2009), 2009
- Nuno Antunes and Laranjeiro, N. and Marco Vieira and Madeira, H. , "Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services", in IEEE International Conference on Services Computing (SCC 2009), 2009
- José Fonseca and Marco Vieira and Madeira, H. , "Vulnerability & Attack Injection for Web Applications", in 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009
- Marco Vieira and Nuno Antunes and Madeira, H. , "Using Web Security Scanners to Detect Vulnerabilities in Web Services", in 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009
- Araújo Neto, A.C.d. and Marco Vieira and Madeira, H. , "An Appraisal to Assess the Security of Database Configurations", in International Conference on Dependability (DEPEND 2009), 2009
- Seixas, N. and José Fonseca and Marco Vieira and Madeira, H. , "Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study", in 20th annual International Symposium on Software Reliability Engineering, 2009
- Marco Vieira and Madeira, H. and Ivano Irrera , "Fault Injection for Failure Prediction Methods Validation", in Fifth Workshop on Hot Topics in System Dependability (HotDep 2009), 2009
- Olga Craveiro and Macedo, J. and Madeira, H. , "Use of Co-occurrences for Temporal Expressions Annotation", in International Symposium on String Processing and Information (SPIRE), 2009
- Marco Vieira and Madeira, H. , "From Performance to Dependability Benchmarking: A Mandatory Path", in First TPC Technology Conference on Performance Evaluation & Benchmarking, TPCTC 2009, (jointly organized with the 35th International Conference on Very Large Databases, VLDB09), 2009
- Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. , "Towards Assessing the Impact of Security Attacks in Web Servers (fast abstract)", in The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 2009
- Costa, P. .N.d. and Silva, J.G. and Madeira, H. , "Dependability Benchmarking using Software Faults: How to create practical and representative faultloads", in Proc. IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC’09), 2009
2008
(11 publications)- José Fonseca and Marco Vieira and Madeira, H. , "Online Detection of Malicious Data Access Using DBMS Auditing", in 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008), 2008
- Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. , "Redundant Array of Inexpensive Nodes for DWS", in The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), 2008
- Vieira, J. and Marco Vieira and Costa, M.A. and Madeira, H. , "RAIN: Always On Data Warehousing", in The 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008), 2008
- Marco Vieira and Vieira, J. and Madeira, H. , "Towards Data Security in Affordable Data Warehouses (Fast Abstract)", in 7th European Dependable Computing Conference (EDCC-7), 2008
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Experimental Robustness Evaluation of JMS Middleware", in IEEE International Conference on Services Computing (SCC 2008), 2008
- Marco Vieira and Mendes, N. and Joao Duraes and Madeira, H. , "The AMBER Data Repository", in DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking (DSN-RADB08), IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), 2008
- Laranjeiro, N. and Marco Vieira and Madeira, H. , "Timing Failures Detection in Web Services", in IEEE Asia-Pacific Services Computing Conference (APSCC 2008), 2008
- José Fonseca and Marco Vieira and Madeira, H. , "Training Security Assurance Teams using Vulnerability Injection", in 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08), 2008
- Mendes, N. and Araújo Neto, A.C.d. and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing and Comparing Security of Web Servers", in 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08), 2008
- Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. , "Security Assessment and Testing Tools Information Repository", in Workshop on Fault Tolerance (WTF2008) in the 26th Brazilian Symposium on Network Computing (SBRC2008), 2008
- Raquel Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino , "Efficient Data Distribution for DWS", in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK \'08 ), 2008
2007
(11 publications)- Marco Vieira and Costa, A.C. and Madeira, H. , "Towards Timely ACID Transactions in DBMS", in The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), 2007
- Barbosa, R. and Silva, N. and Silva, N. and Joao Duraes and Madeira, H. , "Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques", in 6th IEEE International Conference on COTS-based Software Systems, 2007
- Marco Vieira and Laranjeiro, N. and Madeira, H. , "Assessing Robustness of Web-services Infrastructures", in Dependable Computing and Communications Symposium (DCCS), 2007
- Moraes, R. and Joao Duraes and Barbosa, R. and Martins, E. and Madeira, H. , "Experimental Risk Assessment and Comparison Using Software Fault Injection", in Dependable Computing and Communications Symposium (DCCS), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Correlating security vulnerabilities with software faults (Fast Abstract)", in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 2007
- Costa, A.C. and Marco Vieira and Madeira, H. , "Middleware Support for Time-Elastic Database Applications (Fast Abstract)", in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Detecting malicious SQL", in 4th International Conference on Trust, Privacy & Security in Digital Business (in conjunction with the 18th International Conference on Database and Expert Systems Applications (DEXA 2007)), TrusBus\'07, 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Integrated Intrusion Detection in Databases", in Third Latin-American Symposium on Dependable Computing (LADC 2007), 2007
- Marco Vieira and Madeira, H. , "Do you know... How to analyze and share results from dependability evaluation experiments? (Tutorial)", in Third Latin-American Symposium on Dependable Computing (LADC 2007), 2007
- Marco Vieira and Laranjeiro, N. and Madeira, H. , "Benchmarking the Robustness of Web Services", in The 13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007), 2007
- José Fonseca and Marco Vieira and Madeira, H. , "Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks", in 13th IEEE Pacific Rim Dependable Computing Conference (PRDC 2007), 2007
2006
(8 publications)- Marco Vieira and Costa, A.C. and Madeira, H. , "Towards Timely ACID Transactions in DBMS (Short Paper)", in The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006), 2006
- José Fonseca and Marco Vieira and Madeira, H. , "Monitoring Database Application Behavior for Intrusion Detection (Short Paper)", in The IEEE 12th International Symposium Pacific Rim Dependable Computing (PRDC 2006), 2006
- Silva, L. and Madeira, H. and Silva, J.G. , "Software Aging and Rejuvenation in a SOAP-based Server", in IEEE-NCA, Network Computing and Applications, 2006
- Mendes, N. and Moraes, R. and Martins, E. and Madeira, H. , "Improving dependability of software components by using wrappers", in VII Workshop de Testes e Tolerância a Falhas, 2006
- Barbosa, R. and Costa, D. and Madeira, H. , "An Empirical Approach to Assess Software Off-The-Shelf Components Using Fault Injection", in International Conference on Data Systems in Aerospace, DASIA 2006, 2006
- Moraes, R. and Joao Duraes and Martins, E. and Madeira, H. , "A field data study on the use of software metrics to define representative fault distribution", in Workshop on Empirical Evaluation of Dependability and Security (WEEDS), 2006
- Moraes, R. and Barbosa, R. and Joao Duraes and Mendes, N. and Martins, E. and Madeira, H. , "Injection of faults at component interfaces and inside the component code: are they equivalent?", in 6th European Dependable Computing Conference â?? EDCC-6, 2006
- Mendes, N. and Moraes, R. and Martins, E. and Madeira, H. , "Jaca Tool Improvements for Speeding Up Fault Injection Campaigns", in Brasilien Symposium on Software Engineering, 2006
2005
(8 publications)- Pintér, G. and Madeira, H. and Marco Vieira and Pataricza, A. and Majzik, I. , "A Data Mining Approach to Identify Key Factors in Dependability Experiments", in Fifth European Dependable Computing Conference (EDCC-5), 2005
- Marco Vieira and Madeira, H. , "Towards a security benchmark for Database Management Systems", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
- Marco Vieira and Costa, A.C. and Madeira, H. , "TACID Transactions", in 1st Workshop on Hot Topics in System Dependability (HotDep-05), 2005
- Maia, R. and Henriques, L. and Barbosa, R. and Costa, D. and Madeira, H. , "Xception fault injection and robustness testing framework: a case-study of testing RTEMS", in VI Test and Fault Tolerance Workshop (jointly organized with the 23rd Brazilian Symposium on Computer Networks (SBRC)), 2005
- Vieira, J. and Jorge Bernardino and Madeira, H. , "Efficient compression of text attributes of data warehouse dimensions", in 7th International Conference on Data Warehousing and Knowledge Discovery - DaWak, 2005
- Kanoun, K. and Madeira, H. and Moreira, F. and Cin, M.D. and García, J.C. , "DBench - Dependability Benchmarking", in Fifth European Dependable Computing Conference (EDCC-5), 2005
- Joao Duraes and Madeira, H. , "A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code", in Second Latin-American Symposium on Dependable Computing, LADC, 2005
- Marco Vieira and Madeira, H. , "Detection of malicious transactions in DBMS", in The 11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005, 2005
2004
(7 publications)- Marco Vieira and Madeira, H. , "Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking", in The 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, 2004
- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in The 23rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2004, 2004
- Marco Vieira and Costa, A.C. and Madeira, H. , "Timely ACID Transactions in DBMS (Fast Abstract)", in The International Conference on Dependable Systems and Networks, DSN-2004, 2004
- Joao Duraes and Madeira, H. , "Generic Faultloads Based on Software Faults for Dependability Benchmarking", in IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004, 2004
- Joao Duraes and Madeira, H. , "Web-server Availability from the End-user Viewpoint: a Comparative Study (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004, 2004
- Costa, M.A. and Madeira, H. , "Handling big dimensions in distributed data warehouses using the DWS technique", in ACM Seventh International Workshop on Data Warehousing and OLAP, DOLAP 2004, 2004
- Marco Vieira and Joao Duraes and Madeira, H. , "How to Specify Dependability Benchmarks for OLTP Application Environments", in IX Conference on Software Engineering and Databases (JISBD 2004), 2004
2003
(8 publications)- Marco Vieira and Madeira, H. , "Benchmarking the Dependability of Different OLTP Systems", in International Conference on Dependable Systems and Networks, DSN-DCC 2003, 2003
- Joao Duraes and Madeira, H. , "Definition of Software Fault Emulation Operators: a Field Data Study", in The International Conference on Dependability Systems and Networks, DSN-2003, 2003
- Madeira, H. and Costa, J.P. and Marco Vieira , "The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments", in International Conference on Dependable Systems and Networks, DSN-DCC 2003, 2003
- Marco Vieira and Madeira, H. , "A Dependability Benchmark for OLTP Application Environments", in Very Large Databases Conference - VLDB2003, 2003
- Costa, M.A. and Vieira, J. and Jorge Bernardino and Furtado, P. and Madeira, H. , "A middle layer for distributed data warehouses using the DWS-AQA technique", in VIII Jornadas de Ingenieria del Software y Bases de Datos, 2003
- Marques, A. and Rino, B.L. and Madeira, H. , "iGen: plataforma de geração de código com ciclo de desenvolvimento completo", in 8th Conference on Software Engineering and Databases, 2003
- Costa, P. .N.d. and Marco Vieira and Madeira, H. and Silva, J.G. , "Plug and Play Fault Injector for Dependability Benchmarking", in First Latin-American Symposium on Dependable Computing, LADC, 2003
- Madeira, H. and Joao Duraes and Marco Vieira , "Emulation of Software Faults: Representativeness and Usefulness", in First Latin-American Symposium on Dependable Computing, LADC, 2003
2002
(10 publications)- Joao Duraes and Madeira, H. , "Characterization of Operating Systems Behavior in the presence of Faulty Drivers through Software Fault Emulation", in The Pacific Rim International Dependability Symposium, PRDC-2002, 2002
- Joao Duraes and Madeira, H. , "Emulation of Software Faults by Selective Mutations at Machine-Code Level", in The 13th, International Symposium on Software Reliability Engineering, ISSRE-2002, 2002
- Madeira, H. and Some, R.R. and Moreira, F. and Costa, D. and Rennels, D. , "Experimental evaluation of a COTS system for space applications", in The International Conference on Dependable Systems and Networks, DSN-2002, 2002
- Marco Vieira and Madeira, H. , "Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking", in Pacific Rim International Symposium on Dependable Computing, PRDC2002, 2002
- Marco Vieira and Madeira, H. , "Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults", in The International Symposium on Dependable Systems and Networks, DSN-IPDS 2002, 2002
- Madeira, H. and Costa, J.P. and Marco Vieira and Costa, D. , "Data warehousing approach for the analysis of dependability benchmarking experiments (Fast Abstract)", in Fourth European Dependable Computing Conference (EDCC-4), 2002
- Kanoun, K. and Madeira, H. and Arlat, J. , "A Framework for Dependability Benchmarking", in Workshop on Dependability Benchmarking, ointly organized with the IEEE/IFIP International Conference on Dependable Systems and Networks, 2002
- Jorge Bernardino and Furtado, P. and Madeira, H. , "DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses", in International Database Engineering & Applications Symposium, 2002
- Bizarro, P. and Madeira, H. , "Adding a performance-oriented perspective to data warehouse design", in 4th International Conference on Data Warehousing and Knowledge Discovery - DaWaK 2002, 2002
- Maia, R. and Henriques, L. and Costa, D. and Madeira, H. , "Xception - Enhanced Automated Fault-Injection Environment", 2002
2001
(9 publications)- Bizarro, P. and Madeira, H. , "A new index for data warehouses", in XVI Brazilian Symposium on Databases (SBBD2001), 2001
- Jorge Bernardino and Madeira, H. , "Data Warehouse Striping: Improved Query Warehouse Striping Response Time", in International Conference on Enterprise Information Systems, ICEIS-2001, 2001
- Jorge Bernardino and Madeira, H. , "Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses", in International Symposium on Database Engineering and Applications, IDEAS 2001, 2001
- Costa, D. and Rilho, T. and Marco Vieira and Madeira, H. , "ESFFI - A novel technique for the Emulation of Software Faults in COTS Components", in 8th Annual IEEE International Conference on the Engineering of Computer-Based Systems, ECBS 2001, 2001
- Jorge Bernardino and Madeira, H. , "A New Technique to Speedup Queries in Data Warehousing", in ABDIS-DASFA, Symposium on Advances in Databases and Information Systems - Enlarged Fourth East-European Conference on Advances in Databases and Information Systems, 2001
- Costa, D. and Marco Vieira and Madeira, H. , "Optimization of Performance and Recovery of Database Systems in the Presence of Operation Faults (Fast Abstract)", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001
- Joao Duraes and Madeira, H. , "Accuracy of the Emulation of Software Faults by Machine-Code Level Errors (Fast Abstract)", in Dependable Systems and Networks DSN-01, 2001
- Jorge Bernardino and Madeira, H. and Furtado, P. , "Approximate Query Answering Using Data Warehouse Striping", in DaWaK, Data Warehousing and Knowledge Discovery, 2001
- Madeira, H. and Koopman, P. , "Dependability Benchmarking: making choices in an n-dimensional problem space", in First Workshop on Evaluating and Architecting System Dependability (EASY), 2001
2000
(7 publications)- Furtado, P. and Madeira, H. , "FCompress: A New Technique for Queriable Compression of Facts and Datacubes", in International Database Engineering and Applications Symposium, IDEASâ??2000, 2000
- Furtado, P. and Madeira, H. , "Data Cube Compression with QuantiCubes", in 2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak'00, 2000
- Furtado, P. and Madeira, H. , "VMHIST: Improved Adaptable Multidimensional Histograms", in 2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak\'00, 2000
- Madeira, H. and Marco Vieira and Costa, D. , "On the Emulation of Software Faults by Software Fault Injection", in Dependable Systems and Networks Conference â?? DSN-2000, 2000
- Costa, D. and Rilho, T. and Madeira, H. , "Joint Evaluation of Performance and Robustness of a COTS DBMS Through Fault-Injection", in Dependable Systems and Networks Conference, DSN-2000, 2000
- Rilho, T. and Costa, D. and Marco Vieira and Madeira, H. , "Run-time Software Implemented Fault-Injection (RTSWIFI): an Approach to Emulate Software Faults in COTS (Fast Abstract)", in Dependable Systems and Networks Conference, DSN-2000, 2000
- Jorge Bernardino and Madeira, H. , "Data Warehousing and OLAP: Improving Query Performance Using Distributed Computing", in 12th Conference on Advanced Information Systems Engineering, 2000
1999
(2 publications)- Koopman, P. and Madeira, H. , "Dependability Benchmarking & Prediction: A Grand Challenge Technology Problem", in 1st IEEE International Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems, 1999
- Costa, D. and Madeira, H. , "Experimental Assessment of COTS DBMS Rubustness Under Transient Faults", in PRDC 99, 1999
1998
(2 publications)- Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. , "Practical Issues in the Use of ABFT and a new Failure Model", in FTCS - 28, 1998
- Furtado, P. and Madeira, H. , "Summary Grids: Building Accurate Multidimensional Histograms", in Dasfaa 1998, 1998
1996
(2 publications)- Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks", in 26th Symposium on Fault Tolerant Computer Systems (FTCS-26), 1996
- Silva, J.G. and Carreira, J. and Madeira, H. and Costa, D. and Moreira, F. , "Experimental Assessment of Parallel Systems", in Twenty-Six Annual International Symposium on Fault-Tolerant Computing (FTCS-26), 1996
1995
(4 publications)- Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. , "Experimental Evaluation of the Impact of Processor Faults on Parallel Applications", in 14th IEEE Symposium on Reliable Distributed Systems (SRDS-14), 1995
- Madeira, H. and Carreira, J. and Silva, J.G. , "Injection of Faults in Complex Computers", in Workshop on Evaluation Techniques for Dependable Systems, 1995
- Carreira, J. and Madeira, H. and Silva, J.G. , "Xception: Software Fault Injection and Monitoring in Processor Functional Units", in Fifth IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), 1995
- Carreira, J. and Madeira, H. and Silva, J.G. , "Assessing the Effects of Communication Faults on Parallel Applications", in 1st IEEE International Performance and Dependability Symposium (IPDS'95), 1995
1994
(3 publications)- Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. , "RIFLE: a general purpose pin-level fault injector", in 1st European Dependable Computing Conference (EDCC-1), vol. 852, 1994
- Madeira, H. and Silva, J.G. , "Experimental evaluation of the fail-silent behavior in computers without error masking", in 24th Fault Tolerant Computing Symposium FTCS-24, 1994
- Silva, J.G. and Silva, L. and Madeira, H. and Jorge Bernardino , "A fault-tolerant mechanism for simple controllers", in First European Dependable Computing Conference, 1994
1993
(1 publication)1992
(1 publication)1991
(1 publication)1984
(1 publication)Book Chapters
2019
(1 publication)- Marilia Curado and Madeira, H. and Paulo Rupino da Cunha and Bruno Cabral and David Perez Abreu and Barata, J. and Licinio Roque and Roger Immich , "Internet of Things", in Cyber Resilience of Systems and Networks, vol. 1, pp. 381-401, 2019 [ DOI ]
2017
(2 publications)- Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. , "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience, pp. 247-274, 2017
- Ivano Irrera and Zentai, A. and Cunha, J.C. and Madeira, H. , "Validating a Safety Critical Railway Application Using Fault Injection", in Certifications of Critical Systems – The CECRIS Experience, pp. 227-246, 2017
2012
(4 publications)- Micskei, Z. and Majzik, I. and Madeira, H. and Marco Vieira and Nuno Antunes and Avritzer, A. , "Robustness Testing Techniques and Tools", in Resilience Assessment and Evaluation of Computing Systems, 2012
- Joao Duraes and José Fonseca and Madeira, H. and Marco Vieira , "Field Studies on Resilience: Measurements and Repositories", in Resilience Assessment and Evaluation, vol. na, pp. 213-237, 2012
- Barbosa, R. and Karlsson, J. and Marco Vieira and Madeira, H. , "Fault Injection", in Resilience Assessment and Evaluation, vol. 1, pp. 263-282, 2012
- Marco Vieira and Madeira, H. and Sachs, K. and Kounev, S. , "Resilience Benchmarking", in Resilience Assessment and Evaluation of Computing Systems, 2012
2011
(1 publication)2009
(1 publication)2008
(3 publications)- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008
- Marco Vieira and Joao Duraes and Madeira, H. , "Dependability Benchmarks for OLTP Systems", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008
- Olga Craveiro and Macedo, J. and Madeira, H. , "PorTexTO: sistema de anotação/extracção de expressões temporais", in Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, pp. 159-170, 2008
2007
(1 publication)- Madeira, H. and Martins, E. and Moraes, R. , "Component-Based Software Certification Based on Experimental Risk Assessment", in Lecture Notes in Computer Science Volume, vol. 4746, pp. 179-197, 2007 [ DOI ]