Follow
Luis Miguel Danielsson
Luis Miguel Danielsson
PhD Student IMDEA Software Institute, Universidad Politécnica de Madrid (UPM)
Verified email at imdea.org - Homepage
Title
Cited by
Cited by
Year
Decentralized Stream Runtime Verification
LM Danielsson, C Sánchez
International Conference on Runtime Verification, 185-201, 2019
182019
Unifying the Time-Event Spectrum for Stream Runtime Verification
F Gorostiaga, LM Danielsson, C Sánchez
International Conference on Runtime Verification, 462-481, 2020
52020
Decentralized Stream Runtime Verification for Timed Asynchronous Networks
LM Danielsson, C Sánchez
IEEE Access, 2023
12023
Graduado en Ingeniería Informática
LMD Villegas
Decentralised Stream Runtime Verification
LMD Villegas
The system can't perform the operation now. Try again later.
Articles 1–5