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 |
10-Abr-2018 | Dynamic contracts for verification and enforcement of real-time systems properties | Pedro, André Matos | Tese de doutoramento | Acesso aberto |
14-Nov-2012 | Learning and testing stochastic discrete event | Pedro, André Matos | Dissertação de mestrado | 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 |
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 |