Luis Miguel Danielsson

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Structured Peer To Peer

Colored Petri Nets

Asynchronous Communication

Verification Method

Top Venues

Publications

Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. CoRR (2023)
Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. IEEE Access 11 (2023)
Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV (2020)
Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification. RV (2019)