An automatic testbench generation tool for a SystemC functional verification methodology. - Karina R. G. da Silva; Elmar U. K. Melcher; Guido Araujo; Valdiney Alves Pimenta (SBCCI, 2004)

A SystemC-only design methodology and the CINE-IP multimedia platform. - Guido Araujo; Edna Barros; Elmar U. K. Melcher; Rodolfo Azevedo; Karina R. G. da Silva; Bruno O. Prado; Manoel Eusébio de Lima (Des. Autom. Embed. Syst., 2005)

A methodology aimed at better integration of functional verification and RTL design. - Karina R. G. da Silva; Elmar U. K. Melcher; Isaac Maia; Henrique do N. Cunha (Des. Autom. Embed. Syst., 2005)

Functional verification of an MPEG-4 decoder design using a random constrained movie generator. - George Sobral Silveira; Karina R. G. da Silva; Elmar U. K. Melcher (SBCCI, 2007)

A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG-4 Decoder Design. - George Sobral Silveira; Karina R. G. da Silva; Elmar U. K. Melcher (SIGMAP, 2008)

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. - 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 (SMC, 2008)

Improving functional verification of embedded systems using hierarchical composition and set theory. - Cássio L. Rodrigues; Karina R. G. da Silva; Henrique do N. Cunha (SAC, 2009)

Enhancing IP cores specifications using hierarchical composition and set theory. - 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 (Des. Autom. Embed. Syst., 2011)

Robot position control in pipes using Q Learning. - Danilo Sulino Silveira Pinto; Karina R. G. da Silva (SMC, 2016)

A Tool to Evaluate the Quality of Life of Deaf People Using WHOQOL Instruments. - Neuma Chaveiro; Cássio Leonardo Rodrigues; Soraya Bianca Duarte; Renata Rodrigues de Oliveira Garcia; Adriana Ribeiro de Freitas; Lucas Rodrigues de Oliveira; Karina R. G. da Silva; Celmo Celeno Porto (SMC, 2018)

Lessons learned about oral-auditory and visual-spatial communication in requirements engineering with deaf stakeholders. - 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 (SAC, 2020)

A software acceptance testing approach with accessibility for the deaf. - Lívia Fernanda de Oliveira; Cássio Leonardo Rodrigues; Karina R. G. da Silva (Univers. Access Inf. Soc., 2025)