| 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 |
| 2013 | IFM | Quantified Abstractions of Distributed Systems. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2012 | LPAR | Automatic Inference of Resource Consumption Bounds. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | PEPM | COSTABS: a cost and termination analyzer for ABS. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | PEPM | Incremental resource usage analysis. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2011 | PEPM | Verified resource guarantees using COSTA and KeY. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Germn Puebla, Guillermo Romn-Dez |
| 2010 | LOPSTR | Compositional CLP-Based Test Data Generation for Imperative Languages. | Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas, Germn Puebla |
| 2010 | PEPM | PET: a partial evaluation-based test case generation tool for Java bytecode. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2010 | SPLC | HATS - A Formal Software Product Line Engineering Methodology. | Dave Clarke, Nikolay Diakov, Reiner Hhnle, Einar Broch Johnsen, Germn Puebla, Balthasar Weitzel, Peter Y. H. Wong |
| 2009 | FM | Field-Sensitive Value Analysis by Field-Insensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2008 | LOPSTR | Test Data Generation of Bytecode by CLP Partial Evaluation. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2008 | PEPM | A practical type analysis for verification of modular prolog programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 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 |
| 2008 | SCAM | Modular Decompilation of Low-Level Code by Partial Evaluation. | Miguel Gmez-Zamalloa, Elvira Albert, Germn Puebla |
| 2007 | ESOP | Cost Analysis of Java Bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2007 | LOPSTR | Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. | Elvira Albert, John P. Gallagher, Miguel Gmez-Zamalloa, Germn Puebla |
| 2007 | PADL | Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Laurent Hubert, Germn Puebla |
| 2007 | PADL | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | PEPM | Poly-controlled partial evaluation in practice. | Claudio Ochoa, Germn Puebla |
| 2006 | CASES | High-level languages for small devices: a case study. | Manuel Carro, Jos F. Morales, Henk L. Muller, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | ICLP | Reduced Certificates for Abstraction-Carrying Code. | Elvira Albert, Puri Arenas-Snchez, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | ICLP | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | LPAR | An Incremental Approach to Abstraction-Carrying Code. | Elvira Albert, Puri Arenas, Germn Puebla |
| 2006 | LPAR | Context-Sensitive Multivariant Assertion Checking in Modular Programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | PPDP | Poly-controlled partial evaluation. | Germn Puebla, Claudio Ochoa |
| 2006 | SAS | Abstract Interpretation with Specialized Definitions. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2005 | ICLP | A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. | Jos F. Morales, Manuel Carro, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | ICLP | A Generic Framework for the Analysis and Specialization of Logic Programs. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2005 | LOPSTR | Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. | Elvira Albert, Germn Puebla, John P. Gallagher |
| 2005 | LOPSTR | Experiments in Context-Sensitive Analysis of Modular Programs. | Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2005 | LOPSTR | Converting One Type-Based Abstract Domain to Another. | John P. Gallagher, Germn Puebla, Elvira Albert |
| 2005 | LOPSTR | Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. | Claudio Ochoa, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | PPDP | Abstraction carrying code and resource-awareness. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | EuroPar | Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | ICLP | Abstract Interpretation-Based Mobile Code Certification. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | LOPSTR | Efficient Local Unfolding with Ancestor Stacks for Full Prolog. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2004 | LPAR | Abstraction-Carrying Code. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | SMC | Experiments in abstract interpretation-based code certification for pervasive systems. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2003 | PEPM | Abstract specialization and its applications. | Germn Puebla, Manuel V. Hermenegildo |
| 2003 | SAS | Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | ICALP | Program Debugging and Validation Using Semantic Approximations and Partial Specifications. | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | PADL | Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. | John P. Gallagher, Germn Puebla |
| 2000 | LOPSTR | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | LOPSTR | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 1999 | ICLP | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. | Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca |
| 1999 | LOPSTR | Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1999 | PEPM | An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. | Germn Puebla, Manuel V. Hermenegildo, John P. Gallagher |
| 1998 | CP | A Framework for Assertion-Based Debugging in Constraint Logic Programming. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1997 | ICLP | Optimization of Logic Programs with Dynamic Scheduling. | Germn Puebla, Maria J. Garca de la Banda, Kim Marriott, Peter J. Stuckey |
| 1996 | ESOP | Global Analysis of Standard Prolog Programs. | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germn Puebla |
| 1996 | LOPSTR | Abstract Specialization and Its Application to Program Parallelization. | Germn Puebla, Manuel V. Hermenegildo |
| 1996 | SAS | Optimized Algorithms for Incremental Analysis of Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |
| 1995 | ICLP | Incremental Analysis of Logic Programs. | Manuel V. Hermenegildo, Germn Puebla, Kim Marriott, Peter J. Stuckey |
| 1995 | PEPM | Implementation of Multiple Specialization in Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |