Cost analysis of java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini European symposium on programming, 157-172, 2007 | 205 | 2007 |

Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of Automated Reasoning 46 (2), 161-203, 2011 | 157 | 2011 |

Operational semantics for declarative multi-paradigm languages E Albert, M Hanus, F Huch, J Oliver, G Vidal Journal of Symbolic Computation 40 (1), 795-829, 2005 | 124 | 2005 |

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 | 123 | 2012 |

Automatic inference of upper bounds for recurrence relations in cost analysis E Albert, P Arenas, S Genaim, G Puebla International Static Analysis Symposium, 221-237, 2008 | 103 | 2008 |

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini International Symposium on Formal Methods for Components and Objects, 113-132, 2007 | 101 | 2007 |

Termination analysis of Java bytecode E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 77 | 2008 |

SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... International Conference on Tools and Algorithms for the Construction and …, 2014 | 73 | 2014 |

Abstraction-carrying code E Albert, G Puebla, M Hermenegildo International Conference on Logic for Programming Artificial Intelligence …, 2005 | 71 | 2005 |

A practical partial evaluator for a multi-paradigm declarative language E Albert, M Hanus International Symposium on Functional and Logic Programming, 326-342, 2001 | 69 | 2001 |

The narrowing-driven approach to functional logic program specialization E Albert, G Vidal New Generation Computing 20 (1), 3-26, 2002 | 65 | 2002 |

Heap space analysis for java bytecode E Albert, S Genaim, M Gomez-Zamalloa Proceedings of the 6th international symposium on Memory management, 105-116, 2007 | 63 | 2007 |

May-happen-in-parallel based deadlock analysis for concurrent objects AE Flores-Montoya, E Albert, S Genaim Formal Techniques for Distributed Systems, 273-288, 2013 | 56 | 2013 |

Parametric inference of memory requirements for garbage collected languages E Albert, S Genaim, M Gómez-Zamalloa ACM Sigplan Notices 45 (8), 121-130, 2010 | 52 | 2010 |

Live heap space analysis for languages with garbage collection E Albert, S Genaim, M Gómez-Zamalloa Gil Proceedings of the 2009 international symposium on Memory management, 129-138, 2009 | 49 | 2009 |

Test case generation for object-oriented imperative languages in CLP M Gómez-Zamalloa, E Albert, GÁ Puebla Theory and Practice of Logic Programming 10 (4-6), 659-674, 2010 | 48 | 2010 |

Verification of Java bytecode using analysis and transformation of logic programs E Albert, M Gómez-Zamalloa, L Hubert, G Puebla International Symposium on Practical Aspects of Declarative Languages, 124-139, 2007 | 48 | 2007 |

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems PYH Wong, E Albert, R Muschevici, J Proença, J Schäfer, R Schlatte International Journal on Software Tools for Technology Transfer 14 (5), 567-588, 2012 | 44 | 2012 |

Cost analysis of concurrent OO programs E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla Asian Symposium on Programming Languages and Systems, 238-254, 2011 | 42 | 2011 |

Improving control in functional logic program specialization E Albert, M Alpuente, M Falaschi, P Julián, G Vidal International Static Analysis Symposium, 262-277, 1998 | 42 | 1998 |