Felipe Gorostiaga

29 papers A* 1A 1B 6C 3Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Counter Example Guided Reactive Synthesis for LTL Modulo Theories
CAV (4)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2025 J jnl
General monitorability of totally ordered verdict domains.
Innov. Syst. Softw. Eng.
Felipe Gorostiaga, César Sánchez
2025 C conf
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.
PADL
Felipe Gorostiaga, Martín Ceresa, César Sánchez
2025 — conf
Mode-Based Reactive Synthesis.
NFM
Matías Brizzio, Felipe Gorostiaga, César Sánchez, Renzo Degiovanni
2024 — conf
Offchain Runtime Verification (for The Tezos Blockchain).
ESORICS Workshops (1)
Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez
2024 — conf
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
ATVA (2)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2024 J jnl
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
CoRR
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2023 B conf
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.
RV
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
2023 J jnl
Retroactive Parametrized Monitoring.
CoRR
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
2022 — conf
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
ISoLA (1)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2022 — conf
Monitorability of Expressive Verdicts.
NFM
Felipe Gorostiaga, César Sánchez
2022 J jnl
Runtime verification of real-time event streams using the tool HStriver.
Formal Methods Syst. Des.
Felipe Gorostiaga, César Sánchez
2022 — —
Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems.
Felipe Gorostiaga
2021 A* conf
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
ICRA
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2021 — conf
HLola: a Very Functional Tool for Extensible Stream Runtime Verification.
TACAS (2)
Felipe Gorostiaga, César Sánchez
2021 B conf
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.
FM
Felipe Gorostiaga, César Sánchez
2021 B conf
Nested Monitors: Monitors as Expressions to Build Monitors.
RV
Felipe Gorostiaga, César Sánchez
2021 J jnl
Stream runtime verification of real-time event streams with the Striver language.
Int. J. Softw. Tools Technol. Transf.
Felipe Gorostiaga, César Sánchez
2020 B conf
Declarative Stream Runtime Verification (hLola).
APLAS
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2020 J jnl
Declarative Stream Runtime Verification (hLola).
CoRR
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2020 B conf
Unifying the Time-Event Spectrum for Stream Runtime Verification.
RV
Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez
2018 J jnl
A formal approach for the verification of the permission-based security model of Android.
CLEI Electron. J.
Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
2018 A conf
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.
ICWS
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 B conf
Striver: Stream Runtime Verification for Real-Time Event-Streams.
RV
Felipe Gorostiaga, César Sánchez
2018 — conf
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.
WISE (1)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2018 J jnl
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
CoRR
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
2017 C conf
A Certified Reference Validation Mechanism for the Permission Model of Android.
LOPSTR
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
2017 J jnl
A certified reference validation mechanism for the permission model of Android.
CoRR
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
2017 C conf
Towards formal model-based analysis and testing of Android's security mechanisms.
CLEI
Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz