default search action
Henrique Madeira
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j28]Haytham Hijazi, Miguel Gomes, João Castelhano, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira:
Where Did I Get Lost? A Prototype Tool for Predicting Local-Level Comprehension Difficulties With Wearables and Explainable Machine Learning. IEEE Access 12: 152224-152240 (2024) - [j27]Fuqun Huang, Henrique Madeira:
Advancing modern code review effectiveness through human error mechanisms. J. Syst. Softw. 214: 112060 (2024) - [c154]Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. DSN 2024: 316-323 - [c153]Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. EDCC Workshops 2024: 22-35 - [c152]Bernardo Graça, Frederico Cerveira, Henrique Madeira:
Fault injection acceleration using failure models on a virtualized fault-tolerant system. EDCC 2024: 155-160 - [c151]Jiawei Wang, João R. Campos, Henrique Madeira:
Towards Improved Perception System's Generalization Through Generative Artificial Intelligence. ISSRE (Workshops) 2024: 345-352 - 2023
- [j26]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: e1498 (2023) - [j25]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): 626-645 (2023) - [c150]Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira:
Network Failures in Cloud Management Platforms: A Study on OpenStack. CLOSER 2023: 228-235 - [c149]Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W 2023: 9-16 - [c148]Omid Asghari, Naghmeh Ivaki, Henrique Madeira:
Integration of U-space Safety Assessment Methodologies With Experimentation. DSN-W 2023: 72-75 - [c147]Omid Asghari, Naghmeh Ivaki, Henrique Madeira:
Lead Time Analysis for UAVs' Failure Prediction in U-space. PRDC 2023: 123-133 - [c146]Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira:
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. PRDC 2023: 217-227 - 2022
- [j24]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): 6528 (2022) - [j23]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): 1065-1081 (2022) - [c145]Anamta Khan, Maria Lucia Ferramosca, Naghmeh Ivaki, Henrique Madeira:
Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues. ICSRS 2022: 45-54 - [c144]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: 78-88 - [c143]Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
Are UAVs' Flight Controller Software Reliable? PRDC 2022: 194-204 - [c142]Fuqun Huang, Bo Zhao, Henrique Madeira:
A New Code Review Method based on Human Errors. QRS 2022: 321-332 - [c141]Leo Silva, Marília Castro, Miriam Bernardino 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: 366-375 - [c140]Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira:
ucXception: A Framework for Evaluating Dependability of Software Systems. QRS 2022: 561-570 - [c139]Gonçalo Carvalho, Nádia Medeiros, Henrique Madeira, Bruno Cabral:
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience. QRS 2022: 672-681 - [c138]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: 874-883 - [c137]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: 237-251 - [d1]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' emotions. IEEE DataPort, 2022 - [i3]Fuqun Huang, Henrique Madeira:
Targeted Code Inspection based on Human Errors. CoRR abs/2202.02259 (2022) - 2021
- [j22]Haytham Hijazi, Ricardo Couceiro, João Castelhano, Paulo de Carvalho, Miguel Castelo-Branco, Henrique Madeira:
Intelligent Biofeedback Augmented Content Comprehension (TellBack). IEEE Access 9: 28393-28406 (2021) - [j21]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access 9: 105255-105269 (2021) - [j20]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): 2338 (2021) - [c136]Jomar Domingos, Raul Barbosa, Henrique Madeira:
Why is it so hard to predict computer systems failures? EDCC 2021: 41-44 - [c135]Fuqun Huang, Henrique Madeira:
Targeted Code Inspection based on Human Errors. ISSRE Workshops 2021: 274-275 - [c134]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: 476-485 - [c133]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: 1-11 - [c132]Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira:
Measuring lead times for failure prediction. PRDC 2021: 1-5 - [c131]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: 325-340 - 2020
- [j19]Á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: 190760-190783 (2020) - [c130]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: 32-37 - [c129]Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira:
Evaluation of RESTful frameworks under soft errors. ISSRE 2020: 369-379 - [e1]Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng:
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. IEEE 2020, ISBN 978-1-7281-9870-5 [contents] - [i2]Á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 abs/2006.11597 (2020)
2010 – 2019
- 2019
- [j18]Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira:
Emulating representative software vulnerabilities using field data. Computing 101(2): 119-138 (2019) - [j17]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): 318-347 (2019) - [c128]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: 638-644 - [c127]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Fast Local VM Migration Against Hypervisor Corruption. EDCC 2019: 97-102 - [c126]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: 1413-1416 - [c125]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: 37-40 - [c124]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: 93-103 - [c123]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: 391-397 - [i1]Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira:
The most frequent programming mistakes that cause software vulnerabilities. CoRR abs/1912.01948 (2019) - 2018
- [c122]Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira:
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC 2018: 65-72 - [c121]Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira:
Effects of GPS Spoofing on Unmanned Aerial Vehicles. PRDC 2018: 155-160 - [c120]Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza:
Exploratory Data Analysis of Fault Injection Campaigns. QRS 2018: 191-202 - 2017
- [c119]Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira:
On the Emulation of Vulnerabilities through Software Fault Injection. EDCC 2017: 73-78 - [c118]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. ISSRE 2017: 136-145 - [c117]Raquel Almeida, Afonso Araújo Neto, Henrique Madeira:
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics. PRDC 2017: 40-49 - [c116]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Soft Errors Susceptibility of Virtualization Servers. PRDC 2017: 125-134 - 2016
- [j16]Roberto Natella, Domenico Cotroneo, Henrique Madeira:
Assessing Dependability with Software Fault Injection: A Survey. ACM Comput. Surv. 48(3): 44:1-44:55 (2016) - [c115]Goncalo Pereira, Raul Barbosa, Henrique Madeira:
Practical Emulation of Software Defects in Source Code. EDCC 2016: 130-140 - [c114]João Durães, Henrique Madeira, João Castelhano, Catarina Duarte, Miguel Castelo Branco:
WAP: Understanding the Brain at Software Debugging. ISSRE 2016: 87-92 - [c113]Raquel Almeida, Henrique Madeira:
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities. LADC 2016: 127-130 - 2015
- [j15]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: 103-116 (2015) - [j14]Pedro Costa, João Gabriel Silva, Henrique Madeira:
Practical and representative faultloads for large-scale software systems. J. Syst. Softw. 103: 182-197 (2015) - [c112]Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo:
Recovery for Virtualized Environments. EDCC 2015: 25-36 - [c111]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Temporal Analysis of CHAVE Collection. SPIRE 2015: 67-74 - 2014
- [j13]José Fonseca, Nuno Seixas, Marco Vieira, Henrique Madeira:
Analysis of Field Data on Web Security Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 11(2): 89-100 (2014) - [j12]José Fonseca, Marco Vieira, Henrique Madeira:
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. IEEE Trans. Dependable Secur. Comput. 11(5): 440-453 (2014) - [j11]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Technique for Deploying Robust Web Services. IEEE Trans. Serv. Comput. 7(1): 68-81 (2014) - [c110]Pedro Pereira, Joaquim Macedo, Olga Craveiro, Henrique Madeira:
Time-Aware Focused Web Crawling. ECIR 2014: 534-539 - [c109]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Query Expansion with Temporal Segmented Texts. ECIR 2014: 612-617 - [c108]Naaliel Mendes, Henrique Madeira, João Durães:
Security Benchmarks for Web Serving Systems. ISSRE 2014: 1-12 - [c107]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Words Temporality for Improving Query Expansion. PROPOR 2014: 262-267 - 2013
- [j10]Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira:
On Fault Representativeness of Software Fault Injection. IEEE Trans. Software Eng. 39(1): 80-96 (2013) - [c106]Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira:
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. LADC 2013: 92-97 - 2012
- [j9]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A robustness testing approach for SOAP Web services. J. Internet Serv. Appl. 3(2): 215-232 (2012) - [c105]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
It Is the Time for Portuguese Texts! PROPOR 2012: 106-112 - [p5]João Durães, José Fonseca, Henrique Madeira, Marco Vieira:
Field Studies on Resilience: Measurements and Repositories. Resilience Assessment and Evaluation of Computing Systems 2012: 213-237 - [p4]Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira:
Fault Injection. Resilience Assessment and Evaluation of Computing Systems 2012: 263-281 - [p3]Marco Vieira, Henrique Madeira, Kai Sachs, Samuel Kounev:
Resilience Benchmarking. Resilience Assessment and Evaluation of Computing Systems 2012: 283-301 - [p2]Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes:
Robustness Testing Techniques and Tools. Resilience Assessment and Evaluation of Computing Systems 2012: 323-339 - [p1]Andrea Bondavalli, Henrique Madeira, Paolo Lollini:
Future of Resilience Assessment: The AMBER Research Roadmap. Resilience Assessment and Evaluation of Computing Systems 2012: 415-439 - 2011
- [c104]Naaliel Mendes, João Durães, Henrique Madeira:
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. LADC 2011: 55-64 - [c103]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: 112-116 - 2010
- [c102]Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira:
Representativeness analysis of injected software faults in complex software. DSN 2010: 437-446 - [c101]Naaliel Mendes, João Durães, Henrique Madeira:
Evaluating and Comparing the Impact of Software Faults on Web Servers. EDCC 2010: 33-42 - [c100]Raquel Almeida, Henrique Madeira, Marco Vieira:
From Performance to Resilience Benchmarking. ICDCS Workshops 2010: 286-287 - [c99]Raquel Almeida, Naaliel Mendes, Henrique Madeira:
Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience. ICDCS Workshops 2010: 313-320 - [c98]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Leveraging temporal expressions for segmented-based information retrieval. ISDA 2010: 754-759 - [c97]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: 61-70 - [c96]José Fonseca, Marco Vieira, Henrique Madeira:
The Web Attacker Perspective - A Field Study. ISSRE 2010: 299-308 - [c95]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: 3-10 - [c94]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. PRDC 2010: 191-198 - [c93]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: 112-125 - [c92]Raquel Almeida, Henrique Madeira, Marco Vieira:
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. SRDS 2010: 348-352
2000 – 2009
- 2009
- [c91]Nuno Antunes, Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services. IEEE SCC 2009: 260-267 - [c90]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Predicting Timing Failures in Web Services. DASFAA Workshops 2009: 182-196 - [c89]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Protecting Database Centric Web Services against SQL/XPath Injection Attacks. DEXA 2009: 271-278 - [c88]José Fonseca, Marco Vieira, Henrique Madeira:
Vulnerability & attack injection for web applications. DSN 2009: 93-102 - [c87]Henrique Madeira, István Majzik:
From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN 2009: 295-296 - [c86]Marco Vieira, Nuno Antunes, Henrique Madeira:
Using web security scanners to detect vulnerabilities in web services. DSN 2009: 566-571 - [c85]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Improving Web Services Robustness. ICWS 2009: 397-404 - [c84]Nuno Seixas, José Fonseca, Marco Vieira, Henrique Madeira:
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. ISSRE 2009: 129-135 - [c83]Pedro Costa, João Gabriel Silva, Henrique Madeira:
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. PRDC 2009: 289-294 - [c82]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Use of Co-occurrences for Temporal Expressions Annotation. SPIRE 2009: 156-164 - [c81]Marco Vieira, Henrique Madeira:
From Performance to Dependability Benchmarking: A Mandatory Path. TPCTC 2009: 67-83 - 2008
- [c80]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Experimental Robustness Evaluation of JMS Middleware. IEEE SCC (1) 2008: 119-126 - [c79]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Timing Failures Detection in Web Services. APSCC 2008: 554-559 - [c78]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
Redundant Array of Inexpensive Nodes for DWS. DASFAA 2008: 580-587 - [c77]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
RAIN: Always on Data Warehousing. DASFAA 2008: 678-681 - [c76]Raquel Almeida, Jorge Vieira, Marco Vieira, Henrique Madeira, Jorge Bernardino:
Efficient Data Distribution for DWS. DaWaK 2008: 75-86 - [c75]Philip Koopman, Henrique Madeira:
Message from the conference general chair and coordinator. DSN 2008 - [c74]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Robustness Validation in Service-Oriented Architectures. WADS 2008: 98-123 - [c73]José Fonseca, Marco Vieira, Henrique Madeira:
Training Security Assurance Teams Using Vulnerability Injection. PRDC 2008: 297-304 - [c72]Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira:
Assessing and Comparing Security of Web Servers. PRDC 2008: 313-322 - [c71]José Fonseca, Marco Vieira, Henrique Madeira:
Online detection of malicious data access using DBMS auditing. SAC 2008: 1013-1020 - 2007
- [c70]Marco Vieira, António Casimiro Costa, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. DASFAA 2007: 262-274 - [c69]Marco Vieira, Nuno Laranjeiro, Henrique Madeira:
Assessing Robustness of Web-Services Infrastructures. DSN 2007: 131-136 - [c68]Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira:
Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN 2007: 512-521 - [c67]Ricardo Barbosa, Nuno Silva, João Durães, Henrique Madeira:
Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques. ICCBSS 2007: 233-242 - [c66]Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira:
Component-Based Software Certification Based on Experimental Risk Assessment. LADC 2007: 179-197 - [c65]José Fonseca, Marco Vieira, Henrique Madeira:
Integrated Intrusion Detection in Databases. LADC 2007: 198-211 - [c64]Marco Vieira, Henrique Madeira:
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? LADC 2007: 231-232 - [c63]Henrique Madeira:
Assessing, Measuring, and Benchmarking Dependability and Resilience. LADC 2007: 238 - [c62]Marco Vieira, Nuno Laranjeiro, Henrique Madeira:
Benchmarking the Robustness of Web Services. PRDC 2007: 322-329 - [c61]José Fonseca, Marco Vieira, Henrique Madeira:
Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks. PRDC 2007: 365-372 - [c60]José Fonseca, Marco Vieira, Henrique Madeira:
Detecting Malicious SQL. TrustBus 2007: 259-268 - 2006
- [j8]João Durães, Henrique Madeira:
Emulation of Software Faults: A Field Data Study and a Practical Approach. IEEE Trans. Software Eng. 32(11): 849-867 (2006) - [c59]Regina Lúcia de Oliveira Moraes, Ricardo Barbosa, João Durães, Naaliel Mendes, Eliane Martins, Henrique Madeira:
Injection of faults at component interfaces and inside the component code: are they equivalent? EDCC 2006: 53-64 - [c58]Luís Moura Silva, Henrique Madeira, João Gabriel Silva:
Software Aging and Rejuvenation in a SOAP-based Server. NCA 2006: 56-65 - [c57]Marco Vieira, António Casimiro Costa, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. PRDC 2006: 381-382 - [c56]José Fonseca, Marco Vieira, Henrique Madeira:
Monitoring Database Application Behavior for Intrusion Detection. PRDC 2006: 383-386 - 2005
- [j7]Paula Prata, Mário Zenha Rela, Henrique Madeira, João Gabriel Silva:
Robust Assertions and Fail-Bounded Behavior. J. Braz. Comput. Soc. 10(3): 20-32 (2005) - [c55]Jorge Vieira, Jorge Bernardino, Henrique Madeira:
Efficient Compression of Text Attributes of Data Warehouse Dimensions. DaWaK 2005: 356-367 - [c54]Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown:
Dependability Benchmarking of Computing Systems - Panel Statement. DSN 2005: 400 - [c53]Marco Vieira, Henrique Madeira:
Towards a Security Benchmark for Database Management Systems. DSN 2005: 592-601 - [c52]Henrique Madeira:
Dependability Challenges and Education Perspectives. EDCC 2005: 225-225 - [c51]Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC 2005: 263-280 - [c50]João Durães, Henrique Madeira:
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code. LADC 2005: 20-34 - [c49]Marco Vieira, Henrique Madeira:
Detection of Malicious Transactions in DBMS. PRDC 2005: 350-357 - 2004
- [j6]Marco Vieira, Henrique Madeira:
Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults. Perform. Evaluation 56(1-4): 187-212 (2004) - [c48]Marco Vieira, Henrique Madeira:
Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. COMPSAC 2004: 202-209 - [c47]Marco Costa, Henrique Madeira:
Handling big dimensions in distributed data warehouses using the DWS technique. DOLAP 2004: 31-37 - [c46]João Durães, Henrique Madeira:
Generic Faultloads Based on Software Faults for Dependability Benchmarking. DSN 2004: 285-294 - [c45]João Durães, Marco Vieira, Henrique Madeira:
Dependability Benchmarking of Web-Servers. SAFECOMP 2004: 297-310 - 2003
- [c44]Henrique Madeira, João Pedro Costa, Marco Vieira:
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. DSN 2003: 86-91 - [c43]João Durães, Henrique Madeira:
Definition of Software Fault Emulation Operators: A Field Data Study. DSN 2003: 105-114 - [c42]Marco Vieira, Henrique Madeira:
Benchmarking the Dependability of Different OLTP Systems. DSN 2003: 305-310 - [c41]Saurabh Bagchi, Henrique Madeira:
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? ISSRE 2003: 347-352 - [c40]Alcides Marques, Bruno Rino, Henrique Madeira:
iGen: plataforma de geração de código com ciclo de desenvolvimento completo. JISBD 2003: 95-106 - [c39]Marco Costa, Jorge Vieira, Jorge Bernardino, Pedro Furtado, Henrique Madeira:
A middle layer for distributed data warehouses using the DWS-AQA technique. JISBD 2003: 775-778 - [c38]Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva:
Plug and Play Fault Injector for Dependability Benchmarking. LADC 2003: 8-22 - [c37]Henrique Madeira, João Durães, Marco Vieira:
Emulation of Software Faults: Representativeness and Usefulness. LADC 2003: 137-159 - [c36]Marco Vieira, Henrique Madeira:
A Dependability Benchmark for OLTP Application Environments. VLDB 2003: 742-753 - 2002
- [j5]Jorge Bernardino, Pedro Furtado, Henrique Madeira:
Approximate Query Answering Using Data Warehouse Striping. J. Intell. Inf. Syst. 19(2): 145-167 (2002) - [c35]Pedro Bizarro, Henrique Madeira:
Adding a Performance-Oriented Perspective to Data Warehouse Design. DaWaK 2002: 232-244 - [c34]Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson:
Joint Panel - IPDS and Workshop on Dependability Benchmarking. DSN 2002 - [c33]Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels:
Experimental Evaluation of a COTS System for Space Application. DSN 2002: 325-330 - [c32]Ricardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira:
Xception? - Enhanced Automated Fault-Injection Environment. DSN 2002: 547-550 - [c31]Marco Vieira, Henrique Madeira:
Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. DSN 2002: 615-626 - [c30]Philip Koopman, Henrique Madeira:
Workshop on Dependability Benchmarking. DSN 2002: 790-791 - [c29]Jorge Bernardino, Pedro Furtado, Henrique Madeira:
DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses. IDEAS 2002: 233-242 - [c28]João Durães, Henrique Madeira:
Emulation of Software Faults by Educated Mutations at Machine-Code Level. ISSRE 2002: 329-340 - [c27]João Durães, Henrique Madeira:
Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. PRDC 2002: 201-209 - [c26]Marco Vieira, Henrique Madeira:
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. PRDC 2002: 265-274 - 2001
- [c25]Jorge Bernardino, Pedro Furtado, Henrique Madeira:
Approximate Query Answering Using Data Warehouse Striping. DaWaK 2001: 349-360 - [c24]Diamantino Costa, Tiago Rilho, Marco Vieira, Henrique Madeira:
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components. ECBS 2001: 197-204 - [c23]Jorge Bernardino, Henrique Madeira:
Data Warehouse Striping: Improved Query Response Time. ICEIS (1) 2001: 122-129 - [c22]Jorge Bernardino, Henrique Madeira:
Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses. IDEAS 2001: 312-321 - [c21]Pedro Bizarro, Henrique Madeira:
The Dimension-Join: A New Index for Data Warehouses. SBBD 2001: 259-273 - 2000
- [c20]Jorge Bernardino, Henrique Madeira:
A New Technique to Speedup Queries in Data Warehousing. ADBIS-DASFAA Symposium 2000: 21-32 - [c19]Pedro Furtado, Henrique Madeira:
Data Cube Compression with QuantiCubes. DaWaK 2000: 162-167 - [c18]Pedro Furtado, Henrique Madeira:
Vmhist: Efficient Multidimensional Histograms with Improved Accuracy. DaWaK 2000: 431-436 - [c17]Diamantino Costa, Tiago Rilho, Henrique Madeira:
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. DSN 2000: 251-260 - [c16]Henrique Madeira, Diamantino Costa, Marco Vieira:
On the Emulation of Software Faults by Software Fault Injection. DSN 2000: 417-426 - [c15]Pedro Furtado, Henrique Madeira:
FCompress: A New Technique for Queriable Compression of Facts and Datacubes. IDEAS 2000: 197-206
1990 – 1999
- 1999
- [c14]Pedro Furtado, Henrique Madeira:
Summary Grids: Building Accurate Multidimensional Histograms. DASFAA 1999: 187-194 - [c13]Pedro Furtado, Henrique Madeira:
Analysis of Accuracy of Data Reduction Techniques. DaWaK 1999: 377-388 - [c12]Diamantino Costa, Henrique Madeira:
Experimental Assessment of COTS DBMS Robustness under Transient Faults. PRDC 1999: 201- - 1998
- [j4]João Carreira, Henrique Madeira, João Gabriel Silva:
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Trans. Software Eng. 24(2): 125-136 (1998) - [c11]João Gabriel Silva, Paula Prata, Mário Zenha Rela, Henrique Madeira:
Practical Issues in the Use of ABFT and a New Failure Model. FTCS 1998: 26-35 - [c10]Pedro Furtado, Henrique Madeira:
Enforcing Strong Object Typing in Flexible Hypermedia. Hypertext 1998: 171-179 - 1997
- [c9]Pedro Furtado, Henrique Madeira:
A Model for Intuitive Knowledge Sharing. DEXA Workshop 1997: 570-575 - 1996
- [c8]Pedro Furtado, Henrique Madeira:
Fault Injection Evaluation of Assigned Signatures in a RISC Processor. EDCC 1996: 55-72 - [c7]Mário Zenha Rela, Henrique Madeira, João Gabriel Silva:
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. FTCS 1996: 394-403 - [c6]João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira:
Experimental Assessment of Parallel Systems. FTCS 1996: 415-424 - 1995
- [c5]Diamantino Costa, Francisco Moreira, Henrique Madeira, Mário Zenha Rela, João Gabriel Silva:
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications. SRDS 1995: 10-19 - 1994
- [b1]Henrique Madeira:
Detecção de erros com base no comportamento. University of Coimbra, Portugal, 1994 - [c4]João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino:
A Fault-Tolerant Mechanism for Simple Controllers. EDCC 1994: 39-55 - [c3]Henrique Madeira, Mário Zenha Rela, Francisco Moreira, João Gabriel Silva:
RIFLE: A General Purpose Pin-level Fault Injector. EDCC 1994: 199-216 - [c2]Henrique Madeira, João Gabriel Silva:
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking. FTCS 1994: 350-359 - [c1]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:
The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems. HPCN 1994: 401-406 - 1991
- [j3]Henrique Madeira, José Camões, João Gabriel Silva:
A watchdog processor for concurrent error detection in multiple processor systems. Microprocess. Microsystems 15(3): 123-130 (1991) - 1990
- [j2]Henrique Madeira, Gonçalo Quadros, João Gabriel Silva:
Experimental evaluation of a set of simple error detection mechanisms. Microprocessing and Microprogramming 30(1-5): 513-520 (1990)
1980 – 1989
- 1989
- [j1]Henrique Madeira, Boavida Fernandes, Mário Zenha Rela, João Gabriel Silva:
The fault-tolerant architecture of the safe system. Microprocessing and Microprogramming 27(1-5): 705-712 (1989)
Coauthor Index
aka: Miguel Castelo Branco
aka: Naghmeh Ivaki
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint