| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 19-May-2016 | 6-Apr-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-Aug-2018 | Characterization of implied scenarios as families of Common Behavior | Melo, Caio Batista de | Rodrigues, Genaína Nunes | - |
| 14-May-2015 | 27-Feb-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
| 26-May-2016 | 7-Aug-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 | - |