Felipe Augusto da Silva

Orcid: 0000-0002-9371-5296

According to our database1, Felipe Augusto da Silva authored at least 10 papers between 2019 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Diagnostic Coverage Estimation for Automotive SoCs Based on Colored Stochastic Petri Nets.
Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024

An Efficient Approach for STLs Development of Automotive SoCs Using Colored Petri Nets.
Proceedings of the 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems, 2024

2023
Using STLs for Effective In-Field Test of GPUs.
IEEE Des. Test, April, 2023

2021
An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs.
Proceedings of the IEEE International Test Conference, 2021

Flip Flop Weighting: A technique for estimation of safety metrics in Automotive Designs.
Proceedings of the 27th IEEE International Symposium on On-Line Testing and Robust System Design, 2021

2020
Special Session: AutoSoC - A Suite of Open-Source Automotive SoC Benchmarks.
Proceedings of the 38th IEEE VLSI Test Symposium, 2020

Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs.
Proceedings of the IEEE European Test Symposium, 2020

2019
Efficient Methodology for ISO26262 Functional Safety Verification.
Proceedings of the 25th IEEE International Symposium on On-Line Testing and Robust System Design, 2019

Untestable faults identification in GPGPUs for safety-critical applications.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification.
Proceedings of the 28th IEEE Asian Test Symposium, 2019


  Loading...