Puri Arenas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2006–2017
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Context-Sensitive Dynamic Partial Order Reduction. | Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Peter J. Stuckey |
| 2016 | PPDP | Testing of concurrent and imperative software using CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2015 | ATVA | Test Case Generation of Actor Systems. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2015 | FM | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2014 | FORTE | Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2013 | ATVA | Precise Cost Analysis via Local Reasoning. | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
| 2012 | ICLP | Towards Testing Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2012 | LPAR | Automatic Inference of Resource Consumption Bounds. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | PADL | Symbolic Execution of Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2012 | PEPM | COSTABS: a cost and termination analyzer for ABS. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2011 | APLAS | Cost Analysis of Concurrent OO Programs. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, German Puebla |
| 2010 | SAS | From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramrez-Deantes |
| 2009 | APLAS | Asymptotic Resource Usage Bounds. | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |
| 2009 | FM | Field-Sensitive Value Analysis by Field-Insensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2008 | SAC | Removing useless variables in cost analysis of Java bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2008 | SAS | Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2007 | ESOP | Cost Analysis of Java Bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2006 | LPAR | An Incremental Approach to Abstraction-Carrying Code. | Elvira Albert, Puri Arenas, Germn Puebla |