Logic-based schedulability analysis for compositional hard real-time embedded systems A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 12 (1), 56-64, 2015
18 2015 Learning stochastic timed automata from sample executions A de Matos Pedro, PA Crocker, SM de Sousa
International Symposium On Leveraging Applications of Formal Methods …, 2012
12 2012 Runtime verification of autopilot systems using a fragment of MTL-∫ A Pedro, JS Pinto, D Pereira, LM Pinho
International Journal on Software Tools for Technology Transfer 20 (4), 379-395, 2018
10 2018 Monitoring for a decidable fragment of mtl-∫ AM Pedro, D Pereira, LM Pinho, JS Pinto
Springer Verlag, 2015
9 2015 A compositional monitoring framework for hard real-time systems A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
9 2014 Towards a runtime verification framework for the ada programming language A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
Reliable Software Technologies–Ada-Europe 2014: 19th Ada-Europe …, 2014
8 2014 SMT-based Schedulability Analysis using RMTL-∫ A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 14 (3), 40-42, 2017
7 2017 Runtime verification of autopilot systems using a fragment of MTL- A de Matos Pedro, JS Pinto, D Pereira, LM Pinho
International Journal on Software Tools for Technology Transfer 20 (4), 379-395, 2018
3 2018 Dynamic contracts for verification and enforcement of real-time systems properties A de Matos Pedro
University of Porto, Portugal, 2018
3 2018 Learning and testing stochastic discrete event systems A de Matos Pedro
Master's thesis, Universidade do Minho, Portugal (December 2011), 2011
3 2011 Monitoring of spatio-temporal properties with nonlinear SAT solvers A Matos Pedro, T Silva, T Sequeira, J Lourenço, JC Seco, C Ferreira
International Journal on Software Tools for Technology Transfer, 1-20, 2024
2 2024 Dynamic contracts for verification and enforcement of real-time systems properties AM Pedro
2 2018 Implementation of Task Types in AVR-Ada A de Matos Pedro
ADA USER 35 (3), 194, 2014
1 2014 Learning generalized semi-Markov processes: From stochastic discrete event systems to testing and verification A de Matos Pedro, MJ Frade, SM de Sousa
INForum2011-SOFTPT, 2011
1 2011 STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors P Paatil, D Datsenko, M Cardoso, A Sousa, AM Pedro
2024 16th International Conference on COMmunication Systems & NETworkS …, 2024
2024 AvoidCrowd-Walking Crowd Detection System D Pereira, A Pedro, C Gonçalves, C Silveira
2023 Poster A Pedro, D Pereira, LM Pinho, JS Pinto
2015 Formal Contracts for Runtime Verification Support in the Ada Programming Language A Matos Pedro, D Pereira, LM Pinho, J Sousa Pinto
2015 Towards specification and verification frameworks for concurrent real-time systems D Pereira, AM Pedro, LM Pinho, JS Pinto
2012 Learning and Testing Stochastic Discrete Event AM Pedro
PQDT-Global, 2012
2012