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 bytecode Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2-) Closed-form upper bounds in static cost analysis Journal of automated reasoning 46, 161-203, 2011
3-) Cost analysis of object-oriented bytecode programs Theoretical Computer Science 413 (1), 142-159, 2012
4-) Automatic inference of upper bounds for recurrence relations in cost analysis Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
5-) COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode International Symposium on Formal Methods for Components and Objects, 113-132, 2007