Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 4.


Conchon, S, Delzanno, G and Ferrando, A ORCID: 0000-0002-8711-4670
(2019) Declarative parameterized verification of topology-sensitive distributed protocols. .


Ferrando, A and Delzanno, G ORCID: 0000-0001-7030-1050
(2021) Incrementally Predictive Runtime Verification. .


Ancona, D, Franceschini, L, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V
(2019) A deterministic event calculus for effective runtime verification. .


Ferrando, A ORCID: 0000-0002-8711-4670
(2019) The early bird catches the worm: First verify, then monitor! Science of Computer Programming, 172. 160 - 179.

This list was generated on Sat Sep 10 08:14:51 2022 BST.