Diana V. Ramírez-Deantes

Publication Activity (10 Years)

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

Publications

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS (2010)
Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS (2010)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
Termination and Cost Analysis with COSTA and its User Interfaces. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)