| 2026 | DSN | From Centralized Learning to Federated Setting: Keeping Reliability on Track. | Junjian Yan, Paulo de Carvalho, Jorge Henriques, Joo Loureiro, Chan-Tong Lam, Henrique Madeira |
| 2025 | EASE | NRevisit: A Cognitive Behavioral Metric for Code Understandability Assessment. | Hao Gao, Haytham Hijazi, Jlio Medeiros, Joo Dures, Chan-Tong Lam, Paulo de Carvalho, Henrique Madeira |
| 2025 | EDCC | On Metrics for U-Space Safety Risk Assessment. | Omid Asghari, Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2025 | ISSRE | A Comparative Analysis of Cognitive Load Surrogates Using the Eye-Tracker in Code Comprehension. | Hao Gao, Jlio Medeiros, Chan-Tong Lam, Haytham Hijazi, Henrique Madeira, Paulo de Carvalho |
| 2025 | ISSRE | No Vibe Without Comprehension: Measuring Code Understanding in Modern Coding Workflows Using Neurophysiological Signals. | Ricardo Saraiva, Joo Dures, Paulo de Carvalho, Henrique Madeira, Haytham Hijazi |
| 2025 | ISSRE | On the Adaptability of ML Reliability Estimation Techniques to Federated Settings. | Junjian Yan, Paulo de Carvalho, Jorge Henriques, Joo Loureiro, Chan-Tong Lam, Henrique Madeira |
| 2024 | DSN | A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2024 | EDCC | A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. | Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2024 | EDCC | Fault injection acceleration using failure models on a virtualized fault-tolerant system. | Bernardo Graa, Frederico Cerveira, Henrique Madeira |
| 2024 | ISSRE | Towards Improved Perception System's Generalization Through Generative Artificial Intelligence. | Jiawei Wang, Joo R. Campos, Henrique Madeira |
| 2023 | CLOSER | Network Failures in Cloud Management Platforms: A Study on OpenStack. | Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira |
| 2023 | DSN | Integration of U-space Safety Assessment Methodologies With Experimentation. | Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
| 2023 | DSN | Predicting Cloud Applications Failures from Infrastructure Level Data. | Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2023 | PRDC | Lead Time Analysis for UAVs' Failure Prediction in U-space. | Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
| 2023 | PRDC | A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. | Anamta Khan, Joo R. Campos, Naghmeh Ivaki, Henrique Madeira |
| 2022 | PRDC | Are UAVs' Flight Controller Software Reliable? | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2022 | PRDC | Enhanced software development process for CubeSats to cope with space radiation faults. | David Paiva, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Ftima Mattiello-Francisco, Henrique Madeira |
| 2022 | QRS | ucXception: A Framework for Evaluating Dependability of Software Systems. | Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2022 | QRS | A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience. | Gonalo Carvalho, Ndia Medeiros, Henrique Madeira, Bruno Cabral |
| 2022 | QRS | A New Code Review Method based on Human Errors. | Fuqun Huang, Bo Zhao, Henrique Madeira |
| 2022 | QRS | Strategies for Improving the Error Robustness of Convolutional Neural Networks. | Antnio Morais, Raul Barbosa, Nuno Loureno, Frederico Cerveira, Michele Lombardi, Henrique Madeira |
| 2022 | QRS | Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits. | Leo Silva, Marlia Castro, Miriam Bernardino Silva, Milena Santos, Uir Kulesza, Margarida Lima, Henrique Madeira |
| 2022 | SAFECOMP | Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. | Anamta Khan, Carlos A. Chuquitarco Jimnez, Morcillo-Pallars Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira |
| 2021 | EDCC | Why is it so hard to predict computer systems failures? | Jomar Domingos, Raul Barbosa, Henrique Madeira |
| 2021 | ISSRE | iReview: an Intelligent Code Review Evaluation Tool using Biofeedback. | Haytham Hijazi, Jos Cruz, Joo Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira |
| 2021 | ISSRE | Targeted Code Inspection based on Human Errors. | Fuqun Huang, Henrique Madeira |
| 2021 | PRDC | Measuring lead times for failure prediction. | Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira |
| 2021 | QUATIC | A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2020 | DSN | Online Verification through Model Checking of Medical Critical Intelligent Systems. | Joo Martins, Raul Barbosa, Nuno Loureno, Jacques Robin, Henrique Madeira |
| 2020 | ISSRE | Evaluation of RESTful frameworks under soft errors. | Frederico Cerveira, Rui Andr Oliveira, Raul Barbosa, Henrique Madeira |
| 2019 | DSN | Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload. | Ricardo Couceiro, Gonalo Duarte, Joo Dures, Joo Castelhano, Isabel Catarina Duarte, Csar A. D. Teixeira, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira |
| 2019 | EDCC | Fast Local VM Migration Against Hypervisor Corruption. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2019 | ICSE | Biofeedback augmented software engineering: monitoring of programmers' mental effort. | Ricardo Couceiro, Gonalo Duarte, Joo Dures, Joo Castelhano, Isabel Catarina Duarte, Csar Alexandre Teixeira, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira |
| 2019 | ISSRE | Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. | Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, Joo Dures, Gonalo Duarte, Joo Castelhano, Isabel Catarina Duarte, Csar Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros |
| 2019 | SAFECOMP | A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. | Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu |
| 2018 | EDCC | Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. | Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira |
| 2018 | PRDC | Effects of GPS Spoofing on Unmanned Aerial Vehicles. | Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira |
| 2018 | QRS | Exploratory Data Analysis of Fault Injection Campaigns. | Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, Andrs Pataricza |
| 2017 | EDCC | On the Emulation of Vulnerabilities through Software Fault Injection. | Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira |
| 2017 | ISSRE | Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2017 | PRDC | Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics. | Raquel Almeida, Afonso Arajo Neto, Henrique Madeira |
| 2017 | PRDC | Soft Errors Susceptibility of Virtualization Servers. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2016 | EDCC | Practical Emulation of Software Defects in Source Code. | Goncalo Pereira, Raul Barbosa, Henrique Madeira |
| 2016 | ISSRE | WAP: Understanding the Brain at Software Debugging. | Joo Dures, Henrique Madeira, Joo Castelhano, Isabel Catarina Duarte, Miguel Castelo Branco |
| 2015 | EDCC | Recovery for Virtualized Environments. | Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Arajo |
| 2015 | SPIRE | Temporal Analysis of CHAVE Collection. | Olga Craveiro, Joaquim Macedo, Henrique Madeira |
| 2014 | ECIR | Query Expansion with Temporal Segmented Texts. | Olga Craveiro, Joaquim Macedo, Henrique Madeira |
| 2014 | ECIR | Time-Aware Focused Web Crawling. | Pedro Pereira, Joaquim Macedo, Olga Craveiro, Henrique Madeira |
| 2014 | ISSRE | Security Benchmarks for Web Serving Systems. | Naaliel Mendes, Henrique Madeira, Joo Dures |
| 2011 | SEW | Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. | Marco Vieira, Henrique Madeira, Srgio Cruz, Marco Costa, Joo Carlos Cunha |
| 2010 | DSN | Representativeness analysis of injected software faults in complex software. | Roberto Natella, Domenico Cotroneo, Joo Dures, Henrique Madeira |
| 2010 | EDCC | Evaluating and Comparing the Impact of Software Faults on Web Servers. | Naaliel Mendes, Joo Dures, Henrique Madeira |
| 2010 | ISDA | Leveraging temporal expressions for segmented-based information retrieval. | Olga Craveiro, Joaquim Macedo, Henrique Madeira |
| 2010 | ISSRE | The Web Attacker Perspective - A Field Study. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2010 | ISSRE | Errors on Space Software Requirements: A Field Study and Application Scenarios. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira |
| 2010 | PRDC | Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. | Ivano Irrera, Joo Dures, Marco Vieira, Henrique Madeira |
| 2010 | PRDC | A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2010 | SAFECOMP | Benchmarking Software Requirements Documentation for Space Application. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira |
| 2010 | SRDS | Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. | Raquel Almeida, Henrique Madeira, Marco Vieira |
| 2009 | DASFAA | Predicting Timing Failures in Web Services. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2009 | DEXA | Protecting Database Centric Web Services against SQL/XPath Injection Attacks. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2009 | DSN | Vulnerability & attack injection for web applications. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2009 | DSN | From assessment to standardised benchmarking: Will it happen? What could we do about it? | Henrique Madeira, Istvn Majzik |
| 2009 | DSN | Using web security scanners to detect vulnerabilities in web services. | Marco Vieira, Nuno Antunes, Henrique Madeira |
| 2009 | ICWS | Improving Web Services Robustness. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2009 | ISSRE | Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. | Nuno Seixas, Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2009 | PRDC | Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. | Pedro Costa, Joo Gabriel Silva, Henrique Madeira |
| 2009 | SPIRE | Use of Co-occurrences for Temporal Expressions Annotation. | Olga Craveiro, Joaquim Macedo, Henrique Madeira |
| 2008 | APSCC | Timing Failures Detection in Web Services. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2008 | DASFAA | Redundant Array of Inexpensive Nodes for DWS. | Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira |
| 2008 | DASFAA | RAIN: Always on Data Warehousing. | Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira |
| 2008 | DaWaK | Efficient Data Distribution for DWS. | Raquel Almeida, Jorge Vieira, Marco Vieira, Henrique Madeira, Jorge Bernardino |
| 2008 | DSN | Message from the conference general chair and coordinator. | Philip Koopman, Henrique Madeira |
| 2008 | ICSE | Robustness Validation in Service-Oriented Architectures. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2008 | PRDC | Training Security Assurance Teams Using Vulnerability Injection. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2008 | PRDC | Assessing and Comparing Security of Web Servers. | Naaliel Mendes, Afonso Arajo Neto, Joo Dures, Marco Vieira, Henrique Madeira |
| 2008 | SAC | Online detection of malicious data access using DBMS auditing. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2007 | DASFAA | Towards Timely ACID Transactions in DBMS. | Marco Vieira, Antnio Casimiro Costa, Henrique Madeira |
| 2007 | DSN | Experimental Risk Assessment and Comparison Using Software Fault Injection. | Regina Lcia de Oliveira Moraes, Joo Dures, Ricardo Barbosa, Eliane Martins, Henrique Madeira |
| 2007 | DSN | Assessing Robustness of Web-Services Infrastructures. | Marco Vieira, Nuno Laranjeiro, Henrique Madeira |
| 2007 | PRDC | Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2007 | PRDC | Benchmarking the Robustness of Web Services. | Marco Vieira, Nuno Laranjeiro, Henrique Madeira |
| 2007 | TrustBus | Detecting Malicious SQL. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2006 | EDCC | Injection of faults at component interfaces and inside the component code: are they equivalent? | Regina Lcia de Oliveira Moraes, Ricardo Barbosa, Joo Dures, Naaliel Mendes, Eliane Martins, Henrique Madeira |
| 2006 | NCA | Software Aging and Rejuvenation in a SOAP-based Server. | Lus Moura Silva, Henrique Madeira, Joo Gabriel Silva |
| 2006 | PRDC | Monitoring Database Application Behavior for Intrusion Detection. | Jos Fonseca, Marco Vieira, Henrique Madeira |
| 2006 | PRDC | Towards Timely ACID Transactions in DBMS. | Marco Vieira, Antnio Casimiro Costa, Henrique Madeira |
| 2005 | DaWaK | Efficient Compression of Text Attributes of Data Warehouse Dimensions. | Jorge Vieira, Jorge Bernardino, Henrique Madeira |
| 2005 | DSN | Dependability Benchmarking of Computing Systems - Panel Statement. | Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown |
| 2005 | DSN | Towards a Security Benchmark for Database Management Systems. | Marco Vieira, Henrique Madeira |
| 2005 | EDCC | Dependability Challenges and Education Perspectives. | Henrique Madeira |
| 2005 | EDCC | A Data Mining Approach to Identify Key Factors in Dependability Experiments. | Gergely Pintr, Henrique Madeira, Marco Vieira, Istvn Majzik, Andrs Pataricza |
| 2005 | PRDC | Detection of Malicious Transactions in DBMS. | Marco Vieira, Henrique Madeira |
| 2004 | COMPSAC | Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. | Marco Vieira, Henrique Madeira |
| 2004 | DOLAP | Handling big dimensions in distributed data warehouses using the DWS technique. | Marco Costa, Henrique Madeira |
| 2004 | DSN | Generic Faultloads Based on Software Faults for Dependability Benchmarking. | Joo Dures, Henrique Madeira |
| 2004 | SAFECOMP | Dependability Benchmarking of Web-Servers. | Joo Dures, Marco Vieira, Henrique Madeira |
| 2003 | DSN | Definition of Software Fault Emulation Operators: A Field Data Study. | Joo Dures, Henrique Madeira |
| 2003 | DSN | The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. | Henrique Madeira, Joo Pedro Costa, Marco Vieira |
| 2003 | DSN | Benchmarking the Dependability of Different OLTP Systems. | Marco Vieira, Henrique Madeira |
| 2003 | ISSRE | Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? | Saurabh Bagchi, Henrique Madeira |
| 2003 | VLDB | A Dependability Benchmark for OLTP Application Environments. | Marco Vieira, Henrique Madeira |
| 2002 | DaWaK | Adding a Performance-Oriented Perspective to Data Warehouse Design. | Pedro Bizarro, Henrique Madeira |
| 2002 | DSN | Joint Panel - IPDS and Workshop on Dependability Benchmarking. | Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson |
| 2002 | DSN | Workshop on Dependability Benchmarking. | Philip Koopman, Henrique Madeira |
| 2002 | DSN | Experimental Evaluation of a COTS System for Space Application. | Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels |
| 2002 | DSN | Xception? - Enhanced Automated Fault-Injection Environment. | Ricardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira |
| 2002 | DSN | Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. | Marco Vieira, Henrique Madeira |
| 2002 | IDEAS | DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses. | Jorge Bernardino, Pedro Furtado, Henrique Madeira |
| 2002 | ISSRE | Emulation of Software Faults by Educated Mutations at Machine-Code Level. | Joo Dures, Henrique Madeira |
| 2002 | PRDC | Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. | Joo Dures, Henrique Madeira |
| 2002 | PRDC | Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. | Marco Vieira, Henrique Madeira |
| 2001 | DaWaK | Approximate Query Answering Using Data Warehouse Striping. | Jorge Bernardino, Pedro Furtado, Henrique Madeira |
| 2001 | IDEAS | Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses. | Jorge Bernardino, Henrique Madeira |
| 2000 | ADBIS | A New Technique to Speedup Queries in Data Warehousing. | Jorge Bernardino, Henrique Madeira |
| 2000 | DaWaK | Data Cube Compression with QuantiCubes. | Pedro Furtado, Henrique Madeira |
| 2000 | DaWaK | Untitled record | Pedro Furtado, Henrique Madeira |
| 2000 | DSN | Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. | Diamantino Costa, Tiago Rilho, Henrique Madeira |
| 2000 | DSN | On the Emulation of Software Faults by Software Fault Injection. | Henrique Madeira, Diamantino Costa, Marco Vieira |
| 2000 | IDEAS | FCompress: A New Technique for Queriable Compression of Facts and Datacubes. | Pedro Furtado, Henrique Madeira |
| 1999 | DASFAA | Summary Grids: Building Accurate Multidimensional Histograms. | Pedro Furtado, Henrique Madeira |
| 1999 | DaWaK | Analysis of Accuracy of Data Reduction Techniques. | Pedro Furtado, Henrique Madeira |
| 1999 | PRDC | Experimental Assessment of COTS DBMS Robustness under Transient Faults. | Diamantino Costa, Henrique Madeira |
| 1996 | EDCC | Fault Injection Evaluation of Assigned Signatures in a RISC Processor. | Pedro Furtado, Henrique Madeira |
| 1995 | SRDS | Experimental Evaluation of the Impact of Processor Faults on Parallel Applications. | Diamantino Costa, Francisco Moreira, Henrique Madeira, Mrio Zenha Rela, Joo Gabriel Silva |
| 1994 | EDCC | RIFLE: A General Purpose Pin-level Fault Injector. | Henrique Madeira, Mrio Zenha Rela, Francisco Moreira, Joo Gabriel Silva |
| 1994 | EDCC | A Fault-Tolerant Mechanism for Simple Controllers. | Joo Gabriel Silva, Lus Moura Silva, Henrique Madeira, Jorge Bernardino |