PRISM Group Publications
-
📝01
LARISSA SANTOS SILVA
E-mail: laryysantos18@gmail.com
-
📝02
JOÃO PAULO PARREIRA PEIXOTO
AGE-GAN: Um sistema para geração de imagens baseado em previsão temporal para pessoas desaparecidas 2021.
E-mail: jpparreirap@gmail.com
-
📝03
LUARKIAN KAYPE DE SOUSA
INEXT: Um Sistema Computacional para Localização Indoor de Objeto com RFID. 2019.
E-mail: kaype_x@hotmail.com
-
📝04
ALLAN CORDEIRO ROCHA DE ARAUJO
Plan-Prev: Sistema de recomendação de compra e venda de ações. 2019.
E-mail: allanps32008@hotmail.com
-
📝05
RODRIGO DOS SANTOS TAVARES
AUTOMAIL-X: SIMULADOR DE PRÓTESE ROBÓTICA AUTÔNOMA BASEADO EM PREVISÃO DE MOVIMENTOS. 2019.
E-mail: rodrigost23@gmail.com
-
📝06
KEVIN COSTA AIRES OLIVEIRA
E-mail: kevin_costa.tkd@hotmail.com
-
📝07
PEDRO DANIEL DA SILVA GOHL
KRAKEN: DETECÇÃO DE OBJETOS PARCIALMENTE OBSERVÁVEIS EM AMBIENTE AQUÁTICO COM ALTA TURBIDEZ. 2019.
E-mail: danielgohl13@gmail.com
-
📝08
JOÃO PAULO VERÇOSA PINTO
E-mail: jo.pinto08@gmail.com
-
📝09
VICTOR DELUCA ALMIRANTE GOMES
E-mail: victorlinkp@hotmail.com
-
📝10
RAFAEL SÁ MENEZES
E-mail: rafa.sa.xp@gmail.com
-
#01
ROCHA, H. O.; MENEZES, R. S. ; CORDEIRO, LUCAS ; BARRETO, RAIMUNDO . Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution). In: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, Dublin. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020. v. 12078. p. 403-407. https://doi.org/10.1007/978-3-030-45237-7_29
-
#02
ALHAWI, OMAR M. ; ROCHA, HERBERT ; GADELHA, MIKHAIL R. ; CORDEIRO, LUCAS C. ; BATISTA, EDDIE . Verification and refutation of C programs based on k-induction and invariant inference. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (INTERNET), v. 22, p. 1-21, 2020. https://doi.org/10.1007/s10009-020-00564-1
-
#03
MENEZES, R. ; ROCHA, H. ; CORDEIRO, L. C. ; BARRETO, R. S. . Map2Check using LLVM and KLEE. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018, Thessaloniki. TACAS'18, 2018. v. 10806. https://doi.org/10.1007/978-3-319-89963-3_28
-
#04
ROCHA, W. ; ROCHA, H. ; ISMAIL, HUSSAMA ; CORDEIRO, LUCAS ; FISCHER, B. . DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. In: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017, Uppsala. 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017. https://doi.org/10.1007/978-3-662-54580-5_23
-
#01
André Leandro Schillreff dos Santos. MAP2CHECK – Uma Abordagem para Verificação de Programas com Loops Usando K-Indução. 2021. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Universidade Federal de Roraima. Orientador: Herbert Oliveira Rocha.
-
#02
Cristiano Lima Sousa Rosa. Police Drone - Sistema Robótico Autônomo de Rastreamento e Vigilância de Ambientes Externos Privados. Dezembro - Atual de 2021. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Herbert Oliveira Rocha.
-
#03
Miller Raycell Monteiro Correia. Police Drone - Sistema Robótico Autônomo de Rastreamento e Vigilância de Ambientes Externos Privados. Agosto - Novembro de 2021. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Herbert Oliveira Rocha.
-
#04
Hermino Barbosa de Freitas Junior. Um Sistema de Recomendação de Questões para Online Judges Utilizando Técnicas de Processamento de Linguagem Natural e Aprendizagem de Máquina. 2020. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Universidade Federal de Roraima. Orientador: Herbert Oliveira Rocha.
-
#05
EWELLY FABIANE CUNHA DE SOUSA. Kraken Tracker - Sistema Robótico Autônomo de Rastreamento a Análise de Peixes. 2019. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Herbert Oliveira Rocha.
-
#06
Victor Deluca Almirante Gomes. Geração de Invariantes de Programas Baseado em Templates para Verificação Eficiente de Programas em C. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Herbert Oliveira Rocha.
-
#07
João Paulo Verçosa Pinto. Hand.io - Uma Luva para Controle de Dispositivos Eletro-Eletrônicos Utilizando Reconhecimento de Gestos. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima. Orientador: Herbert Oliveira Rocha.
-
#08
Kevin Costa Aires Oliveira. Verificação Formal de Circuitos Lógicos baseado em Transformações de Código com Bounded Model Checking. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima. Orientador: Herbert Oliveira Rocha.
-
#09
Pedro Daniel da Silva Gohl. Kraken - Detecção de objetos em ambiente submerso com alta turbidez. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Roraima. Orientador: Herbert Oliveira Rocha.