| Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 19-may-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-may-2015 | 27-feb-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
| 26-may-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 | - |