Elvira Albert

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim et al. · Journal of Automated Reasoning · 2010 · 156 citations

Mathematical Programming, Cost Allocation, Engineering +7

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim et al. · Theoretical Computer Science · 2011 · 119 citations

Software Maintenance, Engineering, Program Analysis +12

Operational semantics for declarative multi-paradigm languages

Elvira Albert, Michael Hanus, Frank Huch et al. · Journal of Symbolic Computation · 2005 · 94 citations

Formal Semantics, Syntax, Engineering +8

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Elvira Albert, Frank S. de Boer, Reiner Hähnle et al. · Service Oriented Computing and Applications · 2013 · 57 citations

Real-time Abs, Provisioning (Technology), Engineering +15

The narrowing-driven approach to functional logic program specialization

Elvira Albert, Germán Vidal · New Generation Computing · 2002 · 53 citations

Engineering, Automated Reasoning, Program Analysis +6