| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 20-fév-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-jui-2020 | 13-déc-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |