Login / Signup
Paloma Pedregal
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
False Acceptance Rate
Top Venues
CoRR
RV
</>
Publications
</>
Paloma Pedregal
,
Felipe Gorostiaga
,
César Sánchez
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.
RV
(2023)
Paloma Pedregal
,
Felipe Gorostiaga
,
César Sánchez
Retroactive Parametrized Monitoring.
CoRR
(2023)