Browse by People


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


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


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 Fri Sep 24 03:16:15 2021 BST.