Learning Stochastic Timed Automata from Sample Executions. - André de Matos Pedro; Paul Andrew Crocker; Simão Melo de Sousa (ISoLA (1), 2012)

Towards a Runtime Verification Framework for the Ada Programming Language. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (Ada-Europe, 2014)

A Compositional Monitoring Framework for Hard Real-Time Systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (NASA Formal Methods, 2014)

Monitoring for a Decidable Fragment of MTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (RV, 2015)

Logic-based schedulability analysis for compositional hard real-time embedded systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2015)

SMT-based schedulability analysis using RMTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2017)

Runtime verification of autopilot systems using a fragment of MTL- $${ int }$$ ∫. - André de Matos Pedro; Jorge Sousa Pinto; David Pereira; Luís Miguel Pinho (Int. J. Softw. Tools Technol. Transf., 2018)

Dynamic contracts for verification and enforcement of real-time systems properties - André de Matos Pedro (2018)

Real-time MTL with durations as SMT with applications to schedulability analysis. - André de Matos Pedro; Martin Leucker; David Pereira; Jorge Sousa Pinto (TASE, 2020)

llhsc: A DeviceTree Syntax and Semantic Checker. - Vítor Rodrigues; André de Matos Pedro (DSN-W, 2023)

STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors. - Praanav Paatil; Daryna Datsenko; Mário Cardoso; Ana Sousa; André de Matos Pedro (COMSNETS, 2024)

Monitoring of spatio-temporal properties with nonlinear SAT solvers. - André de Matos Pedro; Tomás Silva; Tiago F. Sequeira; João Lourenço; João Costa Seco; Carla Ferreira 001 (Int. J. Softw. Tools Technol. Transf., 2024)