sample of publications
-
articles
- The Use of Microprocessor Trace Infrastructures for Radiation-Induced Fault Diagnosis. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 67. 2020
- Dual-Core Lockstep enhanced with redundant multithread support and control-flow error detection. MICROELECTRONICS RELIABILITY. 100-101:1-5. 2019
- Analysis of neutron sensitivity and data-flow error detection in ARM microprocessors using NEON SIMD extensions. MICROELECTRONICS RELIABILITY. 100-101:1-5. 2019
- Online error detection through trace infrastructure in ARM microprocessors. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 66:1558-1578. 2019
- PTM-based hybrid error-detection architecture for ARM microprocessors. MICROELECTRONICS RELIABILITY. 88:925-930. 2018
- Evaluation of the Suitability of NEON SIMD Microprocessor Extensions Under Proton Irradiation. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 65:1835-1842. 2018
- A hybrid fault-tolerant LEON3 soft core processor implemented in low-end SRAM FPGA. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 64:374-381. 2017
- A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications. IEEE Transactions on Dependable and Secure Computing. 13:502-508. 2016
- Online test of control flow errors: a new debug interface-based approach. IEEE TRANSACTIONS ON COMPUTERS. 65:1846-1855. 2016
- A New Hybrid Nonintrusive Error-Detection Technique Using Dual Control-Flow Monitoring. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 61:3236-3243. 2014
- Efficient mitigation of data and control-flow errors in microprocessors. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 61:1590-1596. 2014
- Evaluating the Effectiveness of a Software-Based Technique Under SEEs Using FPGA-Based Fault Injection Approach. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS. 28:777-789. 2012
- A co-design approach for SET mitigation in embedded systems. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 59:1034-1039. 2012
- Constrained Placement Methodology for Reducing SER Under Single-Event-Induced Charge Sharing Effects. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 59:811-817. 2012
- Soft Error Sensitivity Evaluation of Microprocessors by Multilevel Emulation-Based Fault Injection. IEEE TRANSACTIONS ON COMPUTERS. 61:313-322. 2012
- Analyzing the Impact of Single-Event-Induced Charge Sharing in Complex Circuits. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 58 :2768-2775. 2011
- Analysis of SET effects in a PIC microprocessor for selective hardening. IEEE TRANSACTIONS ON NUCLEAR SCIENCE. 58:1078-1085. 2011
-
book chapters
-
conference contributions
- Flexible approaches to fault-tolerant microprocessors for space aplications 2015
- A New Hybrid Non-Intrusive Error-Detection Technique Using Dual Control-Flow Monitoring 2014
- A new solution to on-line detection of Control Flow Errors. 105-110. 2014
- Comparative of software-based hardening techniques for LEON 3 microprocessor 2014
- Efficient mitigation of data and control-Flow errors in microprocessors. 1-4. 2013
- Exploiting the debug interface to support on-line test of control flow errors. 98-103. 2013
- Control Flow Checking through Embedded Debug Interface 2011
- Using an FPGA-Based Fault Injection Technique to Evaluate Software Robustness Under SEEs: A Case Study 2011
- Coarse-Grain Dynamically Reconfigurable Coprocessor for Image Processing in SoPC 2008
-
thesis