PhD supervision
Madiel de Sousa Conserva Filho - Local Livelock Analysis of Component-Based Models. 2017.
Tarciana Dias da Silva - Sound Parallelisation of Java Programs. 2017.
Lucas Albertins de Lima - FORMALISATION OF SYSML DESIGN MODELS AND AN ANALYSIS STRATEGY USING REFINEMENT. 2016.
Gustavo Henrique Porto de Carvalho - NAT2TEST: GENERATING TEST CASES FROM NATURAL LANGUAGE REQUIREMENTS BASED ON CSP. 2016.
José Dihego da Silva Oliveira - Constructive Extensibility of Trustworthy Component-based Systems. 2016.
Giovanny Fernando Lucero Palma - Algebraic Laws for Object Oriented Programming with References. 2015.
Sidney de Carvalho Nogueira - Test Generation and Compositional Conformance Verification from Input-Output CSP Models. 2012.