A Debugging Model for Lazy Functional Logic Languages. - Puri Arenas-Sánchez; Ana Gil-Luezas (GULP-PRODE (2), 1994)

Combining Lazy Narrowing with Disequality Constraints. - Puri Arenas-Sánchez; Ana Gil-Luezas; Francisco Javier López-Fraguas (PLILP, 1994)

Minimal Set Unification. - Puri Arenas-Sánchez; Agostino Dovier (GULP-PRODE, 1995)

A Debugging Model for Lazy Narrowing - Puri Arenas-Sánchez; Ana Gil-Luezas (PLILP, 1995)

Real Constraints within a Functional Logic Language. - Puri Arenas-Sánchez; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Eva Ullán (APPIA-GULP-PRODE, 1996)

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (ILPS, 1997)

A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (TAPSOFT, 1997)

A Minimality Study for Set Unification. - Puri Arenas-Sánchez; Agostino Dovier (J. Funct. Log. Program., 1997)

Embedding Multiset Constraints into a Lazy Functional Logic Language. - Puri Arenas-Sánchez; Francisco Javier López-Fraguas; Mario Rodrúguez-Arteljo (PLILP/ALP, 1998)

Functional Plus Logic Programming with Built-In and Symbolic Constraints. - Puri Arenas-Sánchez; Francisco Javier López-Fraguas; Mario Rodrúguez-Arteljo (PPDP, 1999)

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (Theory Pract. Log. Program., 2001)

Reduced Certificates for Abstraction-Carrying Code. - Elvira Albert; Puri Arenas-Sánchez; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2006)

An Incremental Approach to Abstraction-Carrying Code. - Elvira Albert; Puri Arenas; Germán Puebla (LPAR, 2006)

Cost Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (ESOP, 2007)

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Damiano Zanardini (FMCO, 2007)

Some Issues on Incremental Abstraction-Carrying Code - Elvira Albert; Puri Arenas; Germán Puebla (CoRR, 2007)

Experiments in Cost Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (Bytecode@ETAPS, 2007)

Termination Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Michael Codish; Samir Genaim; Germán Puebla; Damiano Zanardini (FMOODS, 2008)

Removing useless variables in cost analysis of Java bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (SAC, 2008)

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla (SAS, 2008)

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla (PROLE, 2008)

Asymptotic Resource Usage Bounds. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim; German Puebla (APLAS, 2009)

Field-Sensitive Value Analysis by Field-Insensitive Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla (FM, 2009)

Comparing Cost Functions in Resource Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; Israel Herraiz; German Puebla (FOPARA, 2009)

Resource Usage Analysis and Its Application to Resource Certification. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (FOSAD, 2009)

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) - Puri Arenas; Damiano Zanardini (CoRR, 2009)

Termination and Cost Analysis with COSTA and its User Interfaces. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; German Puebla; Diana V. Ramírez-Deantes; Guillermo Román-Díez; Damiano Zanardini (PROLE, 2009)

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Diana V. Ramírez-Deantes (SAS, 2010)

Cost Analysis of Concurrent OO Programs. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; German Puebla (APLAS, 2011)

Task-level analysis for a language with async/finish parallelism. - Elvira Albert; Puri Arenas; Samir Genaim; Damiano Zanardini (LCTES, 2011)

Handling Non-linear Operations in the Value Analysis of COSTA. - Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim (Bytecode@ETAPS, 2011)

Preface. - Puri Arenas; Víctor M. Gulías (PROLE, 2011)

Closed-Form Upper Bounds in Static Cost Analysis. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla (J. Autom. Reason., 2011)

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

Towards Testing Concurrent Objects in CLP. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (ICLP (Technical Communications), 2012)

Automatic Inference of Resource Consumption Bounds. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; Germán Puebla (LPAR, 2012)

Symbolic Execution of Concurrent Objects in CLP. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (PADL, 2012)

COSTABS: a cost and termination analyzer for ABS. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; Germán Puebla (PEPM, 2012)

Cost analysis of object-oriented bytecode programs. - Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Damiano Zanardini (Theor. Comput. Sci., 2012)

Certificate size reduction in abstraction-carrying code. - Elvira Albert; Puri Arenas; Germán Puebla; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2012)

Precise Cost Analysis via Local Reasoning. - Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim (ATVA, 2013)

aPET: a test case generation tool for concurrent objects. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa; Peter Y. H. Wong (ESEC/SIGSOFT FSE, 2013)

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (FORTE, 2014)

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa; José Miguel Rojas (SFM, 2014)

SACO: Static Analyzer for Concurrent Objects. - Elvira Albert; Puri Arenas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; German Puebla; Guillermo Román-Díez (TACAS, 2014)

Conditional termination of loops over heap-allocated data. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Guillermo Román-Díez (Sci. Comput. Program., 2014)

Test Case Generation of Actor Systems. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (ATVA, 2015)

Resource Analysis: From Sequential to Concurrent and Distributed Programs. - Elvira Albert; Puri Arenas; Jesús Correas; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; Germán Puebla; Guillermo Román-Díez (FM, 2015)

A practical comparator of cost functions and its applications. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla (Sci. Comput. Program., 2015)

Object-sensitive cost analysis for concurrent objects. - Elvira Albert; Puri Arenas; Jesús Correas Fernández; Samir Genaim; Miguel Gómez-Zamalloa; Germán Puebla; Guillermo Román-Díez (Softw. Test. Verification Reliab., 2015)

Testing of concurrent and imperative software using CLP. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (PPDP, 2016)

Context-Sensitive Dynamic Partial Order Reduction. - Elvira Albert; Puri Arenas; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Peter J. Stuckey (CAV (1), 2017)

Systematic testing of actor systems. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa (Softw. Test. Verification Reliab., 2018)