| Group | Project | Partnership | External supervisor(s) | Tutors | Student | Name | Photo |
|---|
| G | Integration of Model Checking and Theorem Proving in the IVY workbench | QMUL/UK | Paolo Masci, Michael Harrison | J.F. Creissac | pg22578 | Abílio Couto | |
| A | Extending transaction handling to application logic | SIG | M. Ferreira, J. Visser | J.N. Oliveira | pg22796 | André Santos |  |
| D | Especificação, implementação e validação formal do processo de cálculo do preço de custo médio de artigos | Primavera Software | Afonso Macedo | J.B. Barros | PG22759 | Celso Silva | |
| C | Verification of a C library with Frama-C | Galois | Aaron Tomb | J.S. Pinto | pg22840 | Cristiano Sousa |  |
| B | Formalization of the Outsystems Visual Language | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.A. Cunha | pg23205 | Daniel Murta |  |
| G | Integration of Model Checking and Theorem Proving in the IVY workbench | QMUL/UK | Paolo Masci, Michael Harrison | J.F. Creissac | | Deise Santana Maia | |
| D | Especificação, implementação e validação formal do processo de cálculo do preço de custo médio de artigos | Primavera Software | Afonso Macedo | J.B. Barros | PG22766 | Fábio Esteves | |
| B | Formalization of the Outsystems Visual Language | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.A. Cunha | pg22811 | Guilherme Rodrigues |  |
| H | Quality indicators for agile platform applications | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.J. Frade | pg16334 | José Miguel Magalhães | |
| F | Model validation through test case generation | CSAIL/MIT | Eunsuk Kang | M.A. Cunha | pg23208 | José Pinheiro | |
| H | Quality indicators for agile platform applications | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.J. Frade | pg22808 | Maria João Magalhães |  |
| C | Verification of a C library with Frama-C | Galois | Aaron Tomb | J.S. Pinto | pg22815 | Nuno Carvalho | |
| G | Integration of Model Checking and Theorem Proving in the IVY workbench | QMUL/UK | Paolo Masci, Michael Harrison | J.F. Creissac | | Thiago Ramos | |
| E | Fault containment in component-based software systems | SIG | M. Ferreira, J. Visser | J.N. Oliveira | pg22576 | Tiago Ferreira |  |
| F | Model validation through test case generation | CSAIL/MIT | Eunsuk Kang | M.A. Cunha | pg22832 | Tiago Guimarães | |
| H | Quality indicators for agile platform applications | Outsystems | Tiago L. Alves & Lúcio Ferrão | M.J. Frade | pg22812 | Tiago Jorge |  |
| A | Extending transaction handling to application logic | SIG | M. Ferreira, J. Visser | J.N. Oliveira | pg21319 | Victor Miraldo | |
| E | Fault containment in component-based software systems | SIG | M. Ferreira, J. Visser | J.N. Oliveira | pg22577 | Xavier Pinho | |
