Jorge Sousa Pinto

◀ ▶ joint publications with André de Matos Pedro

> Home > Persons > Jorge Sousa Pinto

Publications

2020
[c36]
- 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
2018
[j17]
- 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
[j16]
- 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
[j13]
- 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)
[c31]
- 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
[c30]
- 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
[c28]
- 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

a service of

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.