Non-intrusive fault tolerance in soft processors through circuit duplication F Ferlini, FA da Silva, EA Bezerra, DV Lettnin 2012 13th Latin American Test Workshop (LATW), 1-6, 2012 | 18 | 2012 |
Special session: AutoSoC-a suite of open-source automotive SoC benchmarks FA da Silva, AC Bagbaba, A Ruospo, R Mariani, G Kanawati, E Sanchez, ... 2020 IEEE 38th VLSI Test Symposium (VTS), 1-9, 2020 | 12 | 2020 |
Combining fault analysis technologies for ISO26262 functional safety verification FA Da Silva, AC Bagbaba, S Hamdioui, C Sauer 2019 IEEE 28th Asian Test Symposium (ATS), 129-1295, 2019 | 12 | 2019 |
Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs FA da Silva, AC Bagbaba, S Sartoni, R Cantoro, MS Reorda, S Hamdioui, ... 2020 IEEE European Test Symposium (ETS), 1-6, 2020 | 11 | 2020 |
Using STLs for effective in-field test of GPUs JER Condia, FA Da Silva, AÇ Bağbaga, JD Guerrero-Balaguera, ... IEEE Design & Test 40 (2), 109-117, 2022 | 7 | 2022 |
Efficient methodology for ISO26262 functional safety verification FA Da Silva, AC Bagbaba, S Hamdioui, C Sauer 2019 IEEE 25th International Symposium on On-Line Testing and Robust System …, 2019 | 6 | 2019 |
Untestable faults identification in GPGPUs for safety-critical applications JER Condia, FA Da Silva, S Hamdioui, C Sauer, MS Reorda 2019 26th IEEE International Conference on Electronics, Circuits and Systems …, 2019 | 5 | 2019 |
Automated Identification of Application-Dependent Safe Faults in Automotive Systems-on-a-Chips AC Bagbaba, F Augusto da Silva, M Sonza Reorda, S Hamdioui, ... Electronics 11 (3), 319, 2022 | 4 | 2022 |
Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262 FA da Silva, AC Bagbaba, S Hamdioui, C Sauer 2018 Design and Verification Conference and Exhibition (DVCon) Europe …, 2018 | 2 | 2018 |
A systematic method to generate effective stls for the in-field test of can bus controllers FA da Silva, R Cantoro, S Hamdioui, S Sartoni, C Sauer, M Sonza Reorda Electronics 11 (16), 2481, 2022 | 1 | 2022 |
An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs FA da Silva, AC Bagbaba, S Hamdioui, C Sauer 2021 IEEE International Test Conference (ITC), 329-333, 2021 | 1 | 2021 |
Flip Flop Weighting: A technique for estimation of safety metrics in Automotive Designs FA da Silva, AC Bagbaba, S Hamdioui, C Sauer 2021 IEEE 27th International Symposium on On-Line Testing and Robust System …, 2021 | 1 | 2021 |
Eda tools and methodologies for reliable nanoelectronic systems FA da Silva | | 2022 |
Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262 F Augusto da Silva, AC Bagbaba, S Hamdioui, C Sauer DVCon Europe 2018, 2018 | | 2018 |
COMPUTADOR DE BORDO PARA AGRICULTURA DE PRECISÃO FA DA SILVA, PRC VILLA, V TOFFOLO, FS DE CASTRO, EA BEZERRA | | |