Reasoning about Control Flow in the Presence of Transient Faults

This publication has 13 references indexed in Scilit:

• Fault-tolerant typed assembly language
  Published by Association for Computing Machinery (ACM) ,2007
• Software-Based Transparent and Comprehensive Control-Flow Error Detection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Predicting the number of fatal soft errors in Los Alamos national laboratory's ASC Q supercomputer
  IEEE Transactions on Device and Materials Reliability, 2005
• Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation
  IEEE Micro, 2005
• Design and Evaluation of Hybrid Fault-Detection Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• SWIFT: Software Implemented Fault Tolerance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A Theory of Secure Control Flow
  Published by Springer Nature ,2005
• Modeling the effect of technology trends on the soft error rate of combinational logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Control-flow checking by software signatures
  IEEE Transactions on Reliability, 2002
• Soft errors in advanced semiconductor devices-part I: the three radiation sources
  IEEE Transactions on Device and Materials Reliability, 2001