Seguir
Paloma Pedregal
Paloma Pedregal
Otros nombresPaloma Pedregal Helft
Afiliación desconocida
Dirección de correo verificada de imdea.org
Título
Citado por
Citado por
Año
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
Microarchitecture simulation for security
P Pedregal Helft
ETSI_Informatica, 2018
2018
Gait optimization for swimming snake robot
P Pedregal Helft
ETSI_Informatica, 2016
2016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4