Striver: Stream runtime verification for real-time event-streams F Gorostiaga, C Sánchez
International Conference on Runtime Verification, 282-298, 2018
61 2018 Assumption monitoring using runtime verification for UAV temporal task plan executions S Zudaire, F Gorostiaga, C Sánchez, G Schneider, S Uchitel
2021 IEEE International Conference on Robotics and Automation (ICRA), 6824-6830, 2021
16 2021 Stream runtime verification of real-time event streams with the Striver language F Gorostiaga, C Sánchez
International Journal on Software Tools for Technology Transfer 23 (2), 157-183, 2021
16 2021 HLola: a very functional tool for extensible stream runtime verification F Gorostiaga, C Sánchez
International Conference on Tools and Algorithms for the Construction and …, 2021
16 2021 Declarative stream runtime verification (hLola) M Ceresa, F Gorostiaga, C Sánchez
Asian Symposium on Programming Languages and Systems, 25-43, 2020
14 2020 Towards formal model-based analysis and testing of Android's security mechanisms G Betarte, J Campo, M Cristiá, F Gorostiaga, C Luna, C Sanz
2017 XLIII Latin American Computer Conference (CLEI), 1-10, 2017
14 2017 Nested monitors: monitors as expressions to build monitors F Gorostiaga, C Sánchez
International Conference on Runtime Verification, 164-183, 2021
8 2021 A formal approach for the verification of the permission-based security model of Android C Luna, G Betarte, J Campo, C Sanz, M Cristiá, F Gorostiaga
CLEI electronic journal 21 (2), 3: 1-3: 22, 2018
8 2018 Monitorability of expressive verdicts F Gorostiaga, C Sánchez
NASA Formal Methods Symposium, 693-712, 2022
6 2022 HStriver: a very functional extensible tool for the runtime verification of real-time event streams F Gorostiaga, C Sánchez
International Symposium on Formal Methods, 563-580, 2021
6 2021 A certified reference validation mechanism for the permission model of android G Betarte, J Campo, F Gorostiaga, C Luna
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
6 2017 Unifying the time-event spectrum for stream runtime verification F Gorostiaga, LM Danielsson, C Sánchez
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
5 2020 PC de Guzmán, F Gorostiaga, C Sánchez
International Conference on Web Information Systems Engineering, 81-95, 2018
5 * 2018 Pipekit: A deployment tool with advanced scheduling and inter-service communication for multi-tier applications PC de Guzmán, F Gorostiaga, C Sánchez
2018 IEEE International Conference on Web Services (ICWS), 379-382, 2018
3 2018 Assumption monitoring of temporal task planning using stream runtime verification F Gorostiaga, S Zudaire, C Sánchez, G Schneider, S Uchitel
International Symposium on Leveraging Applications of Formal Methods, 397-414, 2022
2 2022 Theory and practice of stream runtime verification for sequences and real-time event based systems F Gorostiaga
ETSI_Informatica, 2022
1 2022 General monitorability of totally ordered verdict domains F Gorostiaga, C Sánchez
Innovations in Systems and Software Engineering, 1-14, 2024
2024 A Stream Runtime Verification Tool with Nested and Retroactive Parametrization P Pedregal, F Gorostiaga, C Sánchez
International Conference on Runtime Verification, 351-362, 2023
2023 Retroactive Parametrized Monitoring P Pedregal, F Gorostiaga, C Sanchez
arXiv preprint arXiv:2307.06763, 2023
2023 Runtime verification of real-time event streams using the tool HStriver F Gorostiaga, C Sánchez
Formal Methods in System Design 61 (1), 3-34, 2022
2022 
Cesar SanchezResearch Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
