Well Structured Transition Systems with History

by Parosh Abdulla, Giorgio Delzanno, Marco Montali
Published 2015-09-01

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

by Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Published 2011-08-01

Model Checking Paxos in Spin

by Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
Published 2014-08-01

Graph- versus Vector-Based Analysis of a Consensus Protocol

by Giorgio Delzanno, Arend Rensink, Riccardo Traverso
Published 2014-07-01

Automata-based Static Analysis of XML Document Adaptation

by Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
Published 2012-10-01

A Flexible IoT Stream Processing Architecture Based on Microservices

by Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
Published 2020-12-01

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things

by Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
Published 2018-02-01