Browse by People

Ferrando, A ORCID: 0000-0002-8711-4670 and Malvone, V (2021) Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper)? .

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

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. .

Ferrando, A ORCID: 0000-0002-8711-4670 and Malvone, V ORCID: 0000-0001-6138-4229 (2022) Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa. .

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

Losapio, G ORCID: 0000-0002-1024-7512, Minutoli, F ORCID: 0000-0002-5472-7673, Mascardi, V and Ferrando, A ORCID: 0000-0002-8711-4670 (2021) Smart balancing of E-scooter sharing systems via deep reinforcement learning. .

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. pp. 160-179.