P. Arenas

发表

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

Elvira Albert, Samir Genaim, Germán Puebla, 2008, SAS.

Cost Analysis of Java Bytecode

Elvira Albert, Samir Genaim, Damiano Zanardini, 2007, ESOP.

SACO: Static Analyzer for Concurrent Objects

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.

Termination Analysis of Java Bytecode

Elvira Albert, Samir Genaim, Michael Codish, 2008, FMOODS.

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Samir Genaim, Germán Puebla, 2011, Journal of Automated Reasoning.

Cost analysis of object-oriented bytecode programs

Elvira Albert, Samir Genaim, Damiano Zanardini, 2012, Theor. Comput. Sci..

Asymptotic Resource Usage Bounds

Elvira Albert, Samir Genaim, Germán Puebla, 2009, APLAS.

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, FMCO.

Context-Sensitive Dynamic Partial Order Reduction

Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2017, CAV.

Systematic testing of actor systems

Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2018, Softw. Test. Verification Reliab..

Combining Lazy Narrowing with Disequality Constraints

Puri Arenas, Francisco Javier López-Fraguas, Ana Gil-Luezas, 1994, PLILP.

An Incremental Approach to Abstraction-Carrying Code

Elvira Albert, Germán Puebla, Puri Arenas, 2006, LPAR.

Incremental Certificates and Checkers for Abstraction-Carrying Code

E. Albert, P. Arenas, G. Puebla, 2006 .

Dealing with Numeric Fields in Termination Analysis of Java-like Languages ⋆

E. Albert, P. Arenas, S. Genaim, 2008 .

Resource Analysis in the COSTA System

E. Albert, P. Arenas, S. Genaim, 2012 .

Minimal Set Unification

Agostino Dovier, Puri Arenas, P. Arenas, 1995, PLILP.

Reduced Certificates for Abstraction-Carrying Code

Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, ICLP.

Functional Plus Logic Programming with Built-In and Symbolic Constraints

Puri Arenas, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo, 1999, PPDP.

Removing useless variables in cost analysis of Java bytecode

Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, SAC '08.

Object‐sensitive cost analysis for concurrent objects

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..

Conditional termination of loops over heap-allocated data

Elvira Albert, Samir Genaim, Germán Puebla, 2014, Sci. Comput. Program..

Cost Analysis of Concurrent OO Programs

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2011, APLAS.

Handling Non-linear Operations in the Value Analysis of COSTA

Samir Genaim, Puri Arenas, Diego Esteban Alonso-Blas, 2011, Bytecode@ETAPS.

Task-level analysis for a language with async/finish parallelism

Elvira Albert, Samir Genaim, Damiano Zanardini, 2011, LCTES '11.

Certificate size reduction in abstraction-carrying code* pdf

Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2010, Theory and Practice of Logic Programming.

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

Elvira Albert, Samir Genaim, Germán Puebla, 2010, SAS.

Field-Sensitive Value Analysis by Field-Insensitive Analysis

Elvira Albert, Samir Genaim, Germán Puebla, 2009, FM.

Resource Usage Analysis and Its Application to Resource Certification

Elvira Albert, Samir Genaim, Damiano Zanardini, 2009, FOSAD.

Automatic Inference of Bounds on Resource Consumption

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

Elvira Albert, Samir Genaim, Germán Puebla, 2009, PROLE.

Symbolic Execution of Concurrent Objects in CLP

Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2012, PADL.

IEEE 802.11 Throughput and Delay Analysis for mixed real time and normal data traffic

P. Matias Arenas, H. Walter Grote, P. Arenas, 2006 .

A general framework for lazy functional logic programming with algebraic polymorphic types

Mario Rodríguez-Artalejo, Puri Arenas, P. Arenas, 2001, Theory and Practice of Logic Programming.

An Overview of (and its uses of DataLog in Program Analysis/Optimization)

Jorge A. Navas, Elvira Albert, Manuel Carro, 2010 .

Some Issues on Incremental Abstraction-Carrying Code pdf

Elvira Albert, Germán Puebla, Puri Arenas, 2007, ArXiv.

Generation of reduced certificates in abstraction-carrying code

Elvira Albert, Germán Puebla, Puri Arenas, 2006 .

Under Consideration for Publication in Theory and Practice of Logic Programming Certificate Size Reduction in Abstraction-carrying Code *

E. Albert, P. Arenas, G. Puebla, 2022 .

aPET: a test case generation tool for concurrent objects

Elvira Albert, Miguel Gómez-Zamalloa, Peter Y. H. Wong, 2013, ESEC/FSE 2013.