Karina R. G. da Silva

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 1

Top Topics

Evoked Potentials

Software Development Process

Requirements Engineering

Lessons Learned

Top Venues

Publications

Antônio C. F. Silva, Cássio L. Rodrigues, Neuma Chaveiro, Renata Rodrigues de Oliveira Garcia, Soraya Bianca Duarte, Mariá A. R. Araújo, Vinícius B. Santos, Karina R. G. da Silva, Paulo M. S. Rodrigues, Luíla M. Oliveira, Caio César Silva Sousa
Lessons learned about oral-auditory and visual-spatial communication in requirements engineering with deaf stakeholders. SAC (2020)
Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher
Enhancing IP cores specifications using hierarchical composition and set theory. Des. Autom. Embed. Syst. 15 (3-4) (2011)
Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha
Improving functional verification of embedded systems using hierarchical composition and set theory. SAC (2009)
Cássio L. Rodrigues, Fábio Jorge Almeida Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher
Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. SMC (2008)
George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher
A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG-4 Decoder Design. SIGMAP (2008)
George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher
Functional verification of an MPEG-4 decoder design using a random constrained movie generator. SBCCI (2007)
Guido Araujo, Edna Barros, Elmar U. K. Melcher, Rodolfo Azevedo, Karina R. G. da Silva, Bruno O. Prado, Manoel Eusebio de Lima
A SystemC-only design methodology and the CINE-IP multimedia platform. Des. Autom. Embed. Syst. 10 (2-3) (2005)
Karina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia, Henrique do N. Cunha
A methodology aimed at better integration of functional verification and RTL design. Des. Autom. Embed. Syst. 10 (4) (2005)
Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta
An automatic testbench generation tool for a SystemC functional verification methodology. SBCCI (2004)