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 de Matos Pedro, PA Crocker, SM de Sousa
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
Towards a runtime verification framework for the ada programming language
A de 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 de Matos Pedro, D Pereira, LM Pinho, JS Pinto
NASA Formal Methods Symposium, 16-30, 2014
72014
Smt-based schedulability analysis using rmtl-∫
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 14 (3), 40-42, 2017
32017
Learning and testing stochastic discrete event systems
A de Matos Pedro
Master's thesis, Universidade do Minho, Portugal (December 2011), 2011
32011
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
22018
Dynamic contracts for verification and enforcement of real-time systems properties
A de Matos Pedro
PhD thesis, Cister Research Unit-ISEP/IPP, 2012
22012
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
Monitoring for a Decidable Fragment of MTL-
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
Runtime Verification, 169-184, 2015
2015
Aprendizagem de processos semi-Markovianos generalizados: dos sistemas de eventos discretos estocásticos aos testes ea verificaçao
A de Matos Pedro, MJ Frade, AP Martins, SM de Sousa
T3S Tool–Learning stochastic discrete event systems from sample executions
A de Matos Pedro, PA Crocker, SM de Sousa
The system can't perform the operation now. Try again later.
Articles 1–13