Searching for authors named "Dino Distefano" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
A Parametric Model for the Analysis of Mobile Ambients
- …A Parametric Model for the Analysis of Mobile Ambients Dino Distefano Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract graph transformation
- … rensink@(email omitted); Dino Distefano Department of Computer Science, Queen Mary University of London ddino…
- Cited by 5 (1 self) – Add To MetaCart
-
Variance analyses from invariance analyses
- … Analyses Dino Distefano Queen Mary, University of London ddino@(email omitted); An invariance assertion for a…
- Cited by 13 (2 self) – Add To MetaCart
-
On a Temporal Logic for Object-Based Systems
- …On a Temporal Logic for Object-Based Systems Dino Distefano, Joost-Pieter Katoen and Arend Rensink…
- Cited by 29 (3 self) – Add To MetaCart
-
Model Checking Birth And Death
- …MODEL CHECKING BIRTH AND DEATH # Dino Distefano, Arend Rensink, Joost-Pieter Katoen Faculty…
- Cited by 14 (12 self) – Add To MetaCart
-
Who is Pointing When to Whom: On Model-Checking Pointer Structures
- …Who is pointing when to whom: on model-checking pointer structures ∗ Dino Distefano, Arend Rensink…
- Cited by 6 (6 self) – Add To MetaCart
-
Model Checking Dynamic Allocation and Deallocation
- …Model Checking Dynamic Allocation and Deallocation # Dino Distefano, Arend Rensink, Joost…
- Cited by 2 (2 self) – Add To MetaCart
-
Safety and Liveness in Concurrent Pointer Programs
- …Safety and Liveness in Concurrent Pointer Programs Dino Distefano 1 , Joost-Pieter Katoen 2…
- Cited by 3 (0 self) – Add To MetaCart
-
Language Constructs and Features—Classes and inheritance
- …jStar: Towards Practical Verification for Java j j j Dino Distefano Queen Mary, University…
- Add To MetaCart
-
Compositional Shape Analysis
- …Compositional Shape Analysis Cristiano Calcagno Imperial College, London ccris@(email omitted); Dino…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
