( en | de | ru )

 

Disambiguation of "de Matos Pedro, André"

Author of the publication

copydeleteadd this publication to your clipboard
llhsc: A DeviceTree Syntax and Semantic Checker.

, and . DSN-W, page 251-258. IEEE, (2023)

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)Runtime verification of autopilot systems using a fragment of MTL- $$$$ ∫., , , and . Int. J. Softw. Tools Technol. Transf., 20 (4): 379-395 (2018)Dynamic contracts for verification and enforcement of real-time systems properties. University of Porto, Portugal, (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)SMT-based schedulability analysis using RMTL-∫., , , and . SIGBED Review, 14 (3): 40-42 (2017)Learning Stochastic Timed Automata from Sample Executions., , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 508-523. Springer, (2012)Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 155-171. Springer, (2022)Monitoring for a Decidable Fragment of MTL-∫., , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 169-184. Springer, (2015)