- Roteamento entre Redes SDN. Ricardo Bennesby da Silva, 2013. .
- Um Componente de Replicação para Redes Resilientes baseadas em Openflow. Paulo CESAR DA ROCHA FONSECA, 2013. .
- Agente de Detecção de Ataques de Negação de Serviço. Rodrigo de Souza Braga, 2011. .
- Metodologia para Classificacao de Padroes de Consumo de Memoria no Linux Baseada em Mapas Auto-organizaveis. Mauricio Tia Ni Gong Lin, 2005. .
- Geração de Seqüência de Teste a partir de Casos de Uso. Esther Pescher, 2004. .
- Extração de Propriedades a Partir de Diagramas de Estado e Sequência. Jorge Yoshio Kanda, 2004. .
- Uma Aplicação de um Modelo Estocástico para Gerenciamento de Projetos. Helca Karen Puget, 2004. .
- Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal. Tayana Uchôa Conte, 2001. .
- Specifying Java Programs using First Order Logic. Emily Chen, 1997. .
- INFORM-Logic: A System for Representing Uncertainty in Ecological Models. Virgínia Verônica Bezerra Brilhante, 1996. .