Follow
Puri Arenas
Puri Arenas
Associate Professor
Verified email at sip.ucm.es
Title
Cited by
Cited by
Year
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2442007
Closed-form upper bounds in static cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Journal of automated reasoning 46, 161-203, 2011
2122011
Cost analysis of object-oriented bytecode programs
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Theoretical Computer Science 413 (1), 142-159, 2012
1552012
Automatic inference of upper bounds for recurrence relations in cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
1312008
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008
1162008
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
822008
Context-sensitive dynamic partial order reduction
E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
462017
Cost analysis of concurrent OO programs
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011
452011
Termination and cost analysis with COSTA and its user interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramírez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
432009
Combining lazy narrowing with disequality constraints
P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas
Programming Language Implementation and Logic Programming: 6th International …, 1994
421994
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
412015
COSTABS: a cost and termination analyzer for ABS
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
372012
Removing useless variables in cost analysis of Java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Proceedings of the 2008 ACM symposium on Applied computing, 368-375, 2008
262008
Task-level analysis for a language with async/finish parallelism
E Albert, P Arenas, S Genaim, D Zanardini
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers …, 2011
252011
A general framework for lazy functional logic programming with algebraic polymorphic types
P Arenas-Sánchez, M Rodríguez-Artalejo
Theory and Practice of Logic Programming 1 (2), 185-245, 2001
242001
aPET: a test case generation tool for concurrent objects
E Albert, P Arenas, M Gómez-Zamalloa, PYH Wong
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
222013
Comparing cost functions in resource analysis
E Albert, P Arenas, S Genaim, I Herraiz, G Puebla
Foundational and Practical Aspects of Resource Analysis: First International …, 2010
222010
A semantic framework for functional logic programming with algebraic polymorphic types
P Arenas-Sánchez, M Rodríguez-Artalejo
Colloquium on Trees in Algebra and Programming, 453-464, 1997
221997
From object fields to local variables: a practical approach to field-sensitive analysis
E Albert, P Arenas, S Genaim, G Puebla, DV Ramírez Deantes
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
212010
The system can't perform the operation now. Try again later.
Articles 1–20