E-LIB Suche - Ergebnisse für: Matos Pedro, André de

1

Monitoring of spatio-temporal properties with nonlinear SAT..:

Matos Pedro, André ; Silva, Tomás ; Sequeira, Tiago...
International Journal on Software Tools for Technology Transfer. 26 (2024) 2 - p. 169-188 , 2024

Link: https://doi.org/10.1007/..

2

Monitoring of Spatio-Temporal Properties with Nonlinear SAT..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Matos Pedro, André de ; Silva, Tomás ; Sequeira, Tiago... - p. 155-171 , 2022

Link: https://doi.org/10.1007/..

3

SMT-based schedulability analysis using RMTL-∫:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 14 (2017) 3 - p. 40-42 , 2017

Link: https://dl.acm.org/doi/1..

4

SMT-based schedulability analysis using RMTL-∫:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 14 (2017) 3 - p. 40-42 , 2017

Link: https://doi.org/10.1145/..

5

Runtime verification of autopilot systems using a fragment ..:

de Matos Pedro, André ; Pinto, Jorge Sousa ; Pereira, David.
International Journal on Software Tools for Technology Transfer. 20 (2017) 4 - p. 379-395 , 2017

Link: https://doi.org/10.1007/..

6

Logic-based schedulability analysis for compositional hard ..:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 12 (2015) 1 - p. 56-64 , 2015

Link: https://doi.org/10.1145/..

7

Logic-based schedulability analysis for compositional hard ..:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 12 (2015) 1 - p. 56-64 , 2015

Link: https://dl.acm.org/doi/1..

8

STRIVE: A Co-Simulation-Based Testing Platform Enhanced wit..:

, In: 2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS),

Paatil, Praanav ; Datsenko, Daryna ; Cardoso, Mario.. - p. 1106-1111 , 2024

Link: https://doi.org/10.1109/..

9

llhsc: A DeviceTree Syntax and Semantic Checker:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Rodrigues, Vitor ; Pedro, Andre Matos - p. 251-258 , 2023

Link: https://doi.org/10.1109/..

10

Formal Contracts for Runtime Verification Support in the Ad..:

Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ARTEMIS/0001/2013 - JU grant nr. 621429 (EMC2). , 2015

Link: http://hdl.handle.net/10..

11

Internações masculinas por condições sensíveis a atenção pr..:

Paula, Cácia Régia de ; Pelazza, Bruno Bordin ; Lima, Flávio Henrique Alves de...
CONTRIBUCIONES A LAS CIENCIAS SOCIALES. 17 (2024) 7 - p. e8382 , 2024

Link: https://doi.org/10.55905..

12

Smart Monitoring of Constructed Wetlands to Improve Efficie..:

, In: Proceedings of the 5th International Symposium on Water Resource and Environmental Management; Environmental Science and Engineering,

Pinho, Henrique ; Barros, Manuel ; Teixeira, André... - p. 189-197 , 2023

Link: https://doi.org/10.1007/..

13

Impact of anthropogenic noise on the survival and developme..:

Trabulo, Rita ; Amorim, M. Clara P. ; Fonseca, Paulo J....
Marine Environmental Research. 185 (2023) - p. 105894 , 2023

Link: https://doi.org/10.1016/..

14

Cryosurgery-induced pneumomediastinum in a young woman with..:

Preto Gomes, NunoMiguel ; Matos, Pedro ; Amoedo, PatriciaPereira...
Indian Journal of Dermatology. 67 (2022) 4 - p. 458 , 2022

Link: https://doi.org/10.4103/..

15

Is urodynamics necessary to identify occult stress urinary ..:

Hwang, Susane Mei ; de Toledo, Luís Gustavo Morato ; da Silva Carramão, Silvia...
World Journal of Urology. 37 (2018) 1 - p. 189-193 , 2018

Link: https://doi.org/10.1007/..