Puri Arenas

According to our database, Puri Arenas authored at least 53 papers between 1994 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Systematic testing of actor systems.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Softw. Test. Verification Reliab., 2018

2017

Context-Sensitive Dynamic Partial Order Reduction.

Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Testing of concurrent and imperative software using CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

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

A practical comparator of cost functions and its applications.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Sci. Comput. Program., 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

Proceedings of the FM 2015: Formal Methods, 2015

Test Case Generation of Actor Systems.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Automated Technology for Verification and Analysis, 2015

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Formal Methods for Executable Software Models, 2014

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

aPET: a test case generation tool for concurrent objects.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Precise Cost Analysis via Local Reasoning.

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Certificate size reduction in abstraction-carrying code.

Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2012

Cost analysis of object-oriented bytecode programs.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Theor. Comput. Sci., 2012

COSTABS: a cost and termination analyzer for ABS.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Symbolic Execution of Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Practical Aspects of Declarative Languages, 2012

Automatic Inference of Resource Consumption Bounds.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Towards Testing Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Closed-Form Upper Bounds in Static Cost Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

J. Autom. Reason., 2011

Preface.

Puri Arenas, Víctor M. Gulías

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Handling Non-linear Operations in the Value Analysis of COSTA.

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

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

Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Cost Analysis of Concurrent OO Programs.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

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

Proceedings of the Static Analysis - 17th International Symposium, 2010

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

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)

Puri Arenas, Damiano Zanardini

CoRR, 2009

Resource Usage Analysis and Its Application to Resource Certification.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Foundations of Security Analysis and Design V, 2009

Comparing Cost Functions in Resource Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Field-Sensitive Value Analysis by Field-Insensitive Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the FM 2009: Formal Methods, 2009

Asymptotic Resource Usage Bounds.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

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

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Proceedings of the Static Analysis, 15th International Symposium, 2008

Removing useless variables in cost analysis of Java bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Termination Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Experiments in Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Some Issues on Incremental Abstraction-Carrying Code

Elvira Albert, Puri Arenas, Germán Puebla

CoRR, 2007

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

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Programming Languages and Systems, 2007

2006

An Incremental Approach to Abstraction-Carrying Code.

Elvira Albert, Puri Arenas, Germán Puebla

Proceedings of the Logic for Programming, 2006

Reduced Certificates for Abstraction-Carrying Code.

Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 22nd International Conference, 2006

2001

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

1999

Functional Plus Logic Programming with Built-In and Symbolic Constraints.

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

Embedding Multiset Constraints into a Lazy Functional Logic Language.

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

A Minimality Study for Set Unification.

Puri Arenas-Sánchez, Agostino Dovier

J. Funct. Log. Program., 1997

A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

1996

Real Constraints within a Functional Logic Language.

Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

A Debugging Model for Lazy Narrowing

Puri Arenas-Sánchez, Ana Gil-Luezas

Proceedings of the Programming Languages: Implementations, 1995

Minimal Set Unification.

Puri Arenas-Sánchez, Agostino Dovier

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Combining Lazy Narrowing with Disequality Constraints.

Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas

Proceedings of the Programming Language Implementation and Logic Programming, 1994

A Debugging Model for Lazy Functional Logic Languages.

Puri Arenas-Sánchez, Ana Gil-Luezas

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994