Elvira Albert
Title
Cited by
Cited by
Year
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
European symposium on programming, 157-172, 2007
2262007
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
2002011
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
1412012
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
1312005
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
1222008
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
1192007
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
852014
Abstraction-carrying code
E Albert, G Puebla, M Hermenegildo
International Conference on Logic for Programming Artificial Intelligence …, 2005
802005
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
782008
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
692001
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
672007
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
662018
The narrowing-driven approach to functional logic program specialization
E Albert, G Vidal
New Generation Computing 20 (1), 3-26, 2002
652002
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
632013
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
592007
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
582010
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
542009
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, SLT Tarifa, ...
Service Oriented Computing and Applications 8 (4), 323-339, 2014
532014
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
522010
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
512012
The system can't perform the operation now. Try again later.
Articles 1–20