Luis Miguel Danielsson

According to our database¹, Luis Miguel Danielsson authored at least 3 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Decentralized Stream Runtime Verification for Timed Asynchronous Networks.

[BibT_eX]

[DOI]

IEEE Access, 2023

2020

Unifying the Time-Event Spectrum for Stream Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Decentralized Stream Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019