Towards formal model-based analysis and testing of Android's security mechanisms. - Gustavo Betarte; Juan Diego Campo; Maximiliano Cristiá; Felipe Gorostiaga; Carlos Luna 001; Camila Sanz (CLEI, 2017)

A Certified Reference Validation Mechanism for the Permission Model of Android. - Gustavo Betarte; Juan Diego Campo; Felipe Gorostiaga; Carlos Luna 001 (LOPSTR, 2017)

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 001 (ICWS, 2018)

Striver: Stream Runtime Verification for Real-Time Event-Streams. - Felipe Gorostiaga; César Sánchez 001 (RV, 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 001 (WISE (1), 2018)

A formal approach for the verification of the permission-based security model of Android. - Carlos Luna 001; Gustavo Betarte; Juan Diego Campo; Camila Sanz; Maximiliano Cristiá; Felipe Gorostiaga (CLEI Electron. J., 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 001 (CoRR, 2018)

Declarative Stream Runtime Verification (hLola). - Martín Ceresa; Felipe Gorostiaga; César Sánchez 001 (APLAS, 2020)

Unifying the Time-Event Spectrum for Stream Runtime Verification. - Felipe Gorostiaga; Luis Miguel Danielsson; César Sánchez 001 (RV, 2020)

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. - Felipe Gorostiaga; César Sánchez 001 (FM, 2021)

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. - Sebastián Zudaire; Felipe Gorostiaga; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ICRA, 2021)

Nested Monitors: Monitors as Expressions to Build Monitors. - Felipe Gorostiaga; César Sánchez 001 (RV, 2021)

HLola: a Very Functional Tool for Extensible Stream Runtime Verification. - Felipe Gorostiaga; César Sánchez 001 (TACAS (2), 2021)

Stream runtime verification of real-time event streams with the Striver language. - Felipe Gorostiaga; César Sánchez 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. - Felipe Gorostiaga; Sebastián Zudaire; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ISoLA (1), 2022)

Monitorability of Expressive Verdicts. - Felipe Gorostiaga; César Sánchez 001 (NFM, 2022)

Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems. - Felipe Gorostiaga (2022)

Runtime verification of real-time event streams using the tool HStriver. - Felipe Gorostiaga; César Sánchez 001 (Formal Methods Syst. Des., 2022)

A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. - Paloma Pedregal; Felipe Gorostiaga; César Sánchez 001 (RV, 2023)

Retroactive Parametrized Monitoring. - Paloma Pedregal; Felipe Gorostiaga; César Sánchez 001 (CoRR, 2023)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. - Andoni Rodríguez; Felipe Gorostiaga; César Sánchez 001 (ATVA (2), 2024)

Offchain Runtime Verification (for The Tezos Blockchain). - Margarita Capretto; Martín Ceresa; Felipe Gorostiaga; Fernando Macías; Paloma Pedregal; César Sánchez 001 (ESORICS Workshops (1), 2024)

Counter Example Guided Reactive Synthesis for LTL Modulo Theories*. - Andoni Rodríguez; Felipe Gorostiaga; César Sánchez 001 (CAV (4), 2025)

Mode-Based Reactive Synthesis. - Matías Brizzio; Felipe Gorostiaga; César Sánchez 001; Renzo Degiovanni (NFM, 2025)

MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. - Felipe Gorostiaga; Martín Ceresa; César Sánchez 001 (PADL, 2025)

General monitorability of totally ordered verdict domains. - Felipe Gorostiaga; César Sánchez 001 (Innov. Syst. Softw. Eng., 2025)