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 | 240 | 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 | 211 | 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 | 155 | 2012 |

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 | 136 | 2005 |

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 | 128 | 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 | 119 | 2008 |

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey Automated Technology for Verification and Analysis: 16th International …, 2018 | 113 | 2018 |

SACO: Static Analyzer for Concurrent Objects. E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... TACAS 14, 562-567, 2014 | 87 | 2014 |

Abstraction-carrying code E Albert, G Puebla, M Hermenegildo Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 85 | 2005 |

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 | 83 | 2008 |

Gasol: Gas analysis and optimization for ethereum smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 71 | 2020 |

A practical partial evaluator for a multi-paradigm declarative language E Albert, M Hanus, G Vidal Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001 | 70 | 2001 |

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 | 69 | 2007 |

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

May-happen-in-parallel based deadlock analysis for concurrent objects AE Flores-Montoya, E Albert, S Genaim Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013 | 63 | 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 | 63 | 2010 |

Verification of Java bytecode using analysis and transformation of logic programs E Albert, M Gómez-Zamalloa, L Hubert, G Puebla Practical Aspects of Declarative Languages: 9th International Symposium …, 2007 | 63 | 2007 |

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS E Albert, FS de Boer, R Hähnle, EB Johnsen, R Schlatte, SL Tapia Tarifa, ... Service Oriented Computing and Applications 8, 323-339, 2014 | 60 | 2014 |

On the inference of resource usage upper and lower bounds E Albert, S Genaim, AN Masud ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35, 2013 | 57 | 2013 |

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 | 56 | 2009 |