| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 19-mai-2016 | 6-avr-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-aoû-2018 | Characterization of implied scenarios as families of Common Behavior | Melo, Caio Batista de | Rodrigues, Genaína Nunes | - |
| 14-mai-2015 | 27-fév-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
| 26-mai-2016 | 7-aoû-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 | - |