André de Matos Pedro

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Clause Learning

Temporal Properties

Propositional Satisfiability

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS (2022)
André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto
Real-time MTL with durations as SMT with applications to schedulability analysis. TASE (2020)
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14 (3) (2017)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Monitoring for a Decidable Fragment of MTL-∫. RV (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Logic-based schedulability analysis for compositional hard real-time embedded systems. SIGBED Rev. 12 (1) (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
A Compositional Monitoring Framework for Hard Real-Time Systems. NASA Formal Methods (2014)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Towards a Runtime Verification Framework for the Ada Programming Language. Ada-Europe (2014)
André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa
Learning Stochastic Timed Automata from Sample Executions. ISoLA (1) (2012)