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)

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)