Victor A. Carreño

• A case study for the real-time experimental evaluation of the VIPER microprocessor
• Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system
• Interpretation of IEEE-854 floating-point standard and definition in the HOL system