Karina Rocha Gomes da Silva

  • Endereço para acessar este CV: http://lattes.cnpq.br/1198784669983966
  • Última atualização do currículo em 28/08/2018


possui graduação em Ciência da Computação pela Universidade Federal de Goiás (1999), mestrado em Informática pela Universidade Federal da Paraíba (2001) e doutorado em Engenharia Elétrica pela Universidade Federal de Campina Grande (2007), com sanduíche na Universidade de Tuebingen, na Alemanha. Atualmente é professora Associada da Universidade Federal de Goiás. Tem experiência na área de Engenharia de Computação, com ênfase em Sistemas Embarcados. Suas áreas de interesse são: Verificação funcional, desenvolvimento de IP-Cores, FPGAs e Sistemas embarcados. (Texto informado pelo autor)


Identificação


Nome
Karina Rocha Gomes da Silva
Nome em citações bibliográficas
Karina R. G. da Silva;Silva, Karina R. G.;DA SILVA, KARINA

Endereço


Endereço Profissional
Universidade Federal de Goiás, Escola de Engenharia Elétrica.
Av. Universitária, n. 1488 - Quadra 86 - Bloco A
Setor Leste Universitário
74605-010 - Goiania, GO - Brasil
URL da Homepage: http://www.eee.ufg.br


Formação acadêmica/titulação


2003 - 2007
Doutorado em Engenharia Elétrica.
Universidade Federal de Campina Grande, UFCG, Brasil.
com período sanduíche em University of Tübingen (Orientador: Dr. Wolfgang Rosenstiel).
Título: Uma Metodologia de Verificação Funcional Visando o Acompanhamento do Processo de Desenvolvimento de Circuitos Digitais Integráveis, Ano de obtenção: 2007.
Orientador: Dr. Elmar Uwe Kurt Melcher.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Engenharias
1999 - 2001
Mestrado em Mestrado em Informática.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Avaliação de Desempenho de um Comutador ATM,Ano de Obtenção: 2001.
Orientador: Elmar Uwe Melcher.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1995 - 1999
Graduação em Ciência da Computação.
Universidade Federal de Goiás, UFG, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2017 - 2017
: EMICRO-SP: OFICINA USP DE FABRICAÇÃO DE CIRCUITOS INTEGRADOS MOS (TECNOLO. (Carga horária: 40h).
Universidade de São Paulo, USP, Brasil.
2010 - 2010
Curso de Formação de Docentes. (Carga horária: 54h).
Universidade Federal de Goiás, UFG, Brasil.
2005 - 2005
Curso de Alemão (Intensivkurs). (Carga horária: 175h).
Goethe-Institut, GOETHE-INSTITUT, Alemanha.
2004 - 2004
Bolsa Sanduíche.
Universidade Estadual de Campinas, UNICAMP, Brasil.


Atuação Profissional



Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

2008 - 2008
Vínculo: Professor, Enquadramento Funcional: Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2008 - Atual
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Fundamentos da Computação
Introdução ao Computador
Lógica Aplicada à Computação

LINCS/CETENE, LINCS/CETENE, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Pesquisadora, Enquadramento Funcional: Gerente de projetos, Carga horária: 40

Atividades

03/2007 - 05/2008
Pesquisa e desenvolvimento , LINCS/CETENE, .


University of Tübingen, TUEBINGEN, Alemanha.
Vínculo institucional

2005 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Estudante, Carga horária: 40

Atividades

03/2005 - 03/2006
Pesquisa e desenvolvimento , Eberhard-Karls, .

Linhas de pesquisa
Verificação Funcional

Centro de Ensino Superior e Desenvolvimento, CESED, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Professor Visitante, Enquadramento Funcional: Professor-Horista, Carga horária: 4

Atividades

03/2007 - 05/2008
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Organização de Computadores
Sistemas Multimídia

Instituto Tocantinense Presidente Antonio Carlos, ITPAC, Brasil.
Vínculo institucional

2001 - 2003
Vínculo: Professora, Enquadramento Funcional: Professora, Regime: Dedicação exclusiva.
Outras informações
Disciplinas: Computação I, Computação II para Sistemas de Informação e Informática aplicada para Administração e Ciências Contábeis.

Vínculo institucional

2001 - 2003
Vínculo: Coordenadora de Curso, Enquadramento Funcional: Coordenadora de Sistemas de Informação, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2002
Vínculo: Funcionária, Enquadramento Funcional: Encarregada pelo CPD, Carga horária: 20

Atividades

07/2001 - 06/2003
Direção e administração, Instituto Tocantinense Presidente Antonio Carlos, .

Cargo ou função
Coordenadora de curso.
07/2001 - 06/2003
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Computação I
Computação II

Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2003 - 2007
Vínculo: Pesquisadora, Enquadramento Funcional: Pesquisadora, Carga horária: 20

Atividades

03/2003 - 02/2007
Pesquisa e desenvolvimento , UFCG, .

Linhas de pesquisa
Verificação Funcional

Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Adjunto IV, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - 1998
Vínculo: Iniciação científica, Enquadramento Funcional: Estudante, Carga horária: 20
Outras informações
Prototipação de Algoritmos para Sistemas Multimídia

Vínculo institucional

1997 - 1998
Vínculo: Iniciação científica, Enquadramento Funcional: Estudante
Outras informações
Projeto e Prototipação de Algoritmos para Sistemas Multimídia

Atividades

02/2010 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Introdução aos Sistemas Embarcados
Laboratório de Circuitos Lógicos
Circuitos Lógicos
08/2009 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Orientado
Tópico: Introdução à Verificação Funcional de Sistemas Digitais
08/2009 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Digitais
09/1996 - 12/1996
Estágios , Instituto de Matemática e Física, Departamento de Estatística e Informática.

Estágio realizado
Estagiária na área de Redes de Computadores.


Linhas de pesquisa


1.
Verificação Funcional

Objetivo: Verificação Funcional de Componentes Digitais Integráveis.
Grande área: Engenharias
2.
Implementação e verificação de circuitos digitais
3.
Verificação Funcional


Projetos de pesquisa


2010 - 2012
Técnicas de apoio para a Verificação Funcional em Projetos de Circuitos Digitais
Descrição: O projejo visa desenvolver técnicas de apoio à verificação funcional de circuitos digitais na fase em que os blocos de projeto são integrados para compor um sistema maior. Estas técnicas devem ser capazes de promover o reuso estrutural de componentes de verificação, a preservação de critérios de cobertura dos blocos, a exploração de novos cenários emergentes da interação entre blocos e redução do tempo na verificação funcional das especificações do sistema..
Situação: Em andamento; Natureza: Pesquisa.
2008 - Atual
Análise de Cobertura Funcional na Fase de Integração de Blocos de Circuitos Digitais
Descrição: desenvolvimento de uma abordagem de integração de bloco que seja capaz de promover o reuso estrutural de componentes de verificação, a preservação de critérios de cobertura dos blocos, a exploração de novos cenários emergentes da interação entre blocos e redução do tempo na verificação funcional das especificações do sistema..
Situação: Em andamento; Natureza: Pesquisa.
2003 - 2008
BrazilIP - Consórcio para Formação de Talentos na Concepção e Projeto de Sistemas Digitais e Propriedade Intelectual (IPs)
Descrição: O principal objetivo deste projeto consiste no estabelecimento de uma metodologia de IP-cores baseada em normas de qualidade industriais e na formação de recursos humanos especializados em projetos de IP-cores de acordo com a metodologia mencionada. Este projeto envolve a participação de grupos de oito universidades brasileiras e está sendo coordenado pelo Centro de Informática - UFPE. Além da metodologia e formação de recursos humanos, o projeto resultará no projeto de oito IP-cores implementados com padrões de qualidade industrial (padrão VSIA). O conjunto de IP-cores resultante será: microcontrolador 8051, decodificador MPEG4, decodificador MP3, controlador USB, controlador blue-tooth, controlador LCD e NoC. Os IP-cores serão projetados como soft-cores e hard-cores...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (40) / Mestrado acadêmico: (8) .
Integrantes: Karina Rocha Gomes da Silva - Integrante / Elmar U. K. Melcher - Coordenador / Isaac Maia - Integrante / Henrique do Nascimento Cunha - Integrante / George Sobral Silveira - Integrante / Leandro M. de L. Silva - Integrante / Romulo C. P. Camara - Integrante / Maria de L. N. Neta - Integrante / Wilson Rosas de Vasconcelos Neto - Integrante / Roberto Andrade de Menezes - Integrante / Matheus Bezerra Estrela Rodrigues - Integrante / Marcos Eduardo do Prado Villarroel Zurita - Integrante / Jorgeluis Andrade Guerra - Integrante / Helder Fernando de Araújo Oliveira - Integrante / Francisco Osman Oliveira Gomes - Integrante / Fagner Luiz Avelino de Jesus Silva - Integrante / Fabrício Gutemberg Lélis de Melo - Integrante / Daniel Victor Silva de Oliveira - Integrante / Anderson Pablo Leite Silva - Integrante / Ana Karina De Oliveira Rocha - Integrante.
2003 - 2007
Cooperação PROCAD: Técnicas para Desenvolvimento de Módulos de Propriedade Intelectual
Descrição: A indústria eletrônica tem crescido nos últimos anos a uma taxa impressionante e um dos principais motivos é a incorporação de sistemas eletrônicos numa grande variedade de produtos tais como automóveis, eletrodomésticos e de comunicação, os quais são cada vez mais complexos e constituem um fator dominante no preço de alguns produtos. O desenvolvimento de tais sistemas a baixo custo exige metodologias de projeto que suportem desde a especificação até a prototipação do sistema. A falta de pessoal qualificado em técnicas de projeto tem dificultado o desenvolvimento de sistemas embutidos pela indústria nacional, o que tem ocasionado um crescente aumento nas importações. Este projeto visa a cooperação entre grupos de pesquisadores da UFPE, USP, UNICAMP e UFCG para formação de pessoal qualificado na área de concepção e projeto de sistemas embarcados através do desenvolvimento de projetos colaborativos aproveitando os diversos perfis de cada grupo. Para tornar efetiva a colaboração uma plataforma única de especificação de sistemas baseada no SystemC e um repositório de estudos de caso comum estão sendo utilizados...
Situação: Concluído; Natureza: Pesquisa.
1998 - 1998
Prototipação de Algoritmos para Sistemas Multimídia
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Karina Rocha Gomes da Silva - Integrante / Tatiana Almeida Souza Coelho Vieira - Integrante / Sibelius Lellis Vieira - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
1997 - 1998
Projeto e Prototipação de Algoritmos para Sistemas Multimídia
Descrição: Trabalho de Iniciação Científica realizado como Bolsista ITI, Nível A, do CNPq..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Karina Rocha Gomes da Silva - Integrante / Tatiana Almeida Souza Coelho Vieira - Integrante / Sibelius Lellis Vieira - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Microeletrônica.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Alemão
Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2008
Aprovação em concurso para professor efetivo na Universidade Federal de Goiás (Escola de Engenharia Elétrica), Universidade Federal de Goiás.
2007
Aprovação em concurso para professor efetivo na Universidade Federal da Paraíba, Universidade Federal da Paraíba.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
FRANCO, R. A. P.2018FRANCO, R. A. P. ; Karina R. G. da Silva ; RODRIGUES, C. L. . Genetic Algorithm applied to the Functional Verification in Digital Systems. JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS), v. 13, p. 1-9, 2018.

2.
Rodrigues, Cássio L.2011Rodrigues, Cássio L. ; Karina R. G. da Silva ; Cunha, Henrique N. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems, v. 15, p. 1-21, 2011.

3.
Karina R. G. da Silva;Silva, Karina R. G.;DA SILVA, KARINA2007 Karina R. G. da Silva; MELCHER, E. U. K. ; Isaa Maia ; Henrique do N. Cunha . A Method aimed at Better Integration of Functional Verification and RTL Design. Design Automation for Embedded Systems, v. 10, p. 285-298, 2007.

4.
ARAUJO, G. C. S.2006 ARAUJO, G. C. S. ; BARROS, E. ; MELCHER, E. U. K. ; Rodolfo Azevedo ; Karina R. G. da Silva ; Bruno Prado ; Manoel E. de Lima . A SystemC-only design methodology and the CINE-IP multimedia platform. Design Automation for Embedded Systems, v. 10, p. 181-202, 2006.

Trabalhos completos publicados em anais de congressos
1.
RODRIGUES, C. L. ; Karina R. G. da Silva . A Tool to Evaluate the Quality of Life of Deaf People using WHOQOL Instruments. In: SMC2018 (IEEE International Conference on Systems, Man, and Cybernetics), 2018, Miyazaki, Japan. SMC2018 (IEEE International Conference on Systems, Man, and Cybernetics), 2018.

2.
SOARES, G. M. ; CARDEAL, T. L. D. ; ABRANTES, L. T. S. ; ROCHA, G. G. C. ; Silva, Karina R. G. . DESENVOLVIMENTO DE UM SISTEMA EMBARCADO PARA CONVERSÃO DE ARQUIVOS TEXTO PARA GRAFIA BRAILE COM INTERFACE TÁTIL. In: Conferência de Estudos em Engenharia Elétrica (CEEL), 2017, Uberlândia. Conferência de Estudos em Engenharia Elétrica (CEEL), 2017.

3.
Marlon Petri de Lima ; Silva, Karina R. G. . IMPLEMENTAÇÃO DE UM SISTEMA DE MEDIÇÃO DE DISTÂNCIA USANDO SINAL ULTRASSÔNICO EM UMA PLATAFORMA FPGA. In: Conferência de Estudos em Engenharia Elétrica (CEEL), 2017, Uberlândia. Conferência de Estudos em Engenharia Elétrica (CEEL), 2017.

4.
AGUAS, W. G. ; Silva, Karina R. G. . PROJETO E IMPLEMENTAÇÃO DE UM ROBÔ JOGADOR DE FUTEBOL DA CATEGORIA IEEE VERY SMALL SIZE SOCCER. In: Conferencia de Estudos em Engenharia Elétrica (CEEL), 2017, Uberlândia. Conferencia de Estudos em Engenharia Elétrica (CEEL), 2017.

5.
AGUAS, W. G. ; Silva, Karina R. G. . APLICAÇÃO DE FILTRO DE KALMAN EM ACELERÔMETROS E GIROSCÓPIOS. In: Conferência de Estudos em Engenharia Elétrica (CEEL), 2017, Uberlândia. Conferência de Estudos em Engenharia Elétrica (CEEL), 2017.

6.
VALADAO, M. R. ; SILVA, V. L. C. ; SILVA, D. G. ; FIGUEIREDO, M. G. S. ; Karina R. G. da Silva . APP BABYCHAIR, MONITORAMENTO DE CADEIRINHA INTELIGENTE: UMA MEDIDA PARA SALVAR V. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2016, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2016.

7.
SULINO, D. ; Karina R. G. da Silva . An algorithm for pipe inspection using a low cost sensor. In: 5th International Conference on Mechatronics and Control Engineering, 2016, Veneza, Itália. 5th International Conference on Mechatronics and Control Engineering, 2016.

8.
SULINO, D. ; Karina R. G. da Silva . Implementação de um robô. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2016, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2016.

9.
Carolina S. Floriano ; SANTOS, P. L. ; Karina R. G. da Silva . SECURE LIFE: MONITORAMENTO DE SINAIS VITAIS ATRAVÉS DE DISPOSITIVOS MÓVEIS. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2016, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2016.

10.
DIAS, J. M. B. ; Karina R. G. da Silva . SISTEMA DE RECONHECIMENTO DE CORES BASEADO NO MÉTODO KNN. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2016, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2016.

11.
SULINO, D. ; Karina R. G. da Silva . Robot Position control in pipes using Q Learning. In: IEEE International Conference on Systems, Man, and Cybernetics, 2016, Budapeste. IEEE International Conference on Systems, Man, and Cybernetics, 2016.

12.
DOMINGOS, R. M. M. ; VIEIRA, J. L. ; Karina R. G. da Silva . Sistema de Telemetria e Navegação para Veículos Aéreos Não Tripulados. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2015, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2015.

13.
SULINO, D. ; MAZZOCCANTE, G. S. ; Karina R. G. da Silva . ESTUDO DO SENSOR DE PROXIMIDADE INFRAVERMELHO PARA PEQUENAS DISTÂNCIAS E DESCONTINUIDADES EM SUPERFÍCIES PLANAS. In: CEEL - Conferência de Estudos em Engenharia Elétrica, 2015, Uberlândia. CEEL - Conferência de Estudos em Engenharia Elétrica, 2015.

14.
FRANCO, R. A. P. ; Karina R. G. da Silva . TEMPLATES DE ALGORITMOS GENÉTICOS PARA A GERAÇÃO DE ESTÍMULOS APLICADOS À VERIFICAÇÃO FUNCIONAL DE DISPOSITIVOS. In: Conferência de estudos em Engenharia Elétrica, 2014, Uberlândia. Conferência de estudos em Engenharia Elétrica, 2014.

15.
FRANCO, R. A. P. ; BRITO, A. F. ; Karina R. G. da Silva ; RODRIGUES, C. L. . GETTING A BETTER STIMULI GENERATION BY MEANS OF GENETIC ALGORITHM. In: 11th International Conference Applied Computing 2014 (AC 2014), 2014, Porto. 11th International Conference Applied Computing 2014 (AC 2014), 2014.

16.
BRITO, A. F. ; FRANCO, R. A. P. ; Silva, Karina R. G. . Using Genetic Algorithm in Functional Verification to reach high level functional coverage. In: Simpósio Sul de Microeletrônica, 2013, Porto Alegre. Simpósio Sul de Microeletrônica, 2013.

17.
BRITO, A. F. ; Cleiry Carvalho ; Silva, Karina R. G. . O USO DO CONTEXTO COMO FERRAMENTA AUXILIAR NO COMBATE AS ALTAS TAXAS DE REPROVAÇÃO DOS ESTUDANTES UNIVERSITÁRIOS DOS CURSOS DE ENGENHARIA. In: CONGRESSO BRASILEIRO DE EDUCAÇÃO EM ENGENHARIA - COBENGE 2013, 2013, Gramado. EDUCAÇÃO EM ENGENHARIA NA ERA DO CONHECIMENTO, 2013.

18.
Rafael Mendanha ; Cabral, K. M. ; Adriano César Santana ; Silva, Karina R. G. . Análise dos Softwares mais Utilizados em um Curso de Engenharia de Computação. In: CONGRESSO BRASILEIRO DE EDUCAÇÃO EM ENGENHARIA - COBENGE 2013, 2013, Gramado. EDUCAÇÃO EM ENGENHARIA NA ERA DO CONHECIMENTO, 2013.

19.
BRITO, A. F. ; Adriano César Santana ; Karina R. G. da Silva . Microeletrônica e Semicondutores: um paralelo entre o mercado brasileiro e o ensino em Engenharia de Computação. In: COBENGE - Congresso Brasileiro de Educação em Engenharia, 2012, Belém. COBENGE - Congresso Brasileiro de Educação em Engenharia, 2012.

20.
BRITO, A. F. ; SOUZA, R. ; Karina R. G. da Silva . FUNCTIONAL VERIFICATION OF VERILOG DESIGN USING A VERISC METHODOLOGY TESTBENCH APPROACH. In: SForum, 2012, Brasília. SForum, 2012.

21.
Marcelo P. Barros ; MARTINS, A. M. ; Karina R. G. da Silva ; RODRIGUES, C. L. ; Adriano César Santana . Graphical Environment tool for testbench conception. In: SForum, 2012, Brasilia. SForum, 2012.

22.
Adriano César Santana ; Marcelo S. Castro ; Karina R. G. da Silva ; Marcos A. Sousa ; Humberto A. Junior . IMPLEMENTING PROJECT-BASED LEARNING (PJBL) IN THE MECHANICAL ENGINEERING WITH FOCUS ON SEVERAL COMPETENCES. In: 40º IGIP Simpósio Internacional de Educação em Engenharia, 2011, Santos. 40º IGIP Simpósio Internacional de Educação em Engenharia, 2011.

23.
Adriano César Santana ; Karina R. G. da Silva ; CASTRO, M. S. ; DEUS, G. A. ; RODRIGUES, C. L. . DIAGNÓSTICO DO DESEMPENHO DISCENTE EM UM CURSO DE ENGENHARIA DE. In: XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011, Blumenau. XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011.

24.
Rodrigues, Cássio L. ; Karina R. G. da Silva ; FIGUEIREDO, J. C. A. ; GUERREIRO, D. S. ; Melcher, Elmar . Refactoring VeriSC Testbenches to Improve the Functional Verification during the Integration Phase. In: IECON - 37th Annual Conference of the IEEE Industrial Electronics Society, 2011, Melbourne. 37th Annual Conference of the IEEE Industrial Electronics Society, 2011.

25.
FRANCO, R. A. P. ; Karina R. G. da Silva . Uso do protocolo AMBA na metodologia VeriSC para melhorar o processo de verificação funcional de sistemas embarcados. In: 63ª Reunião Anual da SBPC, 2011, Goiania. 63ª Reunião Anual da SBPC, 2011.

26.
Karina R. G. da Silva; RODRIGUES, C. L. . BIBLIOTECA DE COBERTURA FUNCIONAL PARA SYSTEMC APLICADA NA VERIFICAÇÃO DE UM DECODIFICADOR DE VÍDEO MPEG4. In: VIII Conferência de Estudos em Engenharia Elétrica, 2010, Uberlândia. VIII Conferência de Estudos em Engenharia Elétrica, 2010.

27.
RODOVALHO, A. C. ; PEREIRA, A. B. M. ; Karina R. G. da Silva . ESTUDO HEURÍSTICO DA CLASSIFICAÇÃO AUTOMÁTICA DE ÁUDIO DIGITAL. In: VIII Conferência de Estudos em Engenharia Elétrica, 2010, Uberlândia. VIII Conferência de Estudos em Engenharia Elétrica, 2010.

28.
RODRIGUES, C. L. ; Karina R. G. da Silva ; Henrique do N. Cunha ; FIGUEIREDO, J. C. A. ; GUERREIRO, D. S. ; MELCHER, E. U. K. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: ACM Symposium on Applied Computing (SAC09), 2009, Hawaii. ACM Symposium on Applied Computing (SAC09), 2009. p. 823-827.

29.
SILVEIRA, G. S. ; Karina R. G. da Silva ; MELCHER, E. U. K. . A Random Constrained Movie versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG4 decoder design. In: International Conference on Signal Processing and Multimedia Applications (SIGMAP 2008), 2008, Porto, Portugal. SIGMAP 2008, 2008.

30.
RODRIGUES, C. L. ; MAX, L. ; MARAIS, F. J. ; Karina R. G. da Silva ; GUERREIRO, D. S. ; FIGUEIREDO, J. C. A. ; MELCHER, E. U. K. . Functional Verification Methodology using Hierarchical Coloured Petri Nets-based Testbenches. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008, Cingapura. SMC 2008, 2008.

31.
SILVEIRA, G. S. ; Karina R. G. da Silva ; MELCHER, E. U. K. . Functional Verification of an MPEG-4 Decoder Design using a Random Constrained Movie Generator. In: SBCCI, 2007, Rio de Janeiro. Proceedings of the 20th symposium on Integrated circuits and system design, 2007.

32.
Leandro M. de L. Silva ; Romulo C. P. Camara ; Maria de L. N. Neta ; Helder F. de A. Oliveira ; Fabrício G. L. de Melo ; Karina R. G. da Silva ; MELCHER, E. U. K. . An MPEG-4 decoder design verification using functional coverage. In: SFORUM 2007, 2007, Rio de Janeiro. SFORUM 2007, 2007.

33.
Isaa Maia ; Karina R. G. da Silva ; Leandro M. de L. Silva ; Romulo C. P. Camara ; MELCHER, E. U. K. . eTBc: A Semi-Automatic Testbench Generation Tool. In: IP 07 (IP Based Eletronic System), 2007, Grenoble. IP 07 (IP Based Eletronic System), 2007.

34.
Karina R. G. da Silva; MELCHER, E. U. K. ; ARAUJO, G. C. S. ; PIMENTA, V. A. . An automatic testbench generation tool for a SystemC functional verification methodology. In: SBCCI 2004, 2004, Porto de Galinhas. Proceedings of the 17th symposium on Integrated circuits and system design, 2004. p. 66-70.

Resumos expandidos publicados em anais de congressos
1.
FRANCO, R. A. P. ; Karina R. G. da Silva . Verificação Funcional utilizando estímulos guiados por meio de Algoritmos Genéticos. In: XI CONPEEX - Congresso de Pesquisa, Ensino e Extensão, 2014, Goiânia. XI CONPEEX - Congresso de Pesquisa, Ensino e Extensão, 2014.

2.
BRITO, A. F. ; SOUZA, R. ; Karina R. G. da Silva . Metodologia simples para aprendizado de microcontroladores: hardware open source. In: Congresso de Pesquisa, Ensino e Extensão - CONPEEX, 2010, Goiânia. Congresso de Pesquisa, Ensino e Extensão - CONPEEX, 2010.

3.
Karina R. G. da Silva; RODRIGUES, C. L. ; MELCHER, E. U. K. . Uma Metodologia para Suporte ao Ensino de Projeto de Circuitos Integrados Apoiada em Ferramentas de Código Aberto. In: Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa. Simpósio Brasileiro de Informática na Educação, 2010.

Resumos publicados em anais de congressos
1.
SULINO, D. ; Karina R. G. da Silva . ALGORITMO E SENSOR PARA INSPEÇÃO DE TUBULAÇÕES. In: Conpeex- Congresso de Ensino e Pesquisa da UFG, 2016, GOIânia. Conpeex- Congresso de Ensino e Pesquisa da UFG, 2016.

Apresentações de Trabalho
1.
Karina R. G. da Silva; MELCHER, E. U. K. . Coverage-driven functional verification using a SystemC functional coverage library. 2007. (Apresentação de Trabalho/Simpósio).

2.
Karina R. G. da Silva; COELHO, T. A. S. ; VIEIRA, S. L. . Modelagem de Linux Tempo-real. 1998. (Apresentação de Trabalho/Simpósio).


Produção técnica
Programas de computador sem registro
1.
Isaa Maia ; Karina R. G. da Silva ; MELCHER, E. U. K. . eTBc - Uma ferramenta para geração automática de testbenches. 2005.

2.
Karina R. G. da Silva; MELCHER, E. U. K. . Ferramenta VeriSC para geração de templates para testbench. 2004.


Demais tipos de produção técnica
1.
Karina R. G. da Silva. Verificação funcional de Sistemas Digitais: Metodologia Brazil-IP. 2007. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Karina R. G. da Silva; gelson da Cruz Junior; PIRES, S. R.. Participação em banca de Vinicius Ataides Reis. PROPOSTA DE UM AMBIENTE MULTIAGENTE PARA A MONITORAÇÃO ANALÍTICA DE INDICADORES GERENCIAIS E DE APOIO À DECISÃO PARA UMA EMPRESA DO SETOR ELÉTRICO. 2018. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

2.
gelson da Cruz Junior; VINHAL, C. D. Cassio Dener Noronha VinhalN.; Karina R. G. da Silva; SOARES, F.. Participação em banca de Carlos Alberto de Sousa Parente Rodrigues. implementação de redes Convolucionais para a segmentação de imagens em tempo real com vistas à aplicação em robôs autônomos com dispositivo de visão de baixo custo. 2018. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

3.
Djones Vinicius Lettnim; Fabian Leonardo Cabrera Riamo; Héctor Pettenghi Roldán; Karina R. G. da Silva. Participação em banca de Jeferson Santos Barrou. Matodologia de verificação adaptativa para circuitos de sinais mistos baseado na metodologia de verificação universal. 2018. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

4.
Rodrigo Pinto Lemos; Flávio Geraldo Coelho Rocha; Karina R. G. da Silva; Claudio Afonso Fleury; Hugo Vinícius Leão e Silva; Flávio Henrique Teles Vieira. Participação em banca de Andre Almeida Souza Coelho. Avaliação do Efeito de Acoplamento Eletromagnético sobre a Estimação de Ângulos de Incidência de Ondas Planas. 2018. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

5.
Silva, Karina R. G.; Djones Vinicius Lettnim; gelson da Cruz Junior. Participação em banca de DANILO SULINO SILVEIRA PINTO. Sistema Robotizado Autônomo para Inspeção de Tubulações. 2017. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

6.
gelson da Cruz Junior; Silva, Karina R. G.; SOARES, F.. Participação em banca de FERNANDO HENRIQUE FERNANDES DE CAMARGO. Aplicação de Meta Heurísticas na Otimização Multiobjetivo de Sistemas Hidrotérmicos. 2017. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

7.
CORDEIRO, L. C.; Karina R. G. da Silva; MORAES, R.; LETTNIN, D.. Participação em banca de Rogério Paludo. Metodologia para Verificação funcional antecipada de software embarcado combinando plataformas virtuais e verificação formal. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

8.
gelson da Cruz Junior; Karina R. G. da Silva; Leonardo Napomuceno. Participação em banca de Guilherme Resende Deus. Otimização de Sistemas Hidrotermicos de Geração POr meio de Meta-Heurísticas Baseadas em Enxame de Partículas.. 2016. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

9.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. Participação em banca de Edson da Silva Ramos. Modelo de Otimização e simulação dinâmicos para Sistemas Hidrotérmicos. 2016. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

10.
LETTNIN, D.; Karina R. G. da Silva; CORDEIRO, L. C.; MORAES, R.. Participação em banca de Rogério Paludo. METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL. 2016. Dissertação (Mestrado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

11.
LETTNIN, D.; Karina R. G. da Silva; GUNTZEL, J. L. A.; MORAES, R.. Participação em banca de Fabrízio Piccoli Maziero. Geração Automática de testes baseada em algoritmos genéticos para verificação funcional. 2016. Dissertação (Mestrado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

12.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. Participação em banca de Sirlon Thiago. .. 2015. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

13.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. Participação em banca de Filipe Marinho de Brito. Faraday: Sistema de Suporte à Manipulação de Dados do Setor Elétrico Brasileiro. 2013. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

Qualificações de Mestrado
1.
Karina R. G. da Silva; Gabriel Luis Castiglioni; Marco Antônio assflak de Oliveira. Participação em banca de Marlon Petri de Lima. Caracterização e controle de secagem de insumo farmaceutico. 2018. Exame de qualificação (Mestrando em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

2.
Karina R. G. da Silva; Djones Vinicius Lettnim; OLIVEIRA, M. A. A.. Participação em banca de Walisson Gobbo de Águas. Aplicação de FPGA para controle de Sistemas Embarcados Multiagentes. 2018. Exame de qualificação (Mestrando em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.

Trabalhos de conclusão de curso de graduação
1.
Karina R. G. da Silva; FIGUEIREDO, M. G. S.. Participação em banca de Yuri Oliveira Borborema.Dispositivo BLE para mobilidade interna de deficientes visuais. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

2.
Sérgio Granato de Araújo; Kamylla Lorrany Sousa Prado; Silva, Karina R. G.. Participação em banca de : KLEBER LIMA DE OLIVEIRA e NICOLE SILVA TANNUS.SISTEMA DE MONITORAMENTO DE UMIDADE E TEMPERATURA DE SOLOS. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

3.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior; MELO, F. F.. Participação em banca de JOSE CARLOS DOS S. M. DE TOLEDO NETO e WELTON ARISTIDES SIL.INTERAÇÃO HOMEM-MÁQUINA COM USO DE ARDUINO, ACELERÔMETRO E GIROSCÓPIO. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

4.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior. Participação em banca de JOSE CARLOS DOS S. M. DE TOLEDO NETO e WELTON ARISTIDES SILV.LUVA DE INTERAÇÃO HOMEM-MÁQUINA COM USO DE ARDUINO, ACELERÔMETRO E GIROSCÓPIO. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

5.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior; MELO, F. F.. Participação em banca de HENRIQUE DOS SANTOS DIAS e IGOR FERREIRA DA SILVA NUNES.BENGALA DIGITAL COM DETECTOR DE OBSTÁCULOS. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

6.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de Arthur Mulser.Soberano - Gerencimanto de Rebanho. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

7.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de Henrique Graciano.Soberano - Gerencimento de Rebanho. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

8.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de Marco Antônio Araújo.Percepção Direcional do som utilizando sistema computacional. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

9.
Karina R. G. da Silva; MELO, F. F.; NEGRETE, L. P. G.. Participação em banca de Jéssica Maiara.Sistema de reconhecimento de cores baseado no método KNN. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

10.
Karina R. G. da Silva; MELO, F. F.; NEGRETE, L. P. G.. Participação em banca de Marcelo Vinícius de Paula.Implementação de um controlador de faturamento com a utilização de um leitor de etiquetas RFID, estabelecido com Arduíno, SQL e C#. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

11.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. Participação em banca de Rafael Sobrinho Mendanha.Implementação de um sistema de monitoramento veicular baseado em GPS, GPRS e Java. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

12.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. Participação em banca de Carolina Souza Floriano e Patrícia Loiola Santos.Monitoramento de Sinais Vitais através de dispositivos móveis e Webservice. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

13.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. Participação em banca de José Luis Vieira Sobrinho e Ruan Michel Martins Domingos.Sistema de Telemetria e navegação para veículos aéreos não tripulados. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

14.
Adriano César Santana; Karina R. G. da Silva. Participação em banca de Ana Gabriella F. Hoffmann.Robô Guia para Espaços Habitados. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

15.
Adriano César Santana; BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de Marco Antônio Araujo de Souza.Localização da Fonte Sonora Utilizando Sistema Computacional. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

16.
Adriano César Santana; Karina R. G. da Silva. Participação em banca de Patrícia Loiola Santos.Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

17.
Adriano César Santana; Karina R. G. da Silva. Participação em banca de Carolina Souza Floriano.Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

18.
LEITAO JUNIOR, P. S.; RODRIGUES, C. L.; Silva, Karina R. G.. Participação em banca de Diogo Machado de Freitas.Aspectos teóricos de teste de software: uma perspectiva de critérios de adequação. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

19.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de JOSÉ LUÍS VIEIRA SOBRINHO.SISTEMA DE TELEMETRIA E NAVEGAÇÃO PARA VEÍCULOS AÉREOS NÃO TRIPLULADOS. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

20.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de RUAN MICHEL MARTINS DOMINGOS.SISTEMA DE TELEMETRIA E NAVEGAÇÃO PARA VEÍCULOS AÉREOS NÃO TRIPLULADOS. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

21.
BADAN, T. A. C.; Karina R. G. da Silva. Participação em banca de Jéssica Maiara B. Dias.Sistema Identificador de Cores. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

22.
Karina R. G. da Silva; Adriano César Santana; Thyago Carvalho Marques. Participação em banca de DAN NUNES DE SOUZA PARANHOS.TECNOLOGIA PARA GESTÃO DE NEGÓCIOS: IMPLANTAÇÃO DE BALANCED SCORECARD. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

23.
Karina R. G. da Silva; RODRIGUES, C. L.; LEITAO JUNIOR, P. S.. Participação em banca de Diogo Machado de Freitas.Aspectos teóricos de teste de software: uma perspectiva de critérios de adequação. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.

24.
BADAN, T. A. C.; Karina R. G. da Silva; CARDOSO, A. A.. Participação em banca de Luiz Henrique Ritter Kowalski..Projeto e desenvolvimento de uma plataforma para validação de ingressos. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

25.
NERIS, J. W. L.; SOUZA, G. S. S. E.; Karina R. G. da Silva. Participação em banca de Anderson Oliveira Sousa.CAPTURA DE IMAGENS GEORREFERENCIADAS USANDO MICROCONTROLADOR. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

26.
Karina R. G. da Silva; BADAN, T. A. C.. Participação em banca de Ricardo Augusto Pereira Franco.Microcontrolador Aplicado à Automação via Protocolo Ethernet. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

27.
Marcelo Stehling de Castro; Rodrigo Pinto Lemos; Karina R. G. da Silva. Participação em banca de Haniel Lúcio Meneses Lopes.AUTOMAÇÃO RESIDENCIAL COM CONTROLE VIA WEB. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

28.
Marcelo Stehling de Castro; Rodrigo Pinto Lemos; Karina R. G. da Silva. Participação em banca de AUTOMAÇÃO RESIDENCIAL COM CONTROLE VIA WEB.AUTOMAÇÃO RESIDENCIAL COM CONTROLE VIA WEB. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

29.
PIRES, S. R.; Adriano César Santana; Karina R. G. da Silva. Participação em banca de Junio Santana Antonelli.Principios de Funcionamento de Sistemas de Captura do Movimento. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

30.
Karina R. G. da Silva; BADAN, T. A. C.; Marcus Fraga Vieira; OLIVEIRA, M. A. A.. Participação em banca de Alexandre Vinicius Vieira de Oliveira.EMG Mobile. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

31.
Karina R. G. da Silva; BADAN, T. A. C.; Marcus Fraga Vieira; OLIVEIRA, M. A. A.. Participação em banca de Luiz Paulo Rosa Abrantes.EMG Mobile. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

32.
Karina R. G. da Silva; BADAN, T. A. C.. Participação em banca de João Neto.Servidor web para redes sociais 3D. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

33.
BADAN, T. A. C.; Karina R. G. da Silva; gelson da Cruz Junior. Participação em banca de Mauricio B. de Jesus e Pablo Leonardo M. da Cruz Lima.Sistema de Segurança com Webcam - SisCam. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

34.
PIRES, S. R.; Karina R. G. da Silva; Thyago Carvalho Marques. Participação em banca de Mikhail Seiti Nonaka Ferreira.Introdução ao GPGPU. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

35.
Augusto Silva; Karina R. G. da Silva; JUKEMURA, A. S.. Participação em banca de Felipe Fernandes da Costa.Implementação de uma ISA em FPGA. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica de Goiás.

36.
Augusto Silva; Karina R. G. da Silva; JUKEMURA, A. S.. Participação em banca de Mario Mikio Hato.Implementação de uma ISA em FPGA. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica de Goiás.

37.
Karina R. G. da Silva; NOGUEIRA, R. G.; BADAN, T. A. C.. Participação em banca de Fabiana Rocha de Andrade e Silva e Murillo Victor Pinto.Projeto de uma rede WI-FI com autenticação de acesso e monitoramento estatístico via web. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.

38.
Karina R. G. da Silva; QUEIROZ, B. C. N.; FIGUEIREDO, J. C. A.. Participação em banca de Fábio Jorge Almeida Morais.Estudo e Implementação de Cobertura de Execução na Verificação Funcional baseada em Redes de Petri Coloridas. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.



Participação em bancas de comissões julgadoras
Concurso público
1.
Karina R. G. da Silva; MELO, F. F.; BORGES, T. T.. Concurso para professor Adjunto da Escola de Engenharia Elétrica, Mecânica e de Computação da Universidade Federal de Goiás. 2016. Universidade Federal de Goiás.

2.
Thyago Carvalho Marques; PIRES, S. R.; Karina R. G. da Silva. Concurso de Sistemas de Computação e Teoria da Computação. 2010. Universidade Estadual de Goiás.

3.
Thyago Carvalho Marques; PIRES, S. R.; Karina R. G. da Silva. Concurso de Arquitetura de Computadores e Sistema de Informação. 2010. Universidade Estadual de Goiás.

4.
Thyago Carvalho Marques; PIRES, S. R.; Karina R. G. da Silva. Concurso de Sistemas de Informação e Banco de Dados. 2010. Universidade Estadual de Goiás.

Outras participações
1.
Karina R. G. da Silva; MOREIRA, C. S.; Rômulo Pires Coelho Ferreira. MEMBRO DE BANCA DE CONCURSO PARA DOCENTE EFETIVO EM SISTEMAS EMBARCADOS. 2011. Universidade Federal da Paraíba.

2.
GUERREIRO, D. S.; Karina R. G. da Silva; BARBOSA, P. E. E. S.. Workshop de Teses e Dissertações da COPIN (VI WDCOPIN). 2007. Universidade Federal de Campina Grande.

3.
Karina R. G. da Silva; RODRIGUES, C. L.; MACHADO, P. D. L.. Workshop de Teses e Dissertações da COPIN (VI WDCOPIN). 2007. Universidade Federal de Campina Grande.

4.
Karina R. G. da Silva; FECHINE, J. M.; SPOHN, M. A.. Workshop de Teses e Dissertações da COPIN (V WDCOPIN). 2006. Universidade Federal de Campina Grande.



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Walisson Gobbo de Aguas. Controle de Robôs usando FPGA. Início: 2017. Dissertação (Mestrado profissional em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Marlon Petri de Lima. Estudos de sinais usando FPGA. Início: 2017. Dissertação (Mestrado profissional em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás. (Orientador).

Trabalho de conclusão de curso de graduação
1.
MATHEUS RODRIGUES VALADAO. RECONHECIMENTO DE ÔNIBUS usando BLE. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. (Orientador).

Orientações de outra natureza
1.
VITOR RAFAEL GONCALVES RODRIGUES. Orientação de monitoria em Circuitos Lógicos. Início: 2018. Orientação de outra natureza. Universidade Federal de Goiás. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Danilo Sulino. .Sistema Robotizado Autônomo para Inspeção de Tubulações. 2015. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás. Orientador: Karina Rocha Gomes da Silva.

2.
Ricardo Pereira Franco. Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC. 2012. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Karina Rocha Gomes da Silva.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Gleice Elizabeth Andrade Costa. Análise da Usabilidade de portais de compras no Brasil. 2012. Monografia. (Aperfeiçoamento/Especialização em Tecnologias para a gestão de negócios) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

2.
Luiz Cláudio Moura Santos. Tecnologia da Informação e desenvolvimento local: O comércio eletrônico em prol do comércio justo. 2012. Monografia. (Aperfeiçoamento/Especialização em Tecnologias para a gestão de negócios) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

3.
Liliany Dias Machado. A Tecnologia da Informação no Mundo da Moda. 2012. Monografia. (Aperfeiçoamento/Especialização em Tecnologias para a gestão de negócios) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

Trabalho de conclusão de curso de graduação
1.
Yuri Oliveira Borborema. BLE para mobilidade interna de deficientes visuais. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

2.
HENRIQUE DOS SANTOS DIAS. BENGALA DIGITAL COM DETECTOR DE OBSTÁCULOS. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

3.
IGOR FERREIRA DA SILVA NUNES. BENGALA DIGITAL COM DETECTOR DE OBSTÁCULOS. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

4.
Carolina Souza Floriano. Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

5.
Patrícia Loiola Santos. Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

6.
JOSÉ LUÍS VIEIRA SOBRINHO. SISTEMA DE TELEMETRIA E NAVEGAÇÃO PARA VEÍCULOS AÉREOS NÃO TRIPLULADOS. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

7.
RUAN MICHEL MARTINS DOMINGOS. SISTEMA DE TELEMETRIA E NAVEGAÇÃO PARA VEÍCULOS AÉREOS NÃO TRIPLULADOS. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

8.
Jéssica Maiara B. Dias. Sistema Identificador de Cores. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

9.
Marcelo Vinícius de Paula. Controle de Supermercado usando Arduíno. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

10.
Rafael Sobrinho Mendanha. Monitoramento de veículos terrestres. 2015. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

11.
Adriana Ferreira de Brito. PFC1: ALGORITMO GENÉTICO APLICADO À VERIFICAÇÃO FUNCIONAL. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

12.
Rafael Sobrinho Mendanha. Implementação do Protocolo RS232 em FPGA. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

13.
Glauco Troncha Camargo. Emprego de técnicas de prototipação de sistemas embarcados na implementação de um processador de propósito específico. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

14.
Vinícius Clementino Morais e Cunha. Emprego de técnicas de prototipação de sistemas embarcados na implementação de um processador de propósito específico. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

15.
André Campos Rodovalho. Classificação de áudio digital e geração de listas de reprodução. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

16.
Marcio Egidio. Classificação de áudio digital e geração de listas de reprodução. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

Iniciação científica
1.
GABRIEL GOMES CRUZ DA ROCHA. Implementação de uma impressora Braille usando Arduíno. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

2.
LUCAS THADEU DA SILVA ABRANTES. Implementação de uma impressora Braille usando Arduíno. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

3.
THUANNY LUIZA DANIEL CARDEAL. Implementação de uma impressora Braille usando Arduíno. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

4.
GABRIEL MARANHÃO SOARES. Implementação de uma impressora Braille usando Arduíno. 2017. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

5.
Matheus Rodrigues Valadão. Agregação de receptores bluetooth 4.0 com FPGA (Field Programmable Gate Array) para recepção de sinais pelo controlador. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

6.
Diego Godoy Silva. Uso de Verilog para implementação de sistema de comunicação em FPGA. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

7.
Vagner Luciano da Costa Silva. Estudo e implementação de alarme para proteção no transporte de incapaz. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

8.
Adriana Ferreira de Brito. Utilização de Algoritmos Evolucionários na Verificação Funcional de Sistemas Embarcados. 2012. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

9.
Adriana Ferreira de Brito. Verificação funcional de Sistemas Embarcados usando linguagem Verilog. 2011. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

10.
Raphael de Souza Neves. Estudo e documentação de técnicas para o ensino de síntese lógica em sistemas embarcados. 2011. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

11.
RICARDO AUGUSTO PEREIRA FRANCO. Uso do protocolo AMBA na metodologia VeriSC para melhorar o processo de verificação funcional de sistemas embarcados. 2010. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

Orientações de outra natureza
1.
Amanda Barbosa Morais. Estágio supervisionado. 2018. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

2.
JOSE CARLOS DOS SANTOS MARCONDES DE TOLEDO NETO. Supervisora de estágio. 2017. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.

3.
HENRIQUE DOS SANTOS DIAS. Coordenadora de estágio. 2017. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Goiás. Orientador: Karina Rocha Gomes da Silva.




Página gerada pelo Sistema Currículo Lattes em 17/01/2019 às 4:06:41