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 | 249 | 2007 |
Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of automated reasoning 46, 161-203, 2011 | 220 | 2011 |
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 | 162 | 2012 |
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 | 142 | 2008 |
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 | 124 | 2008 |
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 | 89 | 2014 |
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 | 85 | 2008 |
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 | 49 | 2017 |
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 | 48 | 2011 |
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 | 44 | 2009 |
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 | 42 | 2015 |
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 | 42 | 1994 |
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 | 37 | 2012 |
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 | 27 | 2008 |
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 | 25 | 2011 |
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 | 25 | 2001 |
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 | 24 | 2010 |
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 | 24 | 2010 |
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 | 22 | 2013 |
Resource usage analysis and its application to resource certification E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial …, 2009 | 22 | 2009 |