| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 5-Jun-2020 | 23-Out-2019 | An architecture to support control theoretical-based verification of goal-oriented adaptation engines | Caldas, Ricardo Diniz | Rodrigues, Genaína Nunes | - |
| 11-Mar-2020 | 11-Jul-2019 | A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty | Solano, Gabriela Félix | Rodrigues, Genaína Nunes | - |
| 5-Mar-2026 | 16-Dez-2025 | Translating extended goal models into goal management controllers in PRISM | Coelho Neto, Manoel Vieira | Rodrigues, Genaína Nunes | Vogel, Thomas |