PRISM Group Publications

• #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.

• #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.

• #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.

• #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.

• #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.

Talk with us.