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
182015
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
112012
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
102018
Monitoring for a decidable fragment of mtl-∫
AM Pedro, D Pereira, LM Pinho, JS Pinto
Springer Verlag, 2015
92015
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
92014
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
82014
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
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
Dynamic contracts for verification and enforcement of real-time systems properties
A de Matos Pedro
University of Porto, Portugal, 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
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
12024
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, SM de Sousa
INForum2011-SOFTPT, 2011
12011
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
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