DELZANNO, GIORGIO
DELZANNO, GIORGIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A classification of the expressive power of well-structured transition systems.
2011-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
A Flexible IoT Stream Processing Architecture Based on Microservices
2020-01-01 Bixio, Luca; Delzanno, Giorgio; Rebora, Stefano; Rulli, Matteo
A lightweight regular model checking approach for parameterized systems
2012-01-01 Delzanno, Giorgio; A., Rezine
A Specification Logic for Concurrent Object-Oriented Programming
1999-01-01 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus
2004-01-01 Delzanno, Giorgio
A unified view of parameterized verification of abstract models of broadcast communication
2016-01-01 Delzanno, Giorgio
Adding Data Registers to Parameterized Networks with Broadcast
2016-01-01 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
An Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
An Assertional Language for the Verification of Systems Parametric in Several Dimensions
2001-01-01 Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems
2002-01-01 Delzanno, Giorgio
Approximated parameterized verification of infinite-state processes with global conditions
2009-01-01 PAROSH AZIZ, Abdulla; Delzanno, Giorgio; Ahmed, Rezine
Automatic Passenger Counting on the Edge via Unsupervised Clustering
2023-01-01 Delzanno, Giorgio; Caputo, Luca; D'Agostino, Daniele; Grosso, Daniele; Mustajab, Abdul Hannan; Bixio, Luca; Rulli, Matteo
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints
2011-01-01 P., Abdulla; Delzanno, Giorgio; A., Rezine
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
2004-01-01 Delzanno, Giorgio; Bozzano, M.
BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies
2024-01-01 Delzanno, Giorgio; Grosso, Daniele; Guerrini, Giovanna; Lebole, Federico; Priarone, Silvia; Roccotiello, Enrica; Sugliano, Angela; Zanone, Giovanni; Adorni, Giovanni
Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs
2007-01-01 Delzanno, Giorgio
Constraint-based Deductive Model Checking
2001-01-01 Delzanno, Giorgio; Podelski, A.
Constraint-Based Verification of Parameterized Cache Coherence Protocols
2003-01-01 Delzanno, Giorgio
Covering sharing trees: a compact data structure for parameterized verification
2004-01-01 Delzanno, Giorgio; Jean Francois, Raskin; Laurent Van, Begin