- Startup "Fitness Tech: Acessórios vestíveis inteligentes para reconhecimento de atividades físicas" teve o projeto aprovado no Edital Creative Startups. Samsung e Anprotec, 2020.
- Startup "SIGNAL: Uma Plataforma Educacional Baseada em Tecnologias" teve o projeto aprovado no Edital Centelha Amazonas. FINEP e FAPEAM, 2020.
- Prêmio de melhor artigo no SBESC'2016 com o artigo "Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem".. Sociedade Brasileira da Computação, 2016.
- Concurso de Teses e Dissertações em Qualidade de Software - Odette Passos, Raimundo Barreto e Arilo Dias Neto. Sociedade Brasileira da Computação, 2015.
- Concurso de Teses e Dissertações em Arquitetura de Computadores e Computação de Alto Desempenho - Rawlinson Gonçalves e Raimundo Barreto. Sociedade Brasileira da Computação, 2015.
- Best Paper Award at ISCC'2015 - A Prediction-based Routing Algorithm for Vehicular Ad Hoc Networks. iEEEE, 2015.
- Best Paper Award SBESC'2015 - Model Checking Embedded C Software using k-Induction and Invariants - Herbert Rocha, Hussama Ismail e os professores Lucas Cordeiro e Raimundo Barreto. Sociedade Brasileira da Computação, 2015.
- Melhor artigo no XV Congresso Ibero-Americano em Engenharia de Software (CIbSE'2012). Special Interest Group on Software Engineering - SigSoft, 2012.
- Melhor artigo da trilha de tempo-real do ACM Symposium on Applied Computing. ACM, 2008.
- Orientação de um dos dez melhores trabalhos de iniciação científica da SBC (CTIC). SBC - Sociedade Brasilera da Computação, 2008.