sample of publications
-
articles
- PTM-based hybrid error-detection architecture for ARM microprocessors. MICROELECTRONICS RELIABILITY. 88:925-930. 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