Seguir
Luis Miguel Danielsson
Luis Miguel Danielsson
PhD Student IMDEA Software Institute, Universidad Politécnica de Madrid (UPM)
Dirección de correo verificada de imdea.org - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5