Henrique Madeira

201 papers A* 1A 39B 19C 38Misc 17Journal 36Unranked 45
YearRankTypeTitle / Venue / Authors
2026 J jnl
A software architecture for verifiable and explainable classification.
Mach. Learn.
Raul Barbosa, Salvatore Rinzivillo, Jacques Robin, Andrea Beretta, Henrique Madeira
2026 J jnl
Complementarity in software code complexity metrics.
J. Syst. Softw.
Hao Gao, Haytham Hijazi, Júlio Medeiros, João Durães, Chan-Tong Lam, Paulo de Carvalho, Henrique Madeira
2025 — conf
A Comparative Analysis of Cognitive Load Surrogates Using the Eye-Tracker in Code Comprehension.
ISSREW
Hao Gao, Júlio Medeiros, Chan-Tong Lam, Haytham Hijazi, Henrique Madeira, Paulo de Carvalho
2025 J jnl
Emotional Awareness in Software Development: Evaluating Software Project Managers' Perspectives.
IEEE Access
Leo Silva, Margarida Lima, Henrique Madeira
2025 A conf
NRevisit: A Cognitive Behavioral Metric for Code Understandability Assessment.
EASE
Hao Gao, Haytham Hijazi, Júlio Medeiros, João Durães, Chan-Tong Lam, Paulo de Carvalho, Henrique Madeira
2025 J jnl
NRevisit: A Cognitive Behavioral Metric for Code Understandability Assessment.
CoRR
Hao Gao, Haytham Hijazi, Júlio Medeiros, João Durães, Chan-Tong Lam, Paulo de Carvalho, Henrique Madeira
2025 A conf
No Vibe Without Comprehension: Measuring Code Understanding in Modern Coding Workflows Using Neurophysiological Signals.
ISSRE
Ricardo Saraiva, João Durães, Paulo de Carvalho, Henrique Madeira, Haytham Hijazi
2025 Misc conf
On Metrics for U-Space Safety Risk Assessment.
EDCC
Omid Asghari, Anamta Khan, Naghmeh Ivaki, Henrique Madeira
2025 — conf
On the Adaptability of ML Reliability Estimation Techniques to Federated Settings.
ISSREW
Junjian Yan, Paulo de Carvalho, Jorge Henriques, João Loureiro, Chan-Tong Lam, Henrique Madeira
2025 J jnl
UAV Operations Safety Assessment: A Systematic Literature Review.
ACM Comput. Surv.
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
2024 A conf
A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults.
DSN
Anamta Khan, Naghmeh Ivaki, Henrique Madeira
2024 — conf
A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller.
EDCC Workshops
Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira
2024 J jnl
Advancing modern code review effectiveness through human error mechanisms.
J. Syst. Softw.
Fuqun Huang, Henrique Madeira
2024 Misc conf
Fault injection acceleration using failure models on a virtualized fault-tolerant system.
EDCC
Bernardo Graça, Frederico Cerveira, Henrique Madeira
2024 — conf
Towards Improved Perception System's Generalization Through Generative Artificial Intelligence.
ISSRE (Workshops)
Jiawei Wang, João R. Campos, Henrique Madeira
2024 J jnl
Where Did I Get Lost? A Prototype Tool for Predicting Local-Level Comprehension Difficulties With Wearables and Explainable Machine Learning.
IEEE Access
Haytham Hijazi, Miguel Gomes, João Castelhano, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira
2023 C conf
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller.
PRDC
Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira
2023 — conf
Integration of U-space Safety Assessment Methodologies With Experimentation.
DSN-W
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
2023 C conf
Lead Time Analysis for UAVs' Failure Prediction in U-space.
PRDC
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
2023 C conf
Network Failures in Cloud Management Platforms: A Study on OpenStack.
CLOSER
Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira
2023 — conf
Predicting Cloud Applications Failures from Infrastructure Level Data.
DSN-W
Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira
2023 J jnl
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension.
IEEE Trans. Software Eng.
Haytham Hijazi, João Durães, Ricardo Couceiro, João Castelhano, Raul Barbosa, Júlio Medeiros, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
2023 J jnl
Using social media and personality traits to assess software developers' emotional polarity.
PeerJ Comput. Sci.
Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira
2022 C conf
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience.
QRS
Gonçalo Carvalho, Nádia Medeiros, Henrique Madeira, Bruno Cabral
2022 C conf
A New Code Review Method based on Human Errors.
QRS
Fuqun Huang, Bo Zhao, Henrique Madeira
2022 C conf
Are UAVs' Flight Controller Software Reliable?
PRDC
Anamta Khan, Naghmeh Ivaki, Henrique Madeira
2022 B conf
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate.
SAFECOMP
Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira
2022 — conf
Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues.
ICSRS
Anamta Khan, Maria Lucia Ferramosca, Naghmeh Ivaki, Henrique Madeira
2022 C conf
Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits.
QRS
Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira
2022 C conf
Enhanced software development process for CubeSats to cope with space radiation faults.
PRDC
David Paiva, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
2022 J jnl
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?
Sensors
André Bernardes, Ricardo Couceiro, Júlio Medeiros, Jorge Henriques, César Teixeira, Marco Simões, João Durães, Raul Barbosa, Henrique Madeira, Paulo Carvalho
2022 C conf
Strategies for Improving the Error Robustness of Convolutional Neural Networks.
QRS
António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira, Michele Lombardi, Henrique Madeira
2022 J jnl
Targeted Code Inspection based on Human Errors.
CoRR
Fuqun Huang, Henrique Madeira
2022 J jnl
The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers.
IEEE Trans. Cloud Comput.
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
2022 C conf
ucXception: A Framework for Evaluating Dependability of Software Systems.
QRS
Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira
2021 Misc conf
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
QUATIC
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
2021 J jnl
Can EEG Be Adopted as a Neuroscience Reference for Assessing Software Programmers' Cognitive Load?
Sensors
Julio Medeiros, Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Isabel Catarina Duarte, Miguel Castelo-Branco, Henrique Madeira, Paulo de Carvalho, César Teixeira
2021 — conf
Fault injection platform for affordable verification and validation of CubeSats software.
LADC
David Paiva, Jose Marcelo Lima Duarte, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
2021 J jnl
Intelligent Biofeedback Augmented Content Comprehension (TellBack).
IEEE Access
Haytham Hijazi, Ricardo Couceiro, João Castelhano, Paulo de Carvalho, Miguel Castelo-Branco, Henrique Madeira
2021 C conf
Measuring lead times for failure prediction.
PRDC
Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira
2021 J jnl
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor.
IEEE Access
Frederico Cerveira, Raul Barbosa, Henrique Madeira
2021 — conf
Targeted Code Inspection based on Human Errors.
ISSRE Workshops
Fuqun Huang, Henrique Madeira
2021 Misc conf
Why is it so hard to predict computer systems failures?
EDCC
Jomar Domingos, Raul Barbosa, Henrique Madeira
2021 A conf
iReview: an Intelligent Code Review Evaluation Tool using Biofeedback.
ISSRE
Haytham Hijazi, José Cruz, João Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
2020 A ed.
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
ISSRE
Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng
2020 A conf
Evaluation of RESTful frameworks under soft errors.
ISSRE
Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira
2020 — conf
Online Verification through Model Checking of Medical Critical Intelligent Systems.
DSN Workshops
João Martins, Raul Barbosa, Nuno Lourenço, Jacques Robin, Henrique Madeira
2020 J jnl
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2020 J jnl
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
CoRR
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2019 — conf
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
SAFECOMP Workshops
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
2019 — conf
Biofeedback augmented software engineering: monitoring of programmers' mental effort.
ICSE (NIER)
Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Isabel Catarina Duarte, César Alexandre Teixeira, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
2019 J jnl
Emulating representative software vulnerabilities using field data.
Computing
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
2019 Misc conf
Fast Local VM Migration Against Hypervisor Corruption.
EDCC
Frederico Cerveira, Raul Barbosa, Henrique Madeira
2019 A conf
Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload.
DSN
Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Isabel Catarina Duarte, César A. D. Teixeira, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira
2019 J jnl
Soft error sensitivity and vulnerability of languages and their implementations.
Int. J. Crit. Comput. Based Syst.
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
2019 — conf
Software code complexity assessment using EEG features.
EMBC
Julio Medeiros, Ricardo Couceiro, João Castelhano, Miguel Castelo Branco, Gonçalo Duarte, Isabel Catarina Duarte, João Durães, Henrique Madeira, Paulo de Carvalho, César Alexandre Teixeira
2019 A conf
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback.
ISSRE
Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Isabel Catarina Duarte, César Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros
2019 J jnl
The most frequent programming mistakes that cause software vulnerabilities.
CoRR
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
2018 C conf
Effects of GPS Spoofing on Unmanned Aerial Vehicles.
PRDC
Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira
2018 Misc conf
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors.
EDCC
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
2018 C conf
Exploratory Data Analysis of Fault Injection Campaigns.
QRS
Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza
2017 A conf
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine.
ISSRE
Frederico Cerveira, Raul Barbosa, Henrique Madeira
2017 Misc conf
On the Emulation of Vulnerabilities through Software Fault Injection.
EDCC
Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira
2017 C conf
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics.
PRDC
Raquel Almeida, Afonso Araújo Neto, Henrique Madeira
2017 C conf
Soft Errors Susceptibility of Virtualization Servers.
PRDC
Frederico Cerveira, Raul Barbosa, Henrique Madeira
2016 J jnl
Assessing Dependability with Software Fault Injection: A Survey.
ACM Comput. Surv.
Roberto Natella, Domenico Cotroneo, Henrique Madeira
2016 — conf
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities.
LADC
Raquel Almeida, Henrique Madeira
2016 Misc conf
Practical Emulation of Software Defects in Source Code.
EDCC
Goncalo Pereira, Raul Barbosa, Henrique Madeira
2016 A conf
WAP: Understanding the Brain at Software Debugging.
ISSRE
João Durães, Henrique Madeira, João Castelhano, Isabel Catarina Duarte, Miguel Castelo Branco
2015 J jnl
A benchmarking process to assess software requirements documentation for space applications.
J. Syst. Softw.
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira
2015 J jnl
Practical and representative faultloads for large-scale software systems.
J. Syst. Softw.
Pedro Costa, João Gabriel Silva, Henrique Madeira
2015 Misc conf
Recovery for Virtualized Environments.
EDCC
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
2015 C conf
Temporal Analysis of CHAVE Collection.
SPIRE
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2014 J jnl
A Technique for Deploying Robust Web Services.
IEEE Trans. Serv. Comput.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2014 J jnl
Analysis of Field Data on Web Security Vulnerabilities.
IEEE Trans. Dependable Secur. Comput.
José Fonseca, Nuno Seixas, Marco Vieira, Henrique Madeira
2014 J jnl
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection.
IEEE Trans. Dependable Secur. Comput.
José Fonseca, Marco Vieira, Henrique Madeira
2014 A conf
Query Expansion with Temporal Segmented Texts.
ECIR
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2014 A conf
Security Benchmarks for Web Serving Systems.
ISSRE
Naaliel Mendes, Henrique Madeira, João Durães
2014 A conf
Time-Aware Focused Web Crawling.
ECIR
Pedro Pereira, Joaquim Macedo, Olga Craveiro, Henrique Madeira
2014 — conf
Words Temporality for Improving Query Expansion.
PROPOR
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2013 — conf
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data.
LADC
Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira
2013 J jnl
On Fault Representativeness of Software Fault Injection.
IEEE Trans. Software Eng.
Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira
2012 J jnl
A robustness testing approach for SOAP Web services.
J. Internet Serv. Appl.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2012 — ch.
Fault Injection.
Resilience Assessment and Evaluation of Computing Systems
Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira
2012 — ch.
Field Studies on Resilience: Measurements and Repositories.
Resilience Assessment and Evaluation of Computing Systems
João Durães, José Fonseca, Henrique Madeira, Marco Vieira
2012 — ch.
Future of Resilience Assessment: The AMBER Research Roadmap.
Resilience Assessment and Evaluation of Computing Systems
Andrea Bondavalli, Henrique Madeira, Paolo Lollini
2012 — conf
It Is the Time for Portuguese Texts!
PROPOR
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2012 — ch.
Resilience Benchmarking.
Resilience Assessment and Evaluation of Computing Systems
Marco Vieira, Henrique Madeira, Kai Sachs, Samuel Kounev
2012 — ch.
Robustness Testing Techniques and Tools.
Resilience Assessment and Evaluation of Computing Systems
Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes
2011 — conf
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities.
LADC
Naaliel Mendes, João Durães, Henrique Madeira
2011 C conf
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics.
SEW
Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha
2010 C conf
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks.
PRDC
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2010 B conf
Benchmarking Software Requirements Documentation for Space Application.
SAFECOMP
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira
2010 B conf
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge.
SRDS
Raquel Almeida, Henrique Madeira, Marco Vieira
2010 A conf
Errors on Space Software Requirements: A Field Study and Application Scenarios.
ISSRE
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira
2010 Misc conf
Evaluating and Comparing the Impact of Software Faults on Web Servers.
EDCC
Naaliel Mendes, João Durães, Henrique Madeira
2010 — conf
From Performance to Resilience Benchmarking.
ICDCS Workshops
Raquel Almeida, Henrique Madeira, Marco Vieira
2010 C conf
Leveraging temporal expressions for segmented-based information retrieval.
ISDA
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2010 A conf
Representativeness analysis of injected software faults in complex software.
DSN
Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira
2010 — conf
Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience.
ICDCS Workshops
Raquel Almeida, Naaliel Mendes, Henrique Madeira
2010 A conf
The Web Attacker Perspective - A Field Study.
ISSRE
José Fonseca, Marco Vieira, Henrique Madeira
2010 C conf
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults.
PRDC
Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira
2009 C conf
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads.
PRDC
Pedro Costa, João Gabriel Silva, Henrique Madeira
2009 — conf
Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services.
IEEE SCC
Nuno Antunes, Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2009 — conf
From Performance to Dependability Benchmarking: A Mandatory Path.
TPCTC
Marco Vieira, Henrique Madeira
2009 A conf
From assessment to standardised benchmarking: Will it happen? What could we do about it?
DSN
Henrique Madeira, István Majzik
2009 A conf
Improving Web Services Robustness.
ICWS
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2009 A conf
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study.
ISSRE
Nuno Seixas, José Fonseca, Marco Vieira, Henrique Madeira
2009 — conf
Predicting Timing Failures in Web Services.
DASFAA Workshops
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2009 C conf
Protecting Database Centric Web Services against SQL/XPath Injection Attacks.
DEXA
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2009 C conf
Use of Co-occurrences for Temporal Expressions Annotation.
SPIRE
Olga Craveiro, Joaquim Macedo, Henrique Madeira
2009 A conf
Using web security scanners to detect vulnerabilities in web services.
DSN
Marco Vieira, Nuno Antunes, Henrique Madeira
2009 A conf
Vulnerability & attack injection for web applications.
DSN
José Fonseca, Marco Vieira, Henrique Madeira
2008 C conf
Assessing and Comparing Security of Web Servers.
PRDC
Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira
2008 B conf
Efficient Data Distribution for DWS.
DaWaK
Raquel Almeida, Jorge Vieira, Marco Vieira, Henrique Madeira, Jorge Bernardino
2008 — conf
Experimental Robustness Evaluation of JMS Middleware.
IEEE SCC (1)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2008 A conf
Message from the conference general chair and coordinator.
DSN
Philip Koopman, Henrique Madeira
2008 Misc conf
Online detection of malicious data access using DBMS auditing.
SAC
José Fonseca, Marco Vieira, Henrique Madeira
2008 B conf
RAIN: Always on Data Warehousing.
DASFAA
Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira
2008 B conf
Redundant Array of Inexpensive Nodes for DWS.
DASFAA
Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira
2008 B conf
Robustness Validation in Service-Oriented Architectures.
WADS
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2008 C conf
Timing Failures Detection in Web Services.
APSCC
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2008 C conf
Training Security Assurance Teams Using Vulnerability Injection.
PRDC
José Fonseca, Marco Vieira, Henrique Madeira
2007 A conf
Assessing Robustness of Web-Services Infrastructures.
DSN
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
2007 — conf
Assessing, Measuring, and Benchmarking Dependability and Resilience.
LADC
Henrique Madeira
2007 C conf
Benchmarking the Robustness of Web Services.
PRDC
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
2007 — conf
Component-Based Software Certification Based on Experimental Risk Assessment.
LADC
Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira
2007 B conf
Detecting Malicious SQL.
TrustBus
José Fonseca, Marco Vieira, Henrique Madeira
2007 — conf
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
LADC
Marco Vieira, Henrique Madeira
2007 A conf
Experimental Risk Assessment and Comparison Using Software Fault Injection.
DSN
Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira
2007 — conf
Integrated Intrusion Detection in Databases.
LADC
José Fonseca, Marco Vieira, Henrique Madeira
2007 C conf
Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks.
PRDC
José Fonseca, Marco Vieira, Henrique Madeira
2007 B conf
Towards Timely ACID Transactions in DBMS.
DASFAA
Marco Vieira, António Casimiro Costa, Henrique Madeira
2007 — conf
Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques.
ICCBSS
Ricardo Barbosa, Nuno Silva, João Durães, Henrique Madeira
2006 J jnl
Emulation of Software Faults: A Field Data Study and a Practical Approach.
IEEE Trans. Software Eng.
João Durães, Henrique Madeira
2006 Misc conf
Injection of faults at component interfaces and inside the component code: are they equivalent?
EDCC
Regina Lúcia de Oliveira Moraes, Ricardo Barbosa, João Durães, Naaliel Mendes, Eliane Martins, Henrique Madeira
2006 C conf
Monitoring Database Application Behavior for Intrusion Detection.
PRDC
José Fonseca, Marco Vieira, Henrique Madeira
2006 B conf
Software Aging and Rejuvenation in a SOAP-based Server.
NCA
Luís Moura Silva, Henrique Madeira, João Gabriel Silva
2006 C conf
Towards Timely ACID Transactions in DBMS.
PRDC
Marco Vieira, António Casimiro Costa, Henrique Madeira
2005 Misc conf
A Data Mining Approach to Identify Key Factors in Dependability Experiments.
EDCC
Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza
2005 — conf
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code.
LADC
João Durães, Henrique Madeira
2005 A conf
Dependability Benchmarking of Computing Systems - Panel Statement.
DSN
Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown
2005 Misc conf
Dependability Challenges and Education Perspectives.
EDCC
Henrique Madeira
2005 C conf
Detection of Malicious Transactions in DBMS.
PRDC
Marco Vieira, Henrique Madeira
2005 B conf
Efficient Compression of Text Attributes of Data Warehouse Dimensions.
DaWaK
Jorge Vieira, Jorge Bernardino, Henrique Madeira
2005 J jnl
Robust Assertions and Fail-Bounded Behavior.
J. Braz. Comput. Soc.
Paula Prata, Mário Zenha Rela, Henrique Madeira, João Gabriel Silva
2005 A conf
Towards a Security Benchmark for Database Management Systems.
DSN
Marco Vieira, Henrique Madeira
2004 B conf
Dependability Benchmarking of Web-Servers.
SAFECOMP
João Durães, Marco Vieira, Henrique Madeira
2004 A conf
Generic Faultloads Based on Software Faults for Dependability Benchmarking.
DSN
João Durães, Henrique Madeira
2004 C conf
Handling big dimensions in distributed data warehouses using the DWS technique.
DOLAP
Marco Costa, Henrique Madeira
2004 J jnl
Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults.
Perform. Evaluation
Marco Vieira, Henrique Madeira
2004 B conf
Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking.
COMPSAC
Marco Vieira, Henrique Madeira
2003 A* conf
A Dependability Benchmark for OLTP Application Environments.
VLDB
Marco Vieira, Henrique Madeira
2003 — conf
A middle layer for distributed data warehouses using the DWS-AQA technique.
JISBD
Marco Costa, Jorge Vieira, Jorge Bernardino, Pedro Furtado, Henrique Madeira
2003 A conf
Benchmarking the Dependability of Different OLTP Systems.
DSN
Marco Vieira, Henrique Madeira
2003 A conf
Definition of Software Fault Emulation Operators: A Field Data Study.
DSN
João Durães, Henrique Madeira
2003 — conf
Emulation of Software Faults: Representativeness and Usefulness.
LADC
Henrique Madeira, João Durães, Marco Vieira
2003 A conf
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out?
ISSRE
Saurabh Bagchi, Henrique Madeira
2003 — conf
Plug and Play Fault Injector for Dependability Benchmarking.
LADC
Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva
2003 A conf
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments.
DSN
Henrique Madeira, João Pedro Costa, Marco Vieira
2003 — conf
iGen: plataforma de geração de código com ciclo de desenvolvimento completo.
JISBD
Alcides Marques, Bruno Rino, Henrique Madeira
2002 B conf
Adding a Performance-Oriented Perspective to Data Warehouse Design.
DaWaK
Pedro Bizarro, Henrique Madeira
2002 J jnl
Approximate Query Answering Using Data Warehouse Striping.
J. Intell. Inf. Syst.
Jorge Bernardino, Pedro Furtado, Henrique Madeira
2002 C conf
Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation.
PRDC
João Durães, Henrique Madeira
2002 C conf
DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses.
IDEAS
Jorge Bernardino, Pedro Furtado, Henrique Madeira
2002 C conf
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking.
PRDC
Marco Vieira, Henrique Madeira
2002 A conf
Emulation of Software Faults by Educated Mutations at Machine-Code Level.
ISSRE
João Durães, Henrique Madeira
2002 A conf
Experimental Evaluation of a COTS System for Space Application.
DSN
Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels
2002 A conf
Joint Panel - IPDS and Workshop on Dependability Benchmarking.
DSN
Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson
2002 A conf
Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults.
DSN
Marco Vieira, Henrique Madeira
2002 A conf
Workshop on Dependability Benchmarking.
DSN
Philip Koopman, Henrique Madeira
2002 A conf
Xception? - Enhanced Automated Fault-Injection Environment.
DSN
Ricardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira
2001 B conf
Approximate Query Answering Using Data Warehouse Striping.
DaWaK
Jorge Bernardino, Pedro Furtado, Henrique Madeira
2001 — conf
Data Warehouse Striping: Improved Query Response Time.
ICEIS (1)
Jorge Bernardino, Henrique Madeira
2001 — conf
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components.
ECBS
Diamantino Costa, Tiago Rilho, Marco Vieira, Henrique Madeira
2001 C conf
Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses.
IDEAS
Jorge Bernardino, Henrique Madeira
2001 — conf
The Dimension-Join: A New Index for Data Warehouses.
SBBD
Pedro Bizarro, Henrique Madeira
2000 — conf
A New Technique to Speedup Queries in Data Warehousing.
ADBIS-DASFAA Symposium
Jorge Bernardino, Henrique Madeira
2000 B conf
Data Cube Compression with QuantiCubes.
DaWaK
Pedro Furtado, Henrique Madeira
2000 C conf
FCompress: A New Technique for Queriable Compression of Facts and Datacubes.
IDEAS
Pedro Furtado, Henrique Madeira
2000 A conf
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection.
DSN
Diamantino Costa, Tiago Rilho, Henrique Madeira
2000 A conf
On the Emulation of Software Faults by Software Fault Injection.
DSN
Henrique Madeira, Diamantino Costa, Marco Vieira
1999 B conf
Analysis of Accuracy of Data Reduction Techniques.
DaWaK
Pedro Furtado, Henrique Madeira
1999 C conf
Experimental Assessment of COTS DBMS Robustness under Transient Faults.
PRDC
Diamantino Costa, Henrique Madeira
1999 B conf
Summary Grids: Building Accurate Multidimensional Histograms.
DASFAA
Pedro Furtado, Henrique Madeira
1998 — conf
Enforcing Strong Object Typing in Flexible Hypermedia.
Hypertext
Pedro Furtado, Henrique Madeira
1998 — conf
Practical Issues in the Use of ABFT and a New Failure Model.
FTCS
João Gabriel Silva, Paula Prata, Mário Zenha Rela, Henrique Madeira
1998 J jnl
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers.
IEEE Trans. Software Eng.
João Carreira, Henrique Madeira, João Gabriel Silva
1997 — conf
A Model for Intuitive Knowledge Sharing.
DEXA Workshop
Pedro Furtado, Henrique Madeira
1996 — conf
Experimental Assessment of Parallel Systems.
FTCS
João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira
1996 — conf
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks.
FTCS
Mário Zenha Rela, Henrique Madeira, João Gabriel Silva
1996 Misc conf
Fault Injection Evaluation of Assigned Signatures in a RISC Processor.
EDCC
Pedro Furtado, Henrique Madeira
1995 B conf
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications.
SRDS
Diamantino Costa, Francisco Moreira, Henrique Madeira, Mário Zenha Rela, João Gabriel Silva
1994 Misc conf
A Fault-Tolerant Mechanism for Simple Controllers.
EDCC
João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
1994 — —
Detecção de erros com base no comportamento
Henrique Madeira
1994 — conf
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking.
FTCS
Henrique Madeira, João Gabriel Silva
1994 Misc conf
RIFLE: A General Purpose Pin-level Fault Injector.
EDCC
Henrique Madeira, Mário Zenha Rela, Francisco Moreira, João Gabriel Silva
1994 — conf
The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems.
HPCN
Johan Vounckx, Geert Deconinck, Rudy Lauwereins, G. Viehöver, R. Wagner, Henrique Madeira, João Gabriel Silva, Frank Balbach, Jörn Altmann, Bernd Bieker, Harald Willeke
1991 J jnl
A watchdog processor for concurrent error detection in multiple processor systems.
Microprocess. Microsystems
Henrique Madeira, José Camões, João Gabriel Silva
1990 J jnl
Experimental evaluation of a set of simple error detection mechanisms.
Microprocessing and Microprogramming
Henrique Madeira, Gonçalo Quadros, João Gabriel Silva
1989 J jnl
The fault-tolerant architecture of the safe system.
Microprocessing and Microprogramming
Henrique Madeira, Boavida Fernandes, Mário Zenha Rela, João Gabriel Silva