( en | de | ru )

 

Disambiguation of "Gorostiaga, Felipe"

Author of the publication

copydeleteadd this publication to your clipboard
Declarative Stream Runtime Verification (hLola).

, , and . APLAS, volume 12470 of Lecture Notes in Computer Science, page 25-43. Springer, (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.

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)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 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)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)Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis., , and . CoRR, (2024)i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers., , and . CoRR, (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)HLola: a Very Functional Tool for Extensible Stream Runtime Verification., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 349-356. Springer, (2021)