Personal information

Other IDs

Scopus Author ID: 55445118200
Ciência ID: 5D17-98B0-2914
ResearcherID: B-3717-2019

Countries

Portugal

Activities

Collapse all

Works (11)

Monitoring of spatio-temporal properties with nonlinear SAT solvers

International Journal on Software Tools for Technology Transfer
2024-04 | Journal article
DOI: 10.1007/s10009-024-00740-7
Contributors: André Matos Pedro; Tomás Silva; Tiago Sequeira; João Lourenço; João Costa Seco; Carla Ferreira
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

llhsc: A DeviceTree Syntax and Semantic Checker

2023-06 | Conference paper
DOI: 10.1109/DSN-W58399.2023.00064
Contributors: Vítor Rodrigues; André Matos Pedro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

2022 | Book chapter
DOI: 10.1007/978-3-031-15008-1_11
Contributors: André de Matos Pedro; Tomás Silva; Tiago Sequeira; João Lourenço; João Costa Seco; Carla Ferreira
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Runtime verification of autopilot systems using a fragment of MTL- ∫

International Journal on Software Tools for Technology Transfer
2018 | Journal article
DOI: 10.1007/s10009-017-0470-5
EID:

2-s2.0-85028004115
Contributors: de Matos Pedro, A.; Pinto, J.S.; Pereira, D.; Pinho, L.M.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 4)‎

SMT-based schedulability analysis using RMTLD

ACM SIGBED Review
2017-11 | Journal article
DOI: 10.1145/3166227.3166234
SOURCE-WORK-ID:

cv-prod-id-222970

Part of ISSN: 1551-3688
Contributors: André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto
Source: check_circle
CIÊNCIAVITAE
grade
Preferred source (of 2)‎

Monitoring for a decidable fragment of mtl-∫

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-23820-3_11
EID:

2-s2.0-84950324017
Contributors: Pedro, A.M.; Pereira, D.; Pinho, L.M.; Pinto, J.S.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 2)‎

Logic-based schedulability analysis for compositional hard real-time embedded systems

ACM SIGBED Review
2015-03 | Journal article
DOI: 10.1145/2752801.2752808
Contributors: André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto
Source: Self-asserted source
André de Matos Pedro via Crossref Metadata Search
grade
Preferred source (of 2)‎

A compositional monitoring framework for hard real-time systems

2014 | Book
DOI: 10.1007/978-3-319-06200-6_2
EID:

2-s2.0-84901660486
Contributors: De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 2)‎

Implementation of task types in AVR-Ada

Ada User Journal
2014 | Journal article
EID:

2-s2.0-84908174250
Contributors: De Matos Pedro, A.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 2)‎

Towards a runtime verification framework for the Ada programming language

2014 | Book
DOI: 10.1007/978-3-319-08311-7_6
EID:

2-s2.0-84903629798
Contributors: De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 2)‎

Learning stochastic timed automata from sample executions

2012 | Book
DOI: 10.1007/978-3-642-34026-0_38
EID:

2-s2.0-84868290811
Contributors: De Matos Pedro, A.; Crocker, P.A.; De Sousa, S.M.
Source: Self-asserted source
André de Matos Pedro via Scopus - Elsevier
grade
Preferred source (of 2)‎

Peer review (2 reviews for 1 publication/grant)

Review activity for Science of computer programming. (2)
How many people are using ORCID?