16 citations · 43 across the 11 of their papers we have counts for
11 papers
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
Davide Ancona, Luca Franceschini, Giorgio Delzanno +3
In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non bl…
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
Domenico Cantone, Giorgio Delzanno
This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, I…
Well Structured Transition Systems with History
Parosh Abdulla, Giorgio Delzanno, Marco Montali
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of confi…
Verification of Relational Multiagent Systems with Data Types (Extended Version)
Diego Calvanese, Giorgio Delzanno, Marco Montali
We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific…
Model Checking Paxos in Spin
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed t…
Graph- versus Vector-Based Analysis of a Consensus Protocol
Giorgio Delzanno, Arend Rensink, Riccardo Traverso
The Paxos distributed consensus algorithm is a challenging case-study for standard, vector-based model checking techniques. Due to asynchronous communication, exhaustive analysis m…