A Comparison of Simulation Based and Scan Chain Implemented Fault Injection

Teraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms

IEEE Transactions on Computers

A prototype of a VHDL-based fault injection tool: description and application

Journal of Systems Architecture: the EUROMICRO Journal - Defect and fault tolerance in VLSI Systems

Validation-Based Development of Dependable Systems

IEEE Micro

Considering Workload Input Variations in Error Coverage Estimation

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

Assessing Error Detection Coverage by Simulated Fault Injection

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium

GOOFI: Generic Object-Oriented Fault Injection Tool

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

A Study of the Effects of Transient Fault Injection into the VHDL Model of a Fault-Tolerant Microcomputer System

IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)

Comparison of Physical and Software-Implemented Fault Injection Techniques

IEEE Transactions on Computers

Error Detection Enhancement in COTS Superscalar Processors with Performance Monitoring Features

Journal of Electronic Testing: Theory and Applications

Evaluating coverage of error detection logic for soft errors using formal methods

Proceedings of the conference on Design, automation and test in Europe: Proceedings

Switch-level soft error emulation for SET-induced pulses of variable strengths

Microelectronics Journal

Boosting software fault injection for dependability analysis of real-time embedded applications

ACM Transactions on Embedded Computing Systems (TECS)

MODIFI: a MODel-implemented fault injection tool

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security

On the effects of errors during boot

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing

SEU Fault-Injection in VHDL-Based Processors: A Case Study

Journal of Electronic Testing: Theory and Applications

Combining Fault-Injection with Property-Based Testing

Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems