MSc supervision
Pedro Ribeiro Gonçalves Antonino - A Refinement Based Strategy for Locally Verifying Networks of CSP Processes. 2014.
David Menezes Cardoso - A framework to support the implementation of monitorable services. 2012.
Renata Bezerra e Silva de Araújo - Extração Automática de Modelos CSP a partir de Casos de Uso. 2011.
Vitor Torres Braga - Um Processo para Projeto Arquitetural de Software Dirigido a Modelos e Orientado a Serviços. 2011.
José Dihego da Silva Oliveira - ALGEBRAIC LAWS FOR PROCESS. 2011.
Juliana Nereida Dantas Mafra - Test Case Selector: Uma Ferramenta para Seleção de Testes. 2010.
Adriano José Oliveira Gomes - Model-Based Safety Assessment via Probabilistic Model Checking. 2010.