( en | de | ru )

 

Disambiguation of "Gorostiaga, Felipe"

Author of the publication

copydeleteadd this publication to your clipboard
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.

, , and . ICWS, page 379-382. IEEE, (2018)

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

A formal approach for the verification of the permission-based security model of Android., , , , , and . CLEI Electron. J., (2018)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)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)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)Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions., , , , and . ICRA, page 6824-6830. IEEE, (2021)Runtime verification of real-time event streams using the tool HStriver., and . Formal Methods Syst. Des., 61 (1): 3-34 (August 2022)Striver: Stream Runtime Verification for Real-Time Event-Streams., and . RV, volume 11237 of Lecture Notes in Computer Science, page 282-298. Springer, (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)