Ivana Filipovic

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
Abstraction for concurrent objects. Theor. Comput. Sci. 411 (51-52) (2010)
Dino Distefano, Ivana Filipovic
Memory Leaks Detection in Java by Bi-abductive Inference. FASE (2010)
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang
Blaming the client: on data refinement in the presence of pointers. Formal Aspects Comput. 22 (5) (2010)
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
Abstraction for Concurrent Objects. ESOP (2009)