Diana V. Ramírez-Deantes

According to our database, Diana V. Ramírez-Deantes authored at least 4 papers between 2009 and 2011.

Collaborative distances:

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

2011

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java.

Diana V. Ramírez-Deantes

PhD thesis, 2011

2010

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes

Proceedings of the Static Analysis - 17th International Symposium, 2010

Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.

Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Termination and Cost Analysis with COSTA and its User Interfaces.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009