Skip to content

Felipe Augusto da Silva

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

5

Active years

2019–2025

Best venue rank

A

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2025ITCEarly Reliability Estimation in Hardware Accelerators using Improved Colored Petri Nets.Ernesto Cristopher Villegas Castillo, Felipe Augusto da Silva, Josie E. Rodriguez Condia, Juan-David Guerrero-Balaguera, Michael Gla
2024DDECSAn Efficient Approach for STLs Development of Automotive SoCs Using Colored Petri Nets.Ernesto Cristopher Villegas Castillo, Felipe Augusto da Silva, Michael Gla
2021IOLTSFlip Flop Weighting: A technique for estimation of safety metrics in Automotive Designs.Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer
2021ITCAn automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs.Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer
2020ETSDetermined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs.Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Sandro Sartoni, Riccardo Cantoro, Matteo Sonza Reorda, Said Hamdioui, Christian Sauer
2020VTSSpecial Session: AutoSoC - A Suite of Open-Source Automotive SoC Benchmarks.Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Annachiara Ruospo, Riccardo Mariani, Ghani Kanawati, Ernesto Snchez, Matteo Sonza Reorda, Maksim Jenihhin, Said Hamdioui, Christian Sauer
2019IOLTSEfficient Methodology for ISO26262 Functional Safety Verification.Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer