Puri Arenas

Puri Arenas

Universidad Complutense de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 1266030
Complutense University of Madrid
person_outline Puri Arenas's MOST POPULAR ARTICLES
1-) Cost analysis of java bytecodeE Albert, P Arenas, S Genaim, G Puebla, D ZanardiniEuropean symposium on programming, 157-172, 20072412007
2-) Closed-form upper bounds in static cost analysisE Albert, P Arenas, S Genaim, G PueblaJournal of automated reasoning 46 (2), 161-203, 20112102011
3-) Cost analysis of object-oriented bytecode programsE Albert, P Arenas, S Genaim, G Puebla, D ZanardiniTheoretical Computer Science 413 (1), 142-159, 20121552012
4-) Automatic inference of upper bounds for recurrence relations in cost analysisE Albert, P Arenas, S Genaim, G PueblaStatic Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 20081432008
5-) COSTA: Design and Implementation of a Cost and Termination Analyzer for Java BytecodeE Albert, P Arenas, S Genaim, G Puebla, D ZanardiniFormal Methods for Components and Objects: 6th International Symposium, FMCO …, 20081242008