Felipe Gorostiaga

According to our database, Felipe Gorostiaga authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.

Andoni Rodríguez, Felipe Gorostiaga, César Sánchez

CoRR, 2024

2023

Retroactive Parametrized Monitoring.

Paloma Pedregal, Felipe Gorostiaga, César Sánchez

CoRR, 2023

A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.

Paloma Pedregal, Felipe Gorostiaga, César Sánchez

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

Runtime verification of real-time event streams using the tool HStriver.

Felipe Gorostiaga, César Sánchez

Formal Methods Syst. Des., August, 2022

Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems.

Felipe Gorostiaga

PhD thesis, 2022

Monitorability of Expressive Verdicts.

Felipe Gorostiaga, César Sánchez

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.

Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Stream runtime verification of real-time event streams with the Striver language.

Felipe Gorostiaga, César Sánchez

Int. J. Softw. Tools Technol. Transf., 2021

HLola: a Very Functional Tool for Extensible Stream Runtime Verification.

Felipe Gorostiaga, César Sánchez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Nested Monitors: Monitors as Expressions to Build Monitors.

Felipe Gorostiaga, César Sánchez

Proceedings of the Runtime Verification - 21st International Conference, 2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.

Felipe Gorostiaga, César Sánchez

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Unifying the Time-Event Spectrum for Stream Runtime Verification.

Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez

Proceedings of the Runtime Verification - 20th International Conference, 2020

Declarative Stream Runtime Verification (hLola).

Martín Ceresa, Felipe Gorostiaga, César Sánchez

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2018

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

CoRR, 2018

A formal approach for the verification of the permission-based security model of Android.

Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga

CLEI Electron. J., 2018

i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

Striver: Stream Runtime Verification for Real-Time Event-Streams.

Felipe Gorostiaga, César Sánchez

Proceedings of the Runtime Verification - 18th International Conference, 2018

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

2017

A Certified Reference Validation Mechanism for the Permission Model of Android.

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Towards formal model-based analysis and testing of Android's security mechanisms.

Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017