Searching for authors named "Giorgio Delzanno" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
On Efficient Data Structures for the Verification of Parameterized Synchronous Systems
- …On Ecient Data Structures for the Verication of Parameterized Synchronous Systems Giorgio Delzanno…
- Add To MetaCart
-
On the Automated Verification of Parameterized Concurrent Systems with Unbounded Local Data
- …On the Automated Verication of Parameterized Concurrent Systems with Unbounded Local Data Giorgio…
- Add To MetaCart
-
Verification of Consistency Protocols via Infinite-state Symbolic Model Checking - A Case Study
- … { Giorgio Delzanno DISI - University of Genova via Dodecaneso 35, 16146 Italy email:delzanno…
- Cited by 4 (1 self) – Add To MetaCart
-
Specification of Term Rewriting in Linear Logic
- …Specification of Term Rewriting in Linear Logic Giorgio Delzanno Max-Planck-Institut fur…
- Cited by 1 (1 self) – Add To MetaCart
-
A compositional semantics for chr
- …ABSTRACT A compositional Semantics for CHR Giorgio Delzanno Dip. di Informatica e Scienze dell…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Verification of Parameterized Cache Coherence Protocols
- …Automatic Verication of Parameterized Cache Coherence Protocols Giorgio Delzanno DISI - University…
- Cited by 48 (3 self) – Add To MetaCart
-
Beyond Parameterized Verification: Automated Verification of Multi-client Protocols with Unbounded Local Data
- … Local Data Marco Bozzano and Giorgio Delzanno Dipartimento di Informatica e Scienze dell…
- Add To MetaCart
-
Automated Verification of Security Protocols
- …Automated Verication of Security Protocols Marco Bozzano 1 Giorgio Delzanno 2 1 ITC - IRST Via…
- Add To MetaCart
-
Constraint-based Deductive Model Checking
- …-based Deductive Model Checking Giorgio Delzanno and Andreas Podelski Max-Planck-Institut fur Informatik Im…
- Cited by 18 (4 self) – Add To MetaCart
-
Constraint-based Verification of Client-Server Protocols
- …Constraint-based Verication of Client-Server Protocols Giorgio Delzanno 1 and Tevk Bultan 2 1…
- Cited by 9 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
