Diógenes Cecilio da Silva Júnior

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Formal Verification

Gaussian Mixture

Temporal Properties

Expectation Maximisation

Top Venues

Publications

Alex Vidigal Bastos, Cristiano M. Silva, Diógenes Cecilio da Silva Júnior
NAR: Algoritmo de Roteamento Assistido para Comunicação D2D em Redes Celulares de 5G. SBRC (2018)
Alair Dias Junior, Diógenes Cecilio da Silva Júnior
Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs. ISVLSI (2013)
Alair Dias Junior, Diógenes Cecilio da Silva Júnior
A guiding heuristic for the semi-formal verification of high-level designs. LATW (2012)