André de Matos Pedro

14 papers B 1C 2Misc 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification.
FMICS
Tiago F. Sequeira, André de Matos Pedro
2024 J jnl
Monitoring of spatio-temporal properties with nonlinear SAT solvers.
Int. J. Softw. Tools Technol. Transf.
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2024 Misc conf
STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors.
COMSNETS
Praanav Paatil, Daryna Datsenko, Mário Cardoso, Ana Sousa, André de Matos Pedro
2023 — conf
llhsc: A DeviceTree Syntax and Semantic Checker.
DSN-W
Vítor Rodrigues, André de Matos Pedro
2022 C conf
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
FMICS
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2020 Misc conf
Real-time MTL with durations as SMT with applications to schedulability analysis.
TASE
André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto
2018 — —
Dynamic contracts for verification and enforcement of real-time systems properties
André de Matos Pedro
2018 J jnl
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.
Int. J. Softw. Tools Technol. Transf.
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
2017 J jnl
SMT-based schedulability analysis using RMTL-∫.
SIGBED Rev.
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2015 J jnl
Logic-based schedulability analysis for compositional hard real-time embedded systems.
SIGBED Rev.
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2015 B conf
Monitoring for a Decidable Fragment of MTL-∫.
RV
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2014 — conf
A Compositional Monitoring Framework for Hard Real-Time Systems.
NASA Formal Methods
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2014 Misc conf
Towards a Runtime Verification Framework for the Ada Programming Language.
Ada-Europe
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2012 — conf
Learning Stochastic Timed Automata from Sample Executions.
ISoLA (1)
André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa