Decentralized Stream Runtime Verification. - Luis Miguel Danielsson; César Sánchez 001 (RV, 2019)

Unifying the Time-Event Spectrum for Stream Runtime Verification. - Felipe Gorostiaga; Luis Miguel Danielsson; César Sánchez 001 (RV, 2020)

Decentralized Stream Runtime Verification for Timed Asynchronous Networks. - Luis Miguel Danielsson; César Sánchez 001 (IEEE Access, 2023)