| 2025 | CAV | Counter Example Guided Reactive Synthesis for LTL Modulo Theories | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2025 | PADL | MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. | Felipe Gorostiaga, Martn Ceresa, Csar Snchez |
| 2024 | ATVA | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2024 | ESORICS | Offchain Runtime Verification (for The Tezos Blockchain). | Margarita Capretto, Martn Ceresa, Felipe Gorostiaga, Fernando Macas, Paloma Pedregal, Csar Snchez |
| 2023 | RV | A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. | Paloma Pedregal, Felipe Gorostiaga, Csar Snchez |
| 2022 | ISoLA | Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. | Felipe Gorostiaga, Sebastin Zudaire, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2021 | FM | HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. | Felipe Gorostiaga, Csar Snchez |
| 2021 | ICRA | Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. | Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2021 | RV | Nested Monitors: Monitors as Expressions to Build Monitors. | Felipe Gorostiaga, Csar Snchez |
| 2021 | TACAS | HLola: a Very Functional Tool for Extensible Stream Runtime Verification. | Felipe Gorostiaga, Csar Snchez |
| 2020 | APLAS | Declarative Stream Runtime Verification (hLola). | Martn Ceresa, Felipe Gorostiaga, Csar Snchez |
| 2020 | RV | Unifying the Time-Event Spectrum for Stream Runtime Verification. | Felipe Gorostiaga, Luis Miguel Danielsson, Csar Snchez |
| 2018 | ICWS | Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2018 | WISE | i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2018 | RV | Striver: Stream Runtime Verification for Real-Time Event-Streams. | Felipe Gorostiaga, Csar Snchez |
| 2017 | CLEI | 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 |
| 2017 | LOPSTR | A Certified Reference Validation Mechanism for the Permission Model of Android. | Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna |