default search action

combined dblp search
author search
venue search
publication search

ask others

André de Matos Pedro

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
- export record
  dblp key:
  - phd/pt/Pedro18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/pt/Pedro18
André de Matos Pedro:
Dynamic contracts for verification and enforcement of real-time systems properties. University of Porto, Portugal, 2018

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/PedroSSLSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PedroSSLSF24
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): 169-188 (2024)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PedroPPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PedroPPP18
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): 379-395 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/PedroPPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/PedroPPP17
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14(3): 40-42 (2017)
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/PedroPPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/PedroPPP15
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): 56-64 (2015)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/comsnets/PaatilDCSP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comsnets/PaatilDCSP24
Praanav Paatil, Daryna Datsenko, Mário Cardoso, Ana Sousa, André de Matos Pedro:
STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors. COMSNETS 2024: 1106-1111
2023
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/RodriguesP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RodriguesP23
Vítor Rodrigues, André de Matos Pedro:
llhsc: A DeviceTree Syntax and Semantic Checker. DSN-W 2023: 251-258
2022
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PedroSSLSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PedroSSLSF22
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: 155-171
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/PedroLPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/PedroLPP20
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: 49-56
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PedroPPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PedroPPP15
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
Monitoring for a Decidable Fragment of MTL-∫. RV 2015: 169-184
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PedroPPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PedroPPP14
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: 58-73
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PedroPPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PedroPPP14
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: 16-30
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/PedroCS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/PedroCS12
André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa:
Learning Stochastic Timed Automata from Sample Executions. ISoLA (1) 2012: 508-523

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.