| Data | Título | Autor(es) | Tipo | Acesso |
| 2014 | A compositional monitoring framework for hard real-time systems | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo em ata de conferência | Acesso aberto |
| 2015 | Logic-based schedulability analysis for compositional hard real-time embedded systems | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo | Acesso aberto |
| Set-2015 | Monitoring for a decidable fragment of MTL-∫ | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo em ata de conferência | Acesso aberto |
| 2011 | Partial derivative automata formalized in Coq | Almeida, José Bacelar; Moreira, Nelma; Pereira, David, et al. | Artigo em ata de conferência | Acesso aberto |
| Dez-2020 | Real-time MTL with durations as SMT with applications to schedulability analysis | Pedro, André de Matos; Leucker, Martin; Pereira, David, et al. | Artigo em ata de conferência | Acesso aberto |
| 2018 | Runtime verification of autopilot systems using a fragment of MTL-∫ | Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David, et al. | Artigo | Acesso restrito UMinho |
| 2017 | SMT-based schedulability analysis using RMTL-∫ | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo | Acesso restrito UMinho |
| 2014 | Towards a runtime verification framework for the Ada Programming Language | Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al. | Artigo em ata de conferência | Acesso aberto |
| 2012 | Towards specification and verification frameworks for concurrent real-time systems | Pereira, David; Pedro, André Matos; Pinho, Luís Miguel, et al. | Palestra | Acesso aberto |
