Follow
Elvira Albert
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
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
1392005
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
International symposium on automated technology for verification and …, 2018
1372018
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
Gasol: Gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2020
1042020
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
Abstraction-carrying code
E Albert, G Puebla, M Hermenegildo
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
872005
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
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
752014
A practical partial evaluator for a multi-paradigm declarative language
E Albert, M Hanus, G Vidal
International Symposium on Functional and Logic Programming, 326-342, 2001
742001
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
702007
May-happen-in-parallel based deadlock analysis for concurrent objects
AE Flores-Montoya, E Albert, S Genaim
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
672013
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
652010
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
642007
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
642002
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
592013
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
572010
The system can't perform the operation now. Try again later.
Articles 1–20