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 (PROLE, 2009)

Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. - Diana V. Ramírez-Deantes; Jesús Correas; Germán Puebla (FACS, 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 (SAS, 2010)

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 (2011)