| Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 20-feb-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-dic-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |