Henrique Madeira

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 55

Top Venues

Publications

Bernardo Graça, Frederico Cerveira, Henrique Madeira
Fault injection acceleration using failure models on a virtualized fault-tolerant system. EDCC (2024)
Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira
A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. EDCC Workshops (2024)
Fuqun Huang, Henrique Madeira
Advancing modern code review effectiveness through human error mechanisms. J. Syst. Softw. 214 (2024)
Haytham Hijazi, João Durães, Ricardo Couceiro, João Castelhano, Raul Barbosa, Júlio Medeiros, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension. IEEE Trans. Software Eng. 49 (2) (2023)
Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. PRDC (2023)
Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira
Network Failures in Cloud Management Platforms: A Study on OpenStack. CLOSER (2023)
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
Lead Time Analysis for UAVs' Failure Prediction in U-space. PRDC (2023)
Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira
Using social media and personality traits to assess software developers' emotional polarity. PeerJ Comput. Sci. 9 (2023)
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
Integration of U-space Safety Assessment Methodologies With Experimentation. DSN-W (2023)
Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W (2023)
Fuqun Huang, Bo Zhao, Henrique Madeira
A New Code Review Method based on Human Errors. QRS (2022)
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
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks? Sensors 22 (17) (2022)
Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira
ucXception: A Framework for Evaluating Dependability of Software Systems. QRS (2022)
Anamta Khan, Maria Lucia Ferramosca, Naghmeh Ivaki, Henrique Madeira
Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues. ICSRS (2022)
Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. SAFECOMP (2022)
Gonçalo Carvalho, Nádia Medeiros, Henrique Madeira, Bruno Cabral
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience. QRS (2022)
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers. IEEE Trans. Cloud Comput. 10 (2) (2022)
David Paiva, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
Enhanced software development process for CubeSats to cope with space radiation faults. PRDC (2022)
Anamta Khan, Naghmeh Ivaki, Henrique Madeira
Are UAVs' Flight Controller Software Reliable? PRDC (2022)
António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira, Michele Lombardi, Henrique Madeira
Strategies for Improving the Error Robustness of Convolutional Neural Networks. QRS (2022)
Leo Silva, Marília Castro, Miriam Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira
Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits. QRS (2022)
Fuqun Huang, Henrique Madeira
Targeted Code Inspection based on Human Errors. CoRR (2022)
Julio Medeiros, Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, Miguel Castelo-Branco, Henrique Madeira, Paulo de Carvalho, César Teixeira
Can EEG Be Adopted as a Neuroscience Reference for Assessing Software Programmers' Cognitive Load? Sensors 21 (7) (2021)
Haytham Hijazi, José Cruz, João Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
iReview: an Intelligent Code Review Evaluation Tool using Biofeedback. ISSRE (2021)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access 9 (2021)
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
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC (2021)
Fuqun Huang, Henrique Madeira
Targeted Code Inspection based on Human Errors. ISSRE Workshops (2021)
Jomar Domingos, Raul Barbosa, Henrique Madeira
Why is it so hard to predict computer systems failures? EDCC (2021)
Haytham Hijazi, Ricardo Couceiro, João Castelhano, Paulo de Carvalho, Miguel Castelo-Branco, Henrique Madeira
Intelligent Biofeedback Augmented Content Comprehension (TellBack). IEEE Access 9 (2021)
Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira
Measuring lead times for failure prediction. PRDC (2021)
David Paiva, Jose Marcelo Lima Duarte, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
Fault injection platform for affordable verification and validation of CubeSats software. LADC (2021)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. CoRR (2020)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access 8 (2020)
Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira
Evaluation of RESTful frameworks under soft errors. ISSRE (2020)
João Martins, Raul Barbosa, Nuno Lourenço, Jacques Robin, Henrique Madeira
Online Verification through Model Checking of Medical Critical Intelligent Systems. DSN Workshops (2020)
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops (2019)
Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. ISSRE (2019)
Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, César A. D. Teixeira, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira
Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload. DSN (2019)
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
Emulating representative software vulnerabilities using field data. Computing 101 (2) (2019)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Fast Local VM Migration Against Hypervisor Corruption. EDCC (2019)
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
Soft error sensitivity and vulnerability of languages and their implementations. Int. J. Crit. Comput. Based Syst. 9 (4) (2019)
Julio Medeiros, Ricardo Couceiro, João Castelhano, Miguel Castelo Branco, Gonçalo Duarte, Catarina Duarte, João Durães, Henrique Madeira, Paulo de Carvalho, César Alexandre Teixeira
Software code complexity assessment using EEG features. EMBC (2019)
Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
Biofeedback augmented software engineering: monitoring of programmers' mental effort. ICSE (NIER) (2019)
Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira
The most frequent programming mistakes that cause software vulnerabilities. CoRR (2019)
Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza
Exploratory Data Analysis of Fault Injection Campaigns. QRS (2018)
Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC (2018)
Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira
Effects of GPS Spoofing on Unmanned Aerial Vehicles. PRDC (2018)
Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira
On the Emulation of Vulnerabilities through Software Fault Injection. EDCC (2017)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Soft Errors Susceptibility of Virtualization Servers. PRDC (2017)
Raquel Almeida, Afonso Araújo Neto, Henrique Madeira
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics. PRDC (2017)
Frederico Cerveira, Raul Barbosa, Henrique Madeira
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. ISSRE (2017)
João Durães, Henrique Madeira, João Castelhano, Catarina Duarte, Miguel Castelo Branco
WAP: Understanding the Brain at Software Debugging. ISSRE (2016)
Goncalo Pereira, Raul Barbosa, Henrique Madeira
Practical Emulation of Software Defects in Source Code. EDCC (2016)
Roberto Natella, Domenico Cotroneo, Henrique Madeira
Assessing Dependability with Software Fault Injection: A Survey. ACM Comput. Surv. 48 (3) (2016)
Raquel Almeida, Henrique Madeira
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities. LADC (2016)
Pedro Costa, João Gabriel Silva, Henrique Madeira
Practical and representative faultloads for large-scale software systems. J. Syst. Softw. 103 (2015)
Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo
Recovery for Virtualized Environments. EDCC (2015)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100 (2015)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
Temporal Analysis of CHAVE Collection. SPIRE (2015)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
Query Expansion with Temporal Segmented Texts. ECIR (2014)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
A Technique for Deploying Robust Web Services. IEEE Trans. Serv. Comput. 7 (1) (2014)
Pedro Pereira, Joaquim Macedo, Olga Craveiro, Henrique Madeira
Time-Aware Focused Web Crawling. ECIR (2014)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
Words Temporality for Improving Query Expansion. PROPOR (2014)
Naaliel Mendes, Henrique Madeira, João Durães
Security Benchmarks for Web Serving Systems. ISSRE (2014)
José Fonseca, Marco Vieira, Henrique Madeira
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. IEEE Trans. Dependable Secur. Comput. 11 (5) (2014)
José Fonseca, Nuno Seixas, Marco Vieira, Henrique Madeira
Analysis of Field Data on Web Security Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 11 (2) (2014)
Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. LADC (2013)
Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira
On Fault Representativeness of Software Fault Injection. IEEE Trans. Software Eng. 39 (1) (2013)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
It Is the Time for Portuguese Texts! PROPOR (2012)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
A robustness testing approach for SOAP Web services. J. Internet Serv. Appl. 3 (2) (2012)
Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. SEW (2011)
Naaliel Mendes, João Durães, Henrique Madeira
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. LADC (2011)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE (2010)
Raquel Almeida, Naaliel Mendes, Henrique Madeira
Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience. ICDCS Workshops (2010)
Raquel Almeida, Henrique Madeira, Marco Vieira
From Performance to Resilience Benchmarking. ICDCS Workshops (2010)
José Fonseca, Marco Vieira, Henrique Madeira
The Web Attacker Perspective - A Field Study. ISSRE (2010)
Naaliel Mendes, João Durães, Henrique Madeira
Evaluating and Comparing the Impact of Software Faults on Web Servers. EDCC (2010)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
Leveraging temporal expressions for segmented-based information retrieval. ISDA (2010)
Raquel Almeida, Henrique Madeira, Marco Vieira
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. SRDS (2010)
Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. PRDC (2010)
Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira
Representativeness analysis of injected software faults in complex software. DSN (2010)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. PRDC (2010)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP (2010)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Predicting Timing Failures in Web Services. DASFAA Workshops (2009)
Nuno Antunes, Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services. IEEE SCC (2009)
José Fonseca, Marco Vieira, Henrique Madeira
Vulnerability & attack injection for web applications. DSN (2009)
Olga Craveiro, Joaquim Macedo, Henrique Madeira
Use of Co-occurrences for Temporal Expressions Annotation. SPIRE (2009)
Marco Vieira, Henrique Madeira
From Performance to Dependability Benchmarking: A Mandatory Path. TPCTC (2009)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Protecting Database Centric Web Services against SQL/XPath Injection Attacks. DEXA (2009)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Improving Web Services Robustness. ICWS (2009)
Nuno Seixas, José Fonseca, Marco Vieira, Henrique Madeira
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. ISSRE (2009)
Henrique Madeira, István Majzik
From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN (2009)
Marco Vieira, Nuno Antunes, Henrique Madeira
Using web security scanners to detect vulnerabilities in web services. DSN (2009)
Pedro Costa, João Gabriel Silva, Henrique Madeira
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. PRDC (2009)
Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira
RAIN: Always on Data Warehousing. DASFAA (2008)
Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira
Assessing and Comparing Security of Web Servers. PRDC (2008)
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Experimental Robustness Evaluation of JMS Middleware. IEEE SCC (1) (2008)
José Fonseca, Marco Vieira, Henrique Madeira
Training Security Assurance Teams Using Vulnerability Injection. PRDC (2008)
Philip Koopman, Henrique Madeira
Message from the conference general chair and coordinator. DSN (2008)
José Fonseca, Marco Vieira, Henrique Madeira
Online detection of malicious data access using DBMS auditing. SAC (2008)

Henrique Madeira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henrique Madeira