- Um Método para o Aumento da Capacidade de Cognição dos Dispositivos Móveis através da Percepção Automática do Contexto de Usuários. Alcilene Batista dos Santos, 2022. .
- Análise de Dados do Consumo de Energia de Rede Sem Fio Baseado no Tráfego de Rede para Dispositivos Móveis. Shermam Tácia da Costa Lima, 2022. .
- Tecnologia Assistiva baseada em Visão Computacional para Inclusão Digital de Surdos. Heron Jeovalino Biváqua de Moura, 2022. .
- Tecnologia Assistiva através de Internet das Coisas e Computação de Borda. Manoel José de Souza Júnior, 2021. .
- UpRobotics: Robótica Educacional Utilizando Linguagem Visual Baseada em Blocos. Francisco Gabriel Teixeira Marinho, 2022. .
- Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto de Educação Digital. Edwin Juan Lopes Barboza Monteiro, 2021. .
- Uma Técnica Formal para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital. Romário Lira Batista, 2020. .
- Localização em ambientes internos utilizando PDR e Wi-Fi. Marco Aurélio dos Santos, 2018. .
- Uma Plataforma de Suporte ao Docente no Contexto da Educação Digital. Gabriel de Souza Leitão, 2017. .
- Uma Abordagem para Reconhecimento de Emoção por Expressão Facial baseada em Redes Neurais de Convolução. Anderson Araújo da Cruz, 2017. .
- Extração Descentralizada de Conhecimento Associativo para Internet das Coisas. Márcio André da Costa Alencar, 2017. .
- Inserção de Código DVFS em Sistemas de Tempo Real Críticos. Diego Quintana Pinheiro, 2015. .
- Integrando Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa. Rawlinson da Silva Gonçalves, 2015. .
- Aplicando a Técnica Escala Dinâmica de Tensão e Frequência Baseado em Movimento Uniforme. David Abraham Cohen, 2011. .
- Estimador e Caracterizador de Consumo de Energia para Software Embarcado. Francisco Coelho da Silva, 2011. .
- Verificação e Comprovação de Erros em Códigos C Usando Bounded Model Checker. Herbert Oliveira Rocha, 2011. .
- Uma Abordagem Ágil e Dirigida por Modelos para Desenvolvimento de Software Embarcado e de Tempo-Real. Fabiano Teixeira Cruz, 2010. .
- smartenum: Algoritmo Branch-and-Bound Para Determinação de Frequências Ótimas em Sistemas com Escala Dinâmica de Tensão e Frequência. Eduardo Bezerra Valentin, 2010. .
- Arquitetura para a Integração de Identificação por Rádio Freqüência e Rede de Sensores sem Fio para Rastreamento de Animais. Daniel Patrick Pereira, 2009. .
- Uma Abordagem Probabilística Baseada em Grafo de Fluxo de Controle para Estimar o Consumo de Energia de Sistemas Embarcados em ANSI C. Carlos Augusto Mar, 2009. .
- Cache Comprimido Adaptativo via SOM (Mapas Auto-organizaveis). Anderson Farias Briglia, 2009. .
- ARQUITETURA PDCCM EM HARDWARE PARA COMPRESSÃO/DESCOMPRESSÃO DE INSTRUÇÕES EM SISTEMAS EMBARCADOS. Wanderson Roger Azevêdo Dias, 2009. .
- Uma Abordagem Qualitativa para a Verificação Formal de Software Embarcado. Marcelo Monteiro Custódio, 2008. .
- Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. Mauro Ricardo da Silva Teófilo, 2007. .
- TXM: Uma Metodologia de Desenvolvimento de HW/SW Ágil para Sistemas Embacardos. Lucas Carvalho Cordeiro, 2007. .
- Modelagem e Análise de Sistemas de Manufatura Flexível por Meio de Redes de Petri Colorida, Hierárquica e Temporizada. Marcelo Vieira Aguiar, 2007. .
- Síntese de Escalas Utilizando Semântica de Passo Máximo em Redes de Petri com Temporização. Romulo Devezas Freitas, 2006. .
- A Time Petri Net based Approach for Software Synthesis in Hard Real-Time Embedded Systems with Multiple Processors. Eduardo Antonio Guimarães Tavares, 2006. .