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.

Veja mais: 123