| Data | Título | Autor(es) | Tipo | Acesso |
| 6-Set-2023 | ACE grader automatic grading of programming exercises | Santos, Sofia Guilherme Rodrigues dos | Dissertação de mestrado | Acesso aberto |
| 23-Jan-2024 | Aircraft wing structure benchmark: cantilever vs. braced wing configurations | Vale, Pedro Domingos Moreira da Rocha Campos do | Dissertação de mestrado | Acesso aberto |
| 31-Jan-2023 | Automatic generation of ASTs from a programming language grammar | Silva, Pedro Miguel Mimoso Lopes Ferreira da | Dissertação de mestrado | Acesso aberto |
| 2013 | Combining static and dynamic analysis for the reverse engineering of web applications | Silva, Carlos Eduardo; Campos, J. Creissac | Artigo em ata de conferência | Acesso aberto |
| 2006 | Component identification through program slicing | Barbosa, L. S.; Rodrigues, Nuno F. | Artigo | Acesso aberto |
| 2021 | Compositional analysis of vulnerabilities in microservice-based applications | Loureiro, Nelson Diogo Santos | Dissertação de mestrado | Acesso aberto |
| 2022 | Infrastructure as code: analysis of misconfiguration and non-compliance problems | Silva, Rafaela Maria Soares da | Dissertação de mestrado | Acesso aberto |
| 2011 | Modelação e análise estática e dinâmica em componentes estruturais de um automóvel de competição | Andrade, Eduardo José Soares de | Dissertação de mestrado | Acesso aberto |
| Mar-2019 | Static-Time extraction and analysis of the ROS computation graph | Santos, André Fernandes; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |
