Henrique Madeira

Orcid: 0000-0001-8146-4664

According to our database1, Henrique Madeira authored at least 188 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Advancing modern code review effectiveness through human error mechanisms.
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

Towards Improved Perception System's Generalization Through Generative Artificial Intelligence.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Fault injection acceleration using failure models on a virtualized fault-tolerant system.
Proceedings of the 19th European Dependable Computing Conference, 2024

A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller.
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

A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Lead Time Analysis for UAVs' Failure Prediction in U-space.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Predicting Cloud Applications Failures from Infrastructure Level Data.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Integration of U-space Safety Assessment Methodologies With Experimentation.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Network Failures in Cloud Management Platforms: A Study on OpenStack.
Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023

2022
Using social media and personality traits to assess software developers' emotions.
Dataset, May, 2022

The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers.
IEEE Trans. Cloud Comput., 2022

How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?
Sensors, 2022

Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate.
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

Strategies for Improving the Error Robustness of Convolutional Neural Networks.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

A New Code Review Method based on Human Errors.
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

ucXception: A Framework for Evaluating Dependability of Software Systems.
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

Are UAVs' Flight Controller Software Reliable?
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues.
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

Intelligent Biofeedback Augmented Content Comprehension (TellBack).
IEEE Access, 2021

Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor.
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

Measuring lead times for failure prediction.
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

Targeted Code Inspection based on Human Errors.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

iReview: an Intelligent Code Review Evaluation Tool using Biofeedback.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Why is it so hard to predict computer systems failures?
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

Evaluation of RESTful frameworks under soft errors.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Online Verification through Model Checking of Medical Critical Intelligent Systems.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019
Soft error sensitivity and vulnerability of languages and their implementations.
Int. J. Crit. Comput. Based Syst., 2019

The most frequent programming mistakes that cause software vulnerabilities.
CoRR, 2019

Emulating representative software vulnerabilities using field data.
Computing, 2019

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback.
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

Software code complexity assessment using EEG features.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Fast Local VM Migration Against Hypervisor Corruption.
Proceedings of the 15th European Dependable Computing Conference, 2019

Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
Exploratory Data Analysis of Fault Injection Campaigns.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Effects of GPS Spoofing on Unmanned Aerial Vehicles.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors.
Proceedings of the 14th European Dependable Computing Conference, 2018

2017
Soft Errors Susceptibility of Virtualization Servers.
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

On the Emulation of Vulnerabilities through Software Fault Injection.
Proceedings of the 13th European Dependable Computing Conference, 2017

2016
Assessing Dependability with Software Fault Injection: A Survey.
ACM Comput. Surv., 2016

Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

WAP: Understanding the Brain at Software Debugging.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Practical Emulation of Software Defects in Source Code.
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

Practical and representative faultloads for large-scale software systems.
J. Syst. Softw., 2015

Temporal Analysis of CHAVE Collection.
Proceedings of the String Processing and Information Retrieval, 2015

Recovery for Virtualized Environments.
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
A Technique for Deploying Robust Web Services.
IEEE Trans. Serv. Comput., 2014

Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection.
IEEE Trans. Dependable Secur. Comput., 2014

Analysis of Field Data on Web Security Vulnerabilities.
IEEE Trans. Dependable Secur. Comput., 2014

Words Temporality for Improving Query Expansion.
Proceedings of the Computational Processing of the Portuguese Language, 2014

Security Benchmarks for Web Serving Systems.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Time-Aware Focused Web Crawling.
Proceedings of the Advances in Information Retrieval, 2014

Query Expansion with Temporal Segmented Texts.
Proceedings of the Advances in Information Retrieval, 2014

2013
On Fault Representativeness of Software Fault Injection.
IEEE Trans. Software Eng., 2013

Assessing the Impact of Virtualization on the Generation of Failure Prediction Data.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

2012
A robustness testing approach for SOAP Web services.
J. Internet Serv. Appl., 2012

It Is the Time for Portuguese Texts!
Proceedings of the Computational Processing of the Portuguese Language, 2012

Resilience Benchmarking.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Robustness Testing Techniques and Tools.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Field Studies on Resilience: Measurements and Repositories.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Future of Resilience Assessment: The AMBER Research Roadmap.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Fault Injection.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

2010
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Benchmarking Software Requirements Documentation for Space Application.
Proceedings of the Computer Safety, 2010

A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks.
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

Errors on Space Software Requirements: A Field Study and Application Scenarios.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

The Web Attacker Perspective - A Field Study.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Leveraging temporal expressions for segmented-based information retrieval.
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

From Performance to Resilience Benchmarking.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Evaluating and Comparing the Impact of Software Faults on Web Servers.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Representativeness analysis of injected software faults in complex software.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
From Performance to Dependability Benchmarking: A Mandatory Path.
Proceedings of the Performance Evaluation and Benchmarking, 2009

Use of Co-occurrences for Temporal Expressions Annotation.
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

Improving Web Services Robustness.
Proceedings of the IEEE International Conference on Web Services, 2009

Using web security scanners to detect vulnerabilities in web services.
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

Vulnerability & attack injection for web applications.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Protecting Database Centric Web Services against SQL/XPath Injection Attacks.
Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

Predicting Timing Failures in Web Services.
Proceedings of the Database Systems for Advanced Applications, 2009

Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
Online detection of malicious data access using DBMS auditing.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Assessing and Comparing Security of Web Servers.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Training Security Assurance Teams Using Vulnerability Injection.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Robustness Validation in Service-Oriented Architectures.
Proceedings of the Architecting Dependable Systems VI, 2008

Message from the conference general chair and coordinator.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Efficient Data Distribution for DWS.
Proceedings of the Data Warehousing and Knowledge Discovery, 10th International Conference, 2008

RAIN: Always on Data Warehousing.
Proceedings of the Database Systems for Advanced Applications, 2008

Redundant Array of Inexpensive Nodes for DWS.
Proceedings of the Database Systems for Advanced Applications, 2008

Timing Failures Detection in Web Services.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Experimental Robustness Evaluation of JMS Middleware.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Detecting Malicious SQL.
Proceedings of the Trust, 2007

Benchmarking the Robustness of Web Services.
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

Component-Based Software Certification Based on Experimental Risk Assessment.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Assessing, Measuring, and Benchmarking Dependability and Resilience.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Integrated Intrusion Detection in Databases.
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

Assessing Robustness of Web-Services Infrastructures.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Experimental Risk Assessment and Comparison Using Software Fault Injection.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Towards Timely ACID Transactions in DBMS.
Proceedings of the Advances in Databases: Concepts, 2007

2006
Emulation of Software Faults: A Field Data Study and a Practical Approach.
IEEE Trans. Software Eng., 2006

Monitoring Database Application Behavior for Intrusion Detection.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Software Aging and Rejuvenation in a SOAP-based Server.
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
Robust Assertions and Fail-Bounded Behavior.
J. Braz. Comput. Soc., 2005

Detection of Malicious Transactions in DBMS.
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

A Data Mining Approach to Identify Key Factors in Dependability Experiments.
Proceedings of the Dependable Computing, 2005

Dependability Challenges and Education Perspectives.
Proceedings of the Dependable Computing, 2005

Towards a Security Benchmark for Database Management Systems.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Dependability Benchmarking of Computing Systems - Panel Statement.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Efficient Compression of Text Attributes of Data Warehouse Dimensions.
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

Dependability Benchmarking of Web-Servers.
Proceedings of the Computer Safety, 2004

Generic Faultloads Based on Software Faults for Dependability Benchmarking.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Handling big dimensions in distributed data warehouses using the DWS technique.
Proceedings of the DOLAP 2004, 2004

Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
A Dependability Benchmark for OLTP Application Environments.
Proceedings of 29th International Conference on Very Large Data Bases, 2003

Emulation of Software Faults: Representativeness and Usefulness.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Plug and Play Fault Injector for Dependability Benchmarking.
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

Benchmarking the Dependability of Different OLTP Systems.
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

Definition of Software Fault Emulation Operators: A Field Data Study.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Approximate Query Answering Using Data Warehouse Striping.
J. Intell. Inf. Syst., 2002

Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking.
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

Emulation of Software Faults by Educated Mutations at Machine-Code Level.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses.
Proceedings of the International Database Engineering & Applications Symposium, 2002

Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Xception? - Enhanced Automated Fault-Injection Environment.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Experimental Evaluation of a COTS System for Space Application.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Workshop on Dependability Benchmarking.
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

Adding a Performance-Oriented Perspective to Data Warehouse Design.
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

ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
FCompress: A New Technique for Queriable Compression of Facts and Datacubes.
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000

On the Emulation of Software Faults by Software Fault Injection.
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

<i>Vmhist</i>: Efficient Multidimensional Histograms with Improved Accuracy.
Proceedings of the Data Warehousing and Knowledge Discovery, 2000

Data Cube Compression with QuantiCubes.
Proceedings of the Data Warehousing and Knowledge Discovery, 2000

A New Technique to Speedup Queries in Data Warehousing.
Proceedings of Chalenges, 2000

1999
Experimental Assessment of COTS DBMS Robustness under Transient Faults.
Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

Analysis of Accuracy of Data Reduction Techniques.
Proceedings of the Data Warehousing and Knowledge Discovery, 1999

Summary Grids: Building Accurate Multidimensional Histograms.
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

Enforcing Strong Object Typing in Flexible Hypermedia.
Proceedings of the HYPERTEXT '98. Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space, 1998

Practical Issues in the Use of ABFT and a New Failure Model.
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
A Model for Intuitive Knowledge Sharing.
Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

1996
Experimental Assessment of Parallel Systems.
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

Fault Injection Evaluation of Assigned Signatures in a RISC Processor.
Proceedings of the Dependable Computing, 1996

1995
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

1994
Detecção de erros com base no comportamento
PhD thesis, 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

A Fault-Tolerant Mechanism for Simple Controllers.
Proceedings of the Dependable Computing, 1994

RIFLE: A General Purpose Pin-level Fault Injector.
Proceedings of the Dependable Computing, 1994

1991
A watchdog processor for concurrent error detection in multiple processor systems.
Microprocess. Microsystems, 1991

1990
Experimental evaluation of a set of simple error detection mechanisms.
Microprocessing and Microprogramming, 1990

1989
The fault-tolerant architecture of the safe system.
Microprocessing and Microprogramming, 1989


  Loading...