Henrique Madeira
Orcid: 0000-0001-8146-4664
According to our database1,
Henrique Madeira
authored at least 187 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Syst. Softw., 2024
Where Did I Get Lost? A Prototype Tool for Predicting Local-Level Comprehension Difficulties With Wearables and Explainable Machine Learning.
IEEE Access, 2024
Fault injection acceleration using failure models on a virtualized fault-tolerant system.
Proceedings of the 19th European Dependable Computing Conference, 2024
Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024
A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024
2023
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension.
IEEE Trans. Software Eng., February, 2023
Using social media and personality traits to assess software developers' emotional polarity.
PeerJ Comput. Sci., 2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023
2022
Dataset, May, 2022
IEEE Trans. Cloud Comput., 2022
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?
Sensors, 2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Enhanced software development process for CubeSats to cope with space radiation faults.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Proceedings of the 6th International Conference on System Reliability and Safety, 2022
2021
Can EEG Be Adopted as a Neuroscience Reference for Assessing Software Programmers' Cognitive Load?
Sensors, 2021
IEEE Access, 2021
IEEE Access, 2021
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
Proceedings of the Quality of Information and Communications Technology, 2021
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021
Fault injection platform for affordable verification and validation of CubeSats software.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 17th European Dependable Computing Conference, 2021
2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access, 2020
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020
2019
Int. J. Crit. Comput. Based Syst., 2019
CoRR, 2019
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Biofeedback augmented software engineering: monitoring of programmers' mental effort.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
Proceedings of the 15th European Dependable Computing Conference, 2019
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019
2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
2017
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Proceedings of the 13th European Dependable Computing Conference, 2017
2016
ACM Comput. Surv., 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016
Proceedings of the 12th European Dependable Computing Conference, 2016
2015
A benchmarking process to assess software requirements documentation for space applications.
J. Syst. Softw., 2015
J. Syst. Softw., 2015
Proceedings of the String Processing and Information Retrieval, 2015
Proceedings of the 11th European Dependable Computing Conference, 2015
2014
IEEE Trans. Dependable Secur. Comput., 2014
IEEE Trans. Dependable Secur. Comput., 2014
Proceedings of the Computational Processing of the Portuguese Language, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
Proceedings of the Advances in Information Retrieval, 2014
Proceedings of the Advances in Information Retrieval, 2014
2013
IEEE Trans. Software Eng., 2013
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013
2012
Proceedings of the Computational Processing of the Portuguese Language, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011
2010
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010
Proceedings of the Computer Safety, 2010
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010
Proceedings of the Eighth European Dependable Computing Conference, 2010
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
2009
Proceedings of the Performance Evaluation and Benchmarking, 2009
Proceedings of the String Processing and Information Retrieval, 2009
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study.
Proceedings of the ISSRE 2009, 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
From assessment to standardised benchmarking: Will it happen? What could we do about it?
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009
Proceedings of the Database Systems for Advanced Applications, 2009
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009
2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008
Proceedings of the Architecting Dependable Systems VI, 2008
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Proceedings of the Data Warehousing and Knowledge Discovery, 10th International Conference, 2008
Proceedings of the Database Systems for Advanced Applications, 2008
Proceedings of the Database Systems for Advanced Applications, 2008
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
2007
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks.
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques.
Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
Proceedings of the Advances in Databases: Concepts, 2007
2006
IEEE Trans. Software Eng., 2006
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006
Injection of faults at component interfaces and inside the component code: are they equivalent?
Proceedings of the Sixth European Dependable Computing Conference, 2006
2005
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005
Proceedings of the Dependable Computing, 2005
Proceedings of the Dependable Computing, 2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Proceedings of the Data Warehousing and Knowledge Discovery, 2005
2004
Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults.
Perform. Evaluation, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the DOLAP 2004, 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Proceedings of 29th International Conference on Very Large Data Bases, 2003
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
iGen: plataforma de geração de código com ciclo de desenvolvimento completo.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
A middle layer for distributed data warehouses using the DWS-AQA technique.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out?
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
J. Intell. Inf. Syst., 2002
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002
Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation.
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
Proceedings of the International Database Engineering & Applications Symposium, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Joint Panel - IPDS and Workshop on Dependability Benchmarking.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the Data Warehousing and Knowledge Discovery, 4th International Conference, 2002
2001
The Dimension-Join: A New Index for Data Warehouses.
Proceedings of the XVI Simpósio Brasileiro de Banco de Dados, 2001
Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses.
Proceedings of the International Database Engineering & Applications Symposium, 2001
Data Warehouse Striping: Improved Query Response Time.
Proceedings of the ICEIS 2001, 2001
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
2000
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
Proceedings of the Data Warehousing and Knowledge Discovery, 2000
Proceedings of the Data Warehousing and Knowledge Discovery, 2000
A New Technique to Speedup Queries in Data Warehousing.
Proceedings of Chalenges, 2000
1999
Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999
Proceedings of the Data Warehousing and Knowledge Discovery, 1999
Proceedings of the Database Systems for Advanced Applications, 1999
1998
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers.
IEEE Trans. Software Eng., 1998
Proceedings of the HYPERTEXT '98. Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space, 1998
Proceedings of the Digest of Papers: FTCS-28, 1998
1997
Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997
1996
Proceedings of the Digest of Papers: FTCS-26, 1996
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks.
Proceedings of the Digest of Papers: FTCS-26, 1996
Proceedings of the Dependable Computing, 1996
1995
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995
1994
The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems.
Proceedings of the High-Performance Computing and Networking, 1994
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking.
Proceedings of the Digest of Papers: FTCS/24, 1994
Proceedings of the Dependable Computing, 1994
Proceedings of the Dependable Computing, 1994
1991
Microprocess. Microsystems, 1991
1990
Microprocessing and Microprogramming, 1990
1989
Microprocessing and Microprogramming, 1989