Ivana Filipovic

According to our database, Ivana Filipovic authored at least 3 papers in 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Abstraction for concurrent objects.

Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang

Theor. Comput. Sci., 2010

Blaming the client: on data refinement in the presence of pointers.

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang

Formal Aspects Comput., 2010

Memory Leaks Detection in Java by Bi-abductive Inference.

Dino Distefano, Ivana Filipovic

Proceedings of the Fundamental Approaches to Software Engineering, 2010