| Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 5-jun-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-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 | - |