Up a level |
Number of items: 2.
Ancona, D ORCID: 0000-0002-6297-2011, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V ORCID: 0000-0002-2261-9926
(2022)
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
.
Ancona, D, Franceschini, L, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V
(2019)
A deterministic event calculus for effective runtime verification.
.