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 |