área de pesquisa
- "Verificação funcional para circuitos de transmissão e recepção de sinais mistos"
- Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc
- Aumentando a Eficiência da Verificação Dinâmica de Propriedades em Sistemas Descritos em Alto Nível de Abstração por Meio da Utilização de Funções de Classificação Heurística Derivadas das Propriedades do Sistema
- Carolina Carvalho Previdi Nunes
- Verificação Automática de Software e Sistemas