| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 4-Nov-2022 | 24-Jun-2022 | RVSec : Runtime verification methods for high precision detection of cryptography API misuse | Torres, Adriano Rodrigues Figueiredo | Almeida, Rodrigo Bonifácio de | - |
| 27-Ago-2018 | 29-Set-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
| 2-Dez-2014 | 14-Jul-2014 | Um protocolo de autenticação e autorização seguro para arquiteturas orientadas a serviços | Conceição, Rogério Alves da | Almeida, Rodrigo Bonifácio de | - |
| 26-Jan-2017 | 28-Jun-2016 | Uma abordagem orientada a serviços para a modernização de sistemas legados | Agilar, Everton de Vargas | Almeida, Rodrigo Bonifácio de | - |
| - | 18-Fev-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |