1. 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. .

  2. 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. .

  3. Tecnologia Assistiva baseada em Visão Computacional para Inclusão Digital de Surdos. Heron Jeovalino Biváqua de Moura, 2022. .

  4. Tecnologia Assistiva através de Internet das Coisas e Computação de Borda. Manoel José de Souza Júnior, 2021. .

  1. UpRobotics: Robótica Educacional Utilizando Linguagem Visual Baseada em Blocos. Francisco Gabriel Teixeira Marinho, 2022. .

  2. 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. .

  3. 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. .

  4. Localização em ambientes internos utilizando PDR e Wi-Fi. Marco Aurélio dos Santos, 2018. .

  5. Uma Plataforma de Suporte ao Docente no Contexto da Educação Digital. Gabriel de Souza Leitão, 2017. .

  6. Uma Abordagem para Reconhecimento de Emoção por Expressão Facial baseada em Redes Neurais de Convolução. Anderson Araújo da Cruz, 2017. .

  7. Extração Descentralizada de Conhecimento Associativo para Internet das Coisas. Márcio André da Costa Alencar, 2017. .

  8. Inserção de Código DVFS em Sistemas de Tempo Real Críticos. Diego Quintana Pinheiro, 2015. .

  9. Integrando Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa. Rawlinson da Silva Gonçalves, 2015. .

  10. Aplicando a Técnica Escala Dinâmica de Tensão e Frequência Baseado em Movimento Uniforme. David Abraham Cohen, 2011. .

  11. Estimador e Caracterizador de Consumo de Energia para Software Embarcado. Francisco Coelho da Silva, 2011. .

  12. Verificação e Comprovação de Erros em Códigos C Usando Bounded Model Checker. Herbert Oliveira Rocha, 2011. .

  13. Uma Abordagem Ágil e Dirigida por Modelos para Desenvolvimento de Software Embarcado e de Tempo-Real. Fabiano Teixeira Cruz, 2010. .

  14. 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. .

  15. 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. .

  16. 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. .

  17. Cache Comprimido Adaptativo via SOM (Mapas Auto-organizaveis). Anderson Farias Briglia, 2009. .

  18. ARQUITETURA PDCCM EM HARDWARE PARA COMPRESSÃO/DESCOMPRESSÃO DE INSTRUÇÕES EM SISTEMAS EMBARCADOS. Wanderson Roger Azevêdo Dias, 2009. .

  19. Uma Abordagem Qualitativa para a Verificação Formal de Software Embarcado. Marcelo Monteiro Custódio, 2008. .

  20. 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. .

  21. TXM: Uma Metodologia de Desenvolvimento de HW/SW Ágil para Sistemas Embacardos. Lucas Carvalho Cordeiro, 2007. .

  22. 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. .

  23. Síntese de Escalas Utilizando Semântica de Passo Máximo em Redes de Petri com Temporização. Romulo Devezas Freitas, 2006. .

  24. A Time Petri Net based Approach for Software Synthesis in Hard Real-Time Embedded Systems with Multiple Processors. Eduardo Antonio Guimarães Tavares, 2006. .