Karina Rocha Gomes da Silva
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 IV 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.
Informações coletadas do Lattes em 25/05/2024
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
2003 - 2007
Universidade Federal de Campina Grande
Título: Uma Metodologia de Verificação Funcional Visando o Acompanhamento do Processo de Desenvolvimento de Circuitos Digitais Integráveis
Orientador: em University of Tübingen ( Dr. Wolfgang Rosenstiel)
com Dr. Elmar Uwe Kurt Melcher. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Engenharias
Mestrado em Mestrado em Informática
1999 - 2001
Universidade Federal de Campina Grande
Título: Avaliação de Desempenho de um Comutador ATM, Ano de Obtenção: 2001
Elmar Uwe Melcher.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Graduação em Ciência da Computação
1995 - 1999
Universidade Federal de Goiás
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.
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.
Áreas de atuação
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Microeletrônica.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
Participação em bancas
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. 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.
Karina R. G. da Silva; gelson da Cruz Junior; PIRES, S. R.. 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.
gelson da Cruz Junior; VINHAL, C. D. Cassio Dener Noronha VinhalN.;Karina R. G. da Silva; SOARES, F.. 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.
Djones Vinicius Lettnim; Fabian Leonardo Cabrera Riamo; Héctor Pettenghi Roldán;Karina R. G. da Silva. 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.
Silva, Karina R. G.; Djones Vinicius Lettnim; gelson da Cruz Junior. 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.
gelson da Cruz Junior;Silva, Karina R. G.; SOARES, F.. 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.
gelson da Cruz Junior;Karina R. G. da Silva; Leonardo Napomuceno. 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.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. 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.
LETTNIN, D.;Karina R. G. da Silva; CORDEIRO, L. C.; MORAES, R.. 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.
LETTNIN, D.;Karina R. G. da Silva; GUNTZEL, J. L. A.; MORAES, R.. 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.
CORDEIRO, L. C.;Karina R. G. da Silva; MORAES, R.; LETTNIN, D.. 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.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. .. 2015. Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás.
Karina R. G. da Silva; gelson da Cruz Junior; SOARES, F.. 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.
Karina R. G. da Silva; Gabriel Luis Castiglioni; Marco Antônio assflak de Oliveira. 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.
Karina R. G. da Silva; Djones Vinicius Lettnim; OLIVEIRA, M. A. A.. 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.
DA SILVA, KARINA; CAMILO, C.; BASILIO NETO, A. D.. Análise comparativa de métodos de otimização de Hiperparâmetros. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; PIRES, S. R.; Carlos Galvão Pinheiro Júnior. Desenvolvimento de Jogo para aux lio no aprendizado de Circuitos Logicos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; PIRES, S. R.; Carlos Galvão Pinheiro Júnior. Desenvolvimento de Jogo para aux lio no aprendizado de Circuitos Logicos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Adriano César Santana;Silva, Karina R. G.. PFC2: Criação de um sensor de presença utilizando câmeras IP. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Adriano César Santana;Silva, Karina R. G.. PFC2: Criação de um sensor de presença utilizando câmeras IP. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; Euler B Santos. Tratamento de Dados Meteorológicos Utilizando Ferramentas Computacionais para Verificação de Determinados Efeitos em Sistemas Fotovoltaicos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; Euler B Santos. Tratamento de Dados Meteorológicos Utilizando Ferramentas Computacionais para Verificação de Determinados Efeitos em Sistemas Fotovoltaicos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; Euler B Santos; RIBEIRO, C. J.. PFC2: Tratamento de Dados Meteorológicos Utilizando Ferramentas Computacionais para Verificação de Determinados Efeitos em Sistemas Fotovoltaicos.. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Silva, Karina R. G.; Euler B Santos; RIBEIRO, C. J.. PFC2: Tratamento de Dados Meteorológicos Utilizando Ferramentas Computacionais para Verificação de Determinados Efeitos em Sistemas Fotovoltaicos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
DA SILVA, KARINA; CAMILO JUNIOR, C. G.; Eduardo F S; Altino D B N. PFC1: Análise comparativa de métodos de otimização para aprendizagem de máquina. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
DA SILVA, KARINA; CAMILO JUNIOR, C. G.; Marcos I. S. de Almeida. As redes sociais como observatório das eleições. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
DA SILVA, KARINA; CAMILO JUNIOR, C. G.; Marcos I. S. de Almeida. PFC1: Análise de sentimento da eleição presidencial de 2022. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Karina R. G. da Silva; FIGUEIREDO, M. G. S.. 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.
Sérgio Granato de Araújo; Kamylla Lorrany Sousa Prado;Silva, Karina R. G.. 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.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior; MELO, F. F.. 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.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior; MELO, F. F.. 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.
Silva, Karina R. G.; Carlos Galvão Pinheiro Júnior. 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.
BADAN, T. A. C.;Karina R. G. da Silva. Soberano - Gerencimanto de Rebanho. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
BADAN, T. A. C.;Karina R. G. da Silva. Soberano - Gerencimento de Rebanho. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
BADAN, T. A. C.;Karina R. G. da Silva. 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.
Karina R. G. da Silva; MELO, F. F.; NEGRETE, L. P. G.. 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.
Karina R. G. da Silva; MELO, F. F.; NEGRETE, L. P. G.. 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.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. 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.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. 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.
Karina R. G. da Silva; BADAN, T. A. C.; Adriano César Santana. 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.
Adriano César Santana;Karina R. G. da Silva. 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.
Adriano César Santana; BADAN, T. A. C.;Karina R. G. da Silva. 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.
Adriano César Santana;Karina R. G. da Silva. Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Adriano César Santana;Karina R. G. da Silva. Monitoramento de Sinais Vitais- EarLife. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
LEITAO JUNIOR, P. S.; RODRIGUES, C. L.;Silva, Karina R. G.. 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.
BADAN, T. A. C.;Karina R. G. da Silva. 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.
BADAN, T. A. C.;Karina R. G. da Silva. 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.
BADAN, T. A. C.;Karina R. G. da Silva. Dias.Sistema Identificador de Cores. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Goiás.
Karina R. G. da Silva; Adriano César Santana; Thyago Carvalho Marques. 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.
Karina R. G. da Silva; RODRIGUES, C. L.; LEITAO JUNIOR, P. S.. 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.
BADAN, T. A. C.;Karina R. G. da Silva; CARDOSO, A. A.. .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.
NERIS, J. W. L.; SOUZA, G. S. S. E.;Karina R. G. da Silva. 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.
Karina R. G. da Silva; BADAN, T. A. C.. 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.
Marcelo Stehling de Castro; Rodrigo Pinto Lemos;Karina R. G. da Silva. 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.
Marcelo Stehling de Castro; Rodrigo Pinto Lemos;Karina R. G. da Silva. 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.
PIRES, S. R.; Adriano César Santana;Karina R. G. da Silva. 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.
Karina R. G. da Silva; BADAN, T. A. C.; Marcus Fraga Vieira; OLIVEIRA, M. A. A.. EMG Mobile. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Karina R. G. da Silva; BADAN, T. A. C.; Marcus Fraga Vieira; OLIVEIRA, M. A. A.. EMG Mobile. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Karina R. G. da Silva; BADAN, T. A. C.. 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.
BADAN, T. A. C.;Karina R. G. da Silva; gelson da Cruz Junior. 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.
PIRES, S. R.;Karina R. G. da Silva; Thyago Carvalho Marques. Introdução ao GPGPU. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Goiás.
Augusto Silva;Karina R. G. da Silva; JUKEMURA, A. S.. 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.
Augusto Silva;Karina R. G. da Silva; JUKEMURA, A. S.. 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.
Karina R. G. da Silva; NOGUEIRA, R. G.; BADAN, T. A. C.. 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.
Karina R. G. da Silva; QUEIROZ, B. C. N.;FIGUEIREDO, J. C. A.. 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.
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.
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.
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.
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.
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.
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.
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.
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.
Orientou
Estágio curricular não obrigatório; Início: 2022; Orientação de outra natureza; Universidade Federal de Goiás; (Orientador);
Estágio curricular não obrigatório; Início: 2022; Orientação de outra natureza; Universidade Federal de Goiás; (Orientador);
Orientação de estágio não curricular; Início: 2022; Orientação de outra natureza; Universidade Federal de Goiás; (Orientador);
Controle de Robôs usando FPGA; 2017; 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;
Estudos de sinais usando FPGA; 2017; Dissertação (Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal de Goiás,; Orientador: Karina Rocha Gomes da Silva;
; 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;
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;
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;
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;
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;
Dispenser Automatizado de Ração com Arduino; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
Sistema de controle de acesso utilizando RFID para uma biblioteca; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
Sistema de controle de acesso utilizando RFID para uma biblioteca; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
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;
RECONHECIMENTO DE ÔNIBUS usando BLE; 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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
IMPLEMENTAÇÃO DO HARDWARE COM SENSORES ULTRASSÔNICOS E INTERFACE DE COMUNICAÇÃO COM O SOFTWARE DE MODELAGEM DE ÁUDIO E AMBIENTAÇÃO PARA TECNOLOGIA ASSISTIVA AOS DEFICIENTES VISUAIS; ; 2022; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
IMPLEMENTAÇÃO DO SOFTWARE PARA MANIPULAÇÃO E MODELAGEM DO ÁUDIO DE ACORDO COM DADOS OBTIDOS A PARTIR DOS SENSORES ULTRASSÔNICOS PARA TECNOLOGIA ASSISTIVA AOS DEFICIENTES VISUAIS; ; 2021; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Estágio supervisionado; 2018; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
Orientação de monitoria em Circuitos Lógicos; 2018; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Karina Rocha Gomes da Silva;
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;
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;
Produções bibliográficas
-
FRANCO, 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.
-
Rodrigues, 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.
-
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.
-
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.
-
SILVA, A. C. F. ; RODRIGUES, C. L. ; CHAVEIRO, N. ; GARCIA, R. R. O. ; DUARTE, S. B. R. ; ARAUJO, M. A. R. ; SANTOS, V. B. ; DA SILVA, KARINA ; RODRIGUES, P. M. S ; OLIVEIRA, L. M. ; S., C. C. . Lessons Learned about Oral-auditory and Visual-spatial Communication in Requirements Engineering with Deaf Stakeholders. In: The 35th ACM/SIGAPP Symposium On Applied Computing Requirement Engineering Track, 2020, Brno - Czech Republic. The 35th ACM/SIGAPP Symposium On Applied Computing Requirement Engineering, 2020.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
Karina R. G. da Silva ; COELHO, T. A. S. ; VIEIRA, S. L. . Modelagem de Linux Tempo-real. 1998. (Apresentação de Trabalho/Simpósio).
Outras produções
Isaa Maia ; Karina R. G. da Silva ; MELCHER, E. U. K. . eTBc - Uma ferramenta para geração automática de testbenches. 2005.
Karina R. G. da Silva ; MELCHER, E. U. K. . Ferramenta VeriSC para geração de templates para testbench. 2004.
Karina R. G. da Silva . Verificação funcional de Sistemas Digitais: Metodologia Brazil-IP. 2007. (Curso de curta duração ministrado/Outra).
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. , Integrantes: Karina Rocha Gomes da Silva - Coordenador / Cássio Leonardo Rodrigues - Integrante / Tomás Antônio Costa Badan - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
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. , Integrantes: Karina Rocha Gomes da Silva - Coordenador / Cássio L. Rodrigues - Integrante., Número de produções C, T & A: 1
-
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. , Integrantes: Karina Rocha Gomes da Silva - Integrante / Elmar U. K. Melcher - Coordenador.
-
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.
Prêmios
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.
Histórico profissional
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:
Experiência profissional
2008 - 2008
Universidade Federal da ParaíbaVínculo: Professor, Enquadramento Funcional: Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/2008
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Fundamentos da Computação, Introdução ao Computador, Lógica Aplicada à Computação
2007 - 2008
LINCS/CETENEVínculo: Pesquisadora, Enquadramento Funcional: Gerente de projetos, Carga horária: 40
Atividades
-
03/2007 - 05/2008
Pesquisa e desenvolvimento, LINCS/CETENE.,Linhas de pesquisa
2005 - 2006
University of TübingenVínculo: Colaborador, Enquadramento Funcional: Estudante, Carga horária: 40
Atividades
-
03/2005 - 03/2006
Pesquisa e desenvolvimento, Eberhard-Karls.,Linhas de pesquisa
2007 - 2008
CENTRO UNIVERSITARIO-UNIFACISAVí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
2001 - 2003
Instituto Tocantinense Presidente Antônio CarlosVí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.
2001 - 2003
Instituto Tocantinense Presidente Antônio CarlosVínculo: Coordenadora de Curso, Enquadramento Funcional: Coordenadora de Sistemas de Informação, Regime: Dedicação exclusiva.
2001 - 2002
Instituto Tocantinense Presidente Antônio CarlosVí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
2003 - 2007
Universidade Federal de Campina GrandeVínculo: Pesquisadora, Enquadramento Funcional: Pesquisadora, Carga horária: 20
Atividades
-
03/2003 - 02/2007
Pesquisa e desenvolvimento, UFCG.,Linhas de pesquisa
2022 - Atual
Universidade Federal de GoiásVínculo: Servidor Público, Enquadramento Funcional: Associada IV, Regime: Dedicação exclusiva.
2008 - Atual
Universidade Federal de GoiásVínculo: Servidor Público, Enquadramento Funcional: Adjunto IV, Regime: Dedicação exclusiva.
1998 - 1998
Universidade Federal de GoiásVínculo: Iniciação científica, Enquadramento Funcional: Estudante, Carga horária: 20
Outras informações:
Prototipação de Algoritmos para Sistemas Multimídia
1997 - 1998
Universidade Federal de GoiásVínculo: Iniciação científica, Enquadramento Funcional: Estudante
Outras informações:
Projeto e Prototipação de Algoritmos para Sistemas Multimídia
Atividades
-
02/2010
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
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
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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Karina Rocha Gomes da Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?