André de Matos Pedro

According to our database, André de Matos Pedro authored at least 11 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

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

Int. J. Softw. Tools Technol. Transf., April, 2024

2023

llhsc: A DeviceTree Syntax and Semantic Checker.

Vítor Rodrigues, André de Matos Pedro

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2020

Real-time MTL with durations as SMT with applications to schedulability analysis.

André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2018

Dynamic contracts for verification and enforcement of real-time systems properties

André de Matos Pedro

PhD thesis, 2018

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

2017

SMT-based schedulability analysis using RMTL-∫.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

SIGBED Rev., 2017

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

Monitoring for a Decidable Fragment of MTL-∫.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

A Compositional Monitoring Framework for Hard Real-Time Systems.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Towards a Runtime Verification Framework for the Ada Programming Language.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the Reliable Software Technologies, 2014

2012

Learning Stochastic Timed Automata from Sample Executions.

André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012