| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 5-jui-2020 | 23-oct-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-jui-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-déc-2025 | Translating extended goal models into goal management controllers in PRISM | Coelho Neto, Manoel Vieira | Rodrigues, Genaína Nunes | Vogel, Thomas |