Dino Distefano
Título
Citado por
Citado por
Ano
Compositional shape analysis by means of bi-abduction
C Calcagno, D Distefano, PW O’hearn, H Yang
Journal of the ACM (JACM) 58 (6), 1-66, 2011
4812011
A local shape analysis based on separation logic
D Distefano, PW O’hearn, H Yang
International Conference on Tools and Algorithms for the Construction and …, 2006
3892006
jStar: Towards practical verification for Java
D Distefano, MJ Parkinson J
ACM Sigplan Notices 43 (10), 213-226, 2008
3172008
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
International Conference on Computer Aided Verification, 385-398, 2008
2952008
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
International Conference on Computer Aided Verification, 178-192, 2007
2632007
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods Symposium, 3-11, 2015
1602015
Automatic termination proofs for programs with shape-shifting heaps
J Berdine, B Cook, D Distefano, PW O’hearn
International Conference on Computer Aided Verification, 386-400, 2006
1402006
Infer: An automatic program verifier for memory safety of C programs
C Calcagno, D Distefano
NASA Formal Methods Symposium, 459-465, 2011
1222011
Variance analyses from invariance analyses
J Berdine, A Chawdhary, B Cook, D Distefano, P O'Hearn
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
962007
Abstract graph transformation
A Rensink, D Distefano
Electronic Notes in Theoretical Computer Science 157 (1), 39-59, 2006
832006
On a temporal logic for object-based systems
D Distefano, JP Katoen, A Rensink
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
832000
Beyond reachability: Shape abstraction in the presence of pointer arithmetic
C Calcagno, D Distefano, PW O’hearn, H Yang
International Static Analysis Symposium, 182-203, 2006
712006
Automated cyclic entailment proofs in separation logic
J Brotherston, D Distefano, RL Petersen
International Conference on Automated Deduction, 131-146, 2011
622011
Footprint analysis: A shape analysis that discovers preconditions
C Calcagno, D Distefano, PW O’hearn, H Yang
International Static Analysis Symposium, 402-418, 2007
562007
Prolonged release microspheres for injection delivery and preparation method
C Dulieu, JP Benoit
US Patent App. 10/296,314, 2004
522004
Bi-abductive resource invariant synthesis
C Calcagno, D Distefano, V Vafeiadis
Asian Symposium on Programming Languages and Systems, 259-274, 2009
442009
Who is pointing when to whom?
D Distefano, JP Katoen, A Rensink
International Conference on Foundations of Software Technology and …, 2004
412004
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
International Conference on Formal Verification of Object-Oriented Software …, 2011
352011
Model checking birth and death
D Distefano, A Rensink, JP Katoen
Foundations of Information Technology in the Era of Network and Mobile …, 2002
352002
Runtime verification based on register automata
R Grigore, D Distefano, RL Petersen, N Tzevelekos
International Conference on Tools and Algorithms for the Construction and …, 2013
312013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20