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 |