( en | de | ru )

 

Disambiguation of "Gorostiaga, Felipe"

Author of the publication

copydeleteadd this publication to your clipboard
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

, , , , and . ICRA, page 6824-6830. IEEE, (2021)

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.

Felipe Zambaldi

Felipe Ortuño

Felipe Vieira

Felipe Huici

Felipe Herrera

 

Other publications of authors with the same name

Towards formal model-based analysis and testing of Android's security mechanisms., , , , , and . CLEI, page 1-10. IEEE, (2017)A Certified Reference Validation Mechanism for the Permission Model of Android., , , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 271-288. Springer, (2017)Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions., , , , and . ICRA, page 6824-6830. IEEE, (2021)HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams., and . FM, volume 13047 of Lecture Notes in Computer Science, page 563-580. Springer, (2021)A Stream Runtime Verification Tool with Nested and Retroactive Parametrization., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 351-362. Springer, (2023)Nested Monitors: Monitors as Expressions to Build Monitors., and . RV, volume 12974 of Lecture Notes in Computer Science, page 164-183. Springer, (2021)Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems.. Technical University of Madrid, Spain, (2022)Declarative Stream Runtime Verification (hLola)., , and . APLAS, volume 12470 of Lecture Notes in Computer Science, page 25-43. Springer, (2020)Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications., , and . ICWS, page 379-382. IEEE, (2018)Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification., , , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 397-414. Springer, (2022)