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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
Proceedings of the 25th IEEE International Symposium on On-Line Testing and Robust System Design, 2019
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
Proceedings of the 28th IEEE Asian Test Symposium, 2019