área de pesquisa
- A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
- Adalberto Cajueiro de Farias
- Carlos Alberto Olarte Vega
- Cálculo de Ambientes Tipado Sensível ao Contexto para Aplicações Pervasivas
- David Boris Paul Déharbe
- Douglas Pereira Pasqualin
- Marcelo Alves Ribeiro
- Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques
- Planejamento sob incerteza para metas de alcançabilidade estendidas
- Verificação Automática