| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 20-Fev-2017 | 18-Nov-2016 | Estratégias comutativas para análise de confiabilidade em linha de produtos de software | Castro, Thiago Mael de | Alves, Vander Ramos | Teixeira, Leopoldo Motta |
| 9-Jul-2020 | 13-Dez-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |