Search the dblp DataBase

Publications of Author

1. Dino Distefano
   A Parametric Model for the Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   APLAS, 2005, pp:401-417 [Conf]
   
2. Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn
   Automatic Termination Proofs for Programs with Shape-Shifting Heaps. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:386-400 [Conf]
   
3. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
   Safety and Liveness in Concurrent Pointer Programs. [Citation Graph (0, 0)][DBLP]
   FMCO, 2005, pp:280-312 [Conf]
   
4. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
   On a Temporal Logic for Object-Based Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2000, pp:285-304 [Conf]
   
5. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
   Who is Pointing When to Whom? [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2004, pp:250-262 [Conf]
   
6. Dino Distefano, Arend Rensink, Joost-Pieter Katoen
   Model Checking Birth and Death. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2002, pp:435-447 [Conf]
   
7. Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn
   Variance analyses from invariance analyses. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:211-224 [Conf]
   
8. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
   Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. [Citation Graph (0, 0)][DBLP]
   SAS, 2006, pp:182-203 [Conf]
   
9. Dino Distefano, Peter W. O'Hearn, Hongseok Yang
   A Local Shape Analysis Based on Separation Logic. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:287-302 [Conf]
   
10. Arend Rensink, Dino Distefano
    Abstract Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:39-59 [Journal]
    
11. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
    Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:178-192 [Conf]
    
12. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Footprint Analysis: A Shape Analysis That Discovers Preconditions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:402-418 [Conf]
    
13. 
    Bi-abductive Resource Invariant Synthesis. [Citation Graph (, )][DBLP]
    
    
14. 
    Abductive Inference for Reasoning about Heaps. [Citation Graph (, )][DBLP]
    
    
15. 
    Scalable Shape Analysis for Systems Code. [Citation Graph (, )][DBLP]
    
    
16. 
    Memory Leaks Detection in Java by Bi-abductive Inference. [Citation Graph (, )][DBLP]
    
    
17. 
    Space Invading Systems Code. [Citation Graph (, )][DBLP]
    
    
18. 
    jStar: towards practical verification for java. [Citation Graph (, )][DBLP]
    
    
19. 
    Compositional shape analysis by means of bi-abduction. [Citation Graph (, )][DBLP]
    
    
20. 
    Attacking Large Industrial Code with Bi-abductive Inference. [Citation Graph (, )][DBLP]