DELZANNO, GIORGIO

DELZANNO, GIORGIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autore(i) File
A classification of the expressive power of well-structured transition systems. 1-gen-2011 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
A Flexible IoT Stream Processing Architecture Based on Microservices 1-gen-2020 Bixio, Luca; Delzanno, Giorgio; Rebora, Stefano; Rulli, Matteo
A lightweight regular model checking approach for parameterized systems 1-gen-2012 Delzanno, Giorgio; A., Rezine
A Specification Logic for Concurrent Object-Oriented Programming 1-gen-1999 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus 1-gen-2004 Delzanno, Giorgio
A unified view of parameterized verification of abstract models of broadcast communication 1-gen-2016 Delzanno, Giorgio
Adding Data Registers to Parameterized Networks with Broadcast 1-gen-2016 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
An Acceptance Testing Approach for Internet of Things Systems 1-gen-2018 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 1-gen-2001 Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs 1-gen-2002 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 1-gen-2002 Delzanno, Giorgio
Approximated parameterized verification of infinite-state processes with global conditions 1-gen-2009 PAROSH AZIZ, Abdulla; Delzanno, Giorgio; Ahmed, Rezine
Automatic Passenger Counting on the Edge via Unsupervised Clustering 1-gen-2023 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 1-gen-2011 P., Abdulla; Delzanno, Giorgio; A., Rezine
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols 1-gen-2004 Delzanno, Giorgio; Bozzano, M.
Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs 1-gen-2007 Delzanno, Giorgio
Constraint-based Deductive Model Checking 1-gen-2001 Delzanno, Giorgio; Podelski, A.
Constraint-Based Verification of Parameterized Cache Coherence Protocols 1-gen-2003 Delzanno, Giorgio
Covering sharing trees: a compact data structure for parameterized verification 1-gen-2004 Delzanno, Giorgio; Jean Francois, Raskin; Laurent Van, Begin
Deciding Reachability in Mobile Ambients with Name Restriction 1-gen-2009 Delzanno, Giorgio; Montagna, R.