The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dino Distefano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 3.476secs, Finished in 3.477secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002