Dino Distefano

Available identifiers

Publication	Date of Publication	Type
Compositional shape analysis by means of bi-abduction	2015-07-03	Paper
Variance analyses from invariance analyses	2014-09-12	Paper
Compositional Shape Analysis by Means of Bi-Abduction	2014-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2852078	2013-10-07	Paper
Runtime Verification Based on Register Automata	2013-08-05	Paper
Automated Cyclic Entailment Proofs in Separation Logic	2011-07-29	Paper
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic	2009-03-12	Paper
Scalable Shape Analysis for Systems Code	2008-07-15	Paper
Shape Analysis for Composite Data Structures	2007-11-29	Paper
Safety and Liveness in Concurrent Pointer Programs	2007-09-11	Paper
Automatic Termination Proofs for Programs with Shape-Shifting Heaps	2007-09-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Programming Languages and Systems	2006-10-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4762660	2001-02-22	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dino Distefano