Follow
André de Matos Pedro
André de Matos Pedro
Institute for Software Engineering and Programming Languages, University of Lübeck, Germany
Verified email at isp.uni-luebeck.de
Title
Cited by
Cited by
Year
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
172015
Learning stochastic timed automata from sample executions
A Matos Pedro, PA Crocker, SM Sousa
International Symposium On Leveraging Applications of Formal Methods …, 2012
102012
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
82018
SMT-based Schedulability Analysis using RMTL-∫
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 14 (3), 40-42, 2017
72017
Monitoring for a decidable fragment of mtl-∫
AM Pedro, D Pereira, LM Pinho, JS Pinto
Springer Verlag, 2015
72015
Towards a runtime verification framework for the ada programming language
A Matos Pedro, D Pereira, LM Pinho, JS Pinto
Ada-Europe International Conference on Reliable Software Technologies, 58-73, 2014
72014
A compositional monitoring framework for hard real-time systems
A Matos Pedro, D Pereira, LM Pinho, JS Pinto
NASA Formal Methods Symposium, 16-30, 2014
72014
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
32018
Learning and testing stochastic discrete event systems
A de Matos Pedro
Master's thesis, Universidade do Minho, Portugal (December 2011), 2011
32011
Dynamic contracts for verification and enforcement of real-time systems properties
AM Pedro
22018
Dynamic contracts for verification and enforcement of real-time systems properties
A de Matos Pedro
Ph. D., Universidade do Minho, 2018
22018
Implementation of Task Types in AVR-Ada
A de Matos Pedro
ADA USER 35 (3), 194, 2014
12014
Learning generalized semi-Markov processes: From stochastic discrete event systems to testing and verification
A de Matos Pedro, MJ Frade, AP Martins, SM de Sousa
INForum2011-SOFTPT, 2011
12011
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
A Matos Pedro, T Silva, T Sequeira, J Lourenço, J Costa Seco, C Ferreira
International Conference on Formal Methods for Industrial Critical Systems …, 2022
2022
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
Monitoring for a Decidable Fragment of MTL-
A Matos Pedro, D Pereira, LM Pinho, JS Pinto
Runtime Verification, 169-184, 2015
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, 2011
2011
Modeling Data Handling Software-A formal approach with SPIN and UPPAL
A Pedro, J Martins
2010
The system can't perform the operation now. Try again later.
Articles 1–20