( en | de | ru )

 

Disambiguation of "de Matos Pedro, André"

Author of the publication

copydeleteadd this publication to your clipboard
Real-time MTL with durations as SMT with applications to schedulability analysis.

, , , and . TASE, page 49-56. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Saulo De Matos

Pedro ˜deœ Almeida Moura

Mijo Matosevic

Benno Pedrotti

Luis Nuno Matos Pimentão

 

Other publications of authors with the same name

Towards a Runtime Verification Framework for the Ada Programming Language., , , and . Ada-Europe, volume 8454 of Lecture Notes in Computer Science, page 58-73. Springer, (2014)llhsc: A DeviceTree Syntax and Semantic Checker., and . DSN-W, page 251-258. IEEE, (2023)Dynamic contracts for verification and enforcement of real-time systems properties. University of Porto, Portugal, (2018)Runtime verification of autopilot systems using a fragment of MTL- $$$$ ∫., , , and . Int. J. Softw. Tools Technol. Transf., 20 (4): 379-395 (2018)Logic-based schedulability analysis for compositional hard real-time embedded systems., , , and . SIGBED Review, 12 (1): 56-64 (2015)Real-time MTL with durations as SMT with applications to schedulability analysis., , , and . TASE, page 49-56. IEEE, (2020)Learning Stochastic Timed Automata from Sample Executions., , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 508-523. Springer, (2012)SMT-based schedulability analysis using RMTL-∫., , , and . SIGBED Review, 14 (3): 40-42 (2017)Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 155-171. Springer, (2022)A Compositional Monitoring Framework for Hard Real-Time Systems., , , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 16-30. Springer, (2014)