| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 19-Mai-2016 | 6-Abr-2015 | Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais | Roriz, Alexandre Vaz | Rodrigues, Genaína Nunes | - |
| 11-Mar-2019 | 31-Ago-2018 | Characterization of implied scenarios as families of Common Behavior | Melo, Caio Batista de | Rodrigues, Genaína Nunes | - |
| 14-Mai-2015 | 27-Fev-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
| 26-Mai-2016 | 7-Ago-2015 | Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos | Reis, Thiago Peixoto dos | Rodrigues, Genaína Nunes | - |