Andr de Matos Pedro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification. | Tiago F. Sequeira, Andr de Matos Pedro |
| 2024 | COMSNETS | STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors. | Praanav Paatil, Daryna Datsenko, Mrio Cardoso, Ana Sousa, Andr de Matos Pedro |
| 2023 | DSN | llhsc: A DeviceTree Syntax and Semantic Checker. | Vtor Rodrigues, Andr de Matos Pedro |
| 2022 | FMICS | Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. | Andr de Matos Pedro, Toms Silva, Tiago F. Sequeira, Joo Loureno, Joo Costa Seco, Carla Ferreira |
| 2020 | TASE | Real-time MTL with durations as SMT with applications to schedulability analysis. | Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
| 2015 | RV | Monitoring for a Decidable Fragment of MTL-∫. | Andr de Matos Pedro, David Pereira, Lus Miguel Pinho, Jorge Sousa Pinto |
| 2012 | ISoLA | Learning Stochastic Timed Automata from Sample Executions. | Andr de Matos Pedro, Paul Andrew Crocker, Simo Melo de Sousa |