MSc supervision
Renata Elaine Mesel Kaufman - Modelagem e Análise de Objetos como Processos em CSP: Padrão de Projeto e Estudo de Caso. 2003.
Bruno de Oliveira Lira - Mecanização de Leis Algébricas para Programação Orientada a Objetos. 2002.
Leonardo José Simões de Freitas - JACK: A Process Algebra Implementation in Java. 2002.
Tiago Lima Massoni - Um Processo de Software com Suporte para Implementacao Progressiva. 2001.
Adnan Mahamoud Sherif - Formal Specification and Validation of Real Time Systems. 2000.
Juliano Manabu Iyoda - ParTS - Uma Ferramenta de Suporte ao Particionamento Hardware/Software. 2000.
Leonardo Reis Lucena - Um Ambiente Unificador para as Semânticas de Statecharts. 1999.