PhD supervision
Rodrigo Teixeira Ramos - Systematic Development of Trustworthy Component-Based Systems. 2011.
Adalberto Cajueiro de Farias - Abstraction of Infinite and Communicating CSPz Processes. 2009.
Adnan Sherif - A Framework for Specification and Validation of Real Time Systems. 2006.
Adolfo Almeida Duran - An Algebraic Approach to the Design of Compilers for Object-Oriented Languages. 2005.
Márcio Lopes Cornélio - Refactoring as Formal Refinement. 2004.
Roberta Vilhena Vieira - GAADT - Um Algorimo Genético Baseado em Tipos Abstratos de Dados. 2003.
Alexandre Cabral Mota - Model Checking Data-Dependent CSP-Z Processes. 2001.