MSc supervision
Joabe Bezerra de Jesus Júnior - Design and Formal Verification of Fly-By-Wire Flight Control Systems. 2009.
Lucas Albertins de Lima - Test Case Prioritization Based on Data Reuse for Black-Box Environments. 2009.
Manoel Messias da Silva Menezes Junior - Mapeando CSP em UML-RT. 2008.
Flavia Merylyn Carneiro Falcao - Multi-Sincronização em Message Sequence Charts. 2008.
Rafael Machado Duarte - Paraallelizing Java Programs Using Transformation Laws. 2008.
PatrÃcia Muniz Ferreira - Geração Automática de Modelos UML-RT a partir de Especificações CSP. 2006.
Sidney de Carvalho Nogueira - Geração Automática de Casos de Teste a Partir de Especificações CSP. 2006.