Incremental Analysis of Logic Programs. - Manuel V. Hermenegildo; Germán Puebla; Kim Marriott; Peter J. Stuckey (ICLP, 1995)

Implementation of Multiple Specialization in Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (PEPM, 1995)

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. - Manuel V. Hermenegildo; Francisco Bueno; Daniel Cabeza; Manuel Carro; Maria J. García de la Banda; Pedro López-García 001; Germán Puebla (APPIA-GULP-PRODE, 1996)

Global Analysis of Standard Prolog Programs. - Francisco Bueno; Daniel Cabeza Gras; Manuel V. Hermenegildo; Germán Puebla (ESOP, 1996)

Abstract Specialization and Its Application to Program Parallelization. - Germán Puebla; Manuel V. Hermenegildo (LOPSTR, 1996)

Automatic Optimization of Dynamic Scheduling in Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (PLILP, 1996)

Optimized Algorithms for Incremental Analysis of Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (SAS, 1996)

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. - Francisco Bueno; Pierre Deransart; Wlodzimierz Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Germán Puebla (AADEBUG, 1997)

Optimization of Logic Programs with Dynamic Scheduling. - Germán Puebla; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (ICLP, 1997)

Tools and Environments for (Constraint) Logic Programming (Workshop Overview). - Germán Puebla; Marco Comini; Wlodzimierz Drabent; Mireille Ducassé; Massimo Fabris; Christian Schulte 001 (ILPS, 1997)

A Framework for Assertion-Based Debugging in Constraint Logic Programming. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (CP, 1998)

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno (The Logic Programming Paradigm, 1999)

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. - Manuel V. Hermenegildo; Francisco Bueno; Germán Puebla; Pedro López-García 001 (ICLP, 1999)

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1999)

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. - Germán Puebla; Manuel V. Hermenegildo; John P. Gallagher (PEPM, 1999)

Abstract Multiple Specialization and Its Application to Program Parallelization. - Germán Puebla; Manuel V. Hermenegildo (J. Log. Program., 1999)

Preface. - Mireille Ducassé; Anthony J. Kusalik; Germán Puebla (WLPE@ICLP, 1999)

Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. - Germán Puebla; Manuel V. Hermenegildo (WOID@ICLP, 1999)

An Assertion Language for Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Generic Processor for Program Validation and Debugging. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Model for Inter-module Analysis and Optimizing Compilation. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott; Germán Puebla; Peter J. Stuckey (LOPSTR (LNCS 2042: Selected Papers), 2000)

Incremental analysis of constraint logic programs. - Manuel V. Hermenegildo; Germán Puebla; Kim Marriott; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2000)

Abstract Verification and Debugging of Constraint Logic Programs. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Program Debugging and Validation Using Semantic Approximations and Partial Specifications. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (ICALP, 2002)

Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. - John P. Gallagher; Germán Puebla (PADL, 2002)

Abstract specialization and its applications. - Germán Puebla; Manuel V. Hermenegildo (PEPM, 2003)

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (SAS, 2003)

Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. - Manuel V. Hermenegildo; Elvira Albert; Pedro López-García 001; Germán Puebla (Euro-Par, 2004)

Abstract Interpretation-Based Mobile Code Certification. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2004)

Efficient Local Unfolding with Ancestor Stacks for Full Prolog. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (LOPSTR, 2004)

A Generic Framework for Context-Sensitive Analysis of Modular Programs. - Germán Puebla; Jesús Correas; Manuel V. Hermenegildo; Francisco Bueno; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (Program Development in Computational Logic, 2004)

Abstraction-Carrying Code. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (LPAR, 2004)

Experiments in abstract interpretation-based code certification for pervasive systems. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (SMC (2), 2004)

An Abstract Interpretation-based Approach to Mobile Code Safety. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (COCV@ETAPS, 2004)

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. - José F. Morales 001; Manuel Carro; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2005)

A Generic Framework for the Analysis and Specialization of Logic Programs. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (ICLP, 2005)

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. - Elvira Albert; Germán Puebla; John P. Gallagher (LOPSTR, 2005)

Experiments in Context-Sensitive Analysis of Modular Programs. - Jesús Correas; Germán Puebla; Manuel V. Hermenegildo; Francisco Bueno (LOPSTR, 2005)

Converting One Type-Based Abstract Domain to Another. - John P. Gallagher; Germán Puebla; Elvira Albert (LOPSTR, 2005)

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. - Claudio Ochoa; Germán Puebla; Manuel V. Hermenegildo (LOPSTR, 2005)

Abstraction carrying code and resource-awareness. - Manuel V. Hermenegildo; Elvira Albert; Pedro López-García 001; Germán Puebla (PPDP, 2005)

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (Sci. Comput. Program., 2005)

High-level languages for small devices: a case study. - Manuel Carro; José F. Morales 001; Henk L. Muller; Germán Puebla; Manuel V. Hermenegildo (CASES, 2006)

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

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2006)

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

Context-Sensitive Multivariant Assertion Checking in Modular Programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (LPAR, 2006)

Poly-controlled partial evaluation. - Germán Puebla; Claudio Ochoa (PPDP, 2006)

Abstract Interpretation with Specialized Definitions. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (SAS, 2006)

MOBIUS: Mobility, Ubiquity, Security. - Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann 001; Peter Müller 001; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard (TGC, 2006)

A Study on the Practicality of Poly-Controlled Partial Evaluation. - Claudio Ochoa; Germán Puebla (WFLP, 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)

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. - Elvira Albert; John P. Gallagher; Miguel Gómez-Zamalloa; Germán Puebla (LOPSTR, 2007)

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. - Elvira Albert; Miguel Gómez-Zamalloa; Laurent Hubert; Germán Puebla (PADL, 2007)

Combining Static Analysis and Profiling for Estimating Execution Times. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (PADL, 2007)

Poly-controlled partial evaluation in practice. - Claudio Ochoa; Germán Puebla (PEPM, 2007)

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (CoRR, 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)

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Bytecode@ETAPS, 2007)

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; José F. Morales 001; Germán Puebla (Concurrency, Graphs and Models, 2008)

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

Test Data Generation of Bytecode by CLP Partial Evaluation. - Elvira Albert; Miguel Gómez-Zamalloa; Germán Puebla (LOPSTR, 2008)

A practical type analysis for verification of modular prolog programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (PEPM, 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)

Modular Decompilation of Low-Level Code by Partial Evaluation. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (SCAM, 2008)

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

Oracle-Based Partial Evaluation. - Claudio Ochoa; Germán Puebla (QAPL, 2008)

Abstraction-Carrying Code: a Model for Mobile Code Safety. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (New Gener. Comput., 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)

On the Generation of Test Data for Prolog by Partial Evaluation - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (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)

Decompilation of Java bytecode to Prolog by partial evaluation. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Inf. Softw. Technol., 2009)

Type-based homeomorphic embedding for online termination. - Elvira Albert; John P. Gallagher; Miguel Gómez-Zamalloa; Germán Puebla (Inf. Process. Lett., 2009)

Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. - Diana V. Ramírez-Deantes; Jesús Correas; Germán Puebla (FACS, 2010)

Compositional CLP-Based Test Data Generation for Imperative Languages. - Elvira Albert; Miguel Gómez-Zamalloa; José Miguel Rojas; Germán Puebla (LOPSTR, 2010)

PET: a partial evaluation-based test case generation tool for Java bytecode. - Elvira Albert; Miguel Gómez-Zamalloa; Germán Puebla (PEPM, 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 (SAS, 2010)

HATS - A Formal Software Product Line Engineering Methodology. - Dave Clarke 001; Nikolay Diakov; Reiner Hähnle; Einar Broch Johnsen; Germán Puebla; Balthasar Weitzel; Peter Y. H. Wong (SPLC Workshops, 2010)

Test case generation for object-oriented imperative languages in CLP. - Miguel Gómez-Zamalloa; Elvira Albert; Germán Puebla (Theory Pract. Log. Program., 2010)

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

Verified resource guarantees using COSTA and KeY. - Elvira Albert; Richard Bubel; Samir Genaim; Reiner Hähnle; Germán Puebla; Guillermo Román-Díez (PEPM, 2011)

An Overview of the Ciao System. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Rémy Haemmerlé; Edison Mera; José F. Morales 001; Germán Puebla (RuleML Europe, 2011)

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

Editorial. - Julia Lawall; Germán Puebla; Germán Vidal (High. Order Symb. Comput., 2011)

Efficient local unfolding with ancestor stacks. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (Theory Pract. Log. Program., 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)

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

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

Incremental resource usage analysis. - Elvira Albert; Jesús Correas; Germán Puebla; Guillermo Román-Díez (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)

An overview of Ciao and its design philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Edison Mera; José F. Morales 001; Germán Puebla (Theory Pract. Log. Program., 2012)

Quantified Abstractions of Distributed Systems. - Elvira Albert; Jesús Correas; Germán Puebla; Guillermo Román-Díez (IFM, 2013)

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)

Selected and extended papers from Bytecode 2013. - Miguel Gómez-Zamalloa; Germán Puebla (Sci. Comput. Program., 2014)

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)

Quantified abstract configurations of distributed systems. - Elvira Albert; Jesús Correas Fernández; Germán Puebla; Guillermo Román-Díez (Formal Aspects Comput., 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)

A multi-domain incremental analysis engine and its application to incremental resource analysis. - Elvira Albert; Jesús Correas Fernández; Germán Puebla; Guillermo Román-Díez (Theor. Comput. Sci., 2015)

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. - Elvira Albert; Richard Bubel; Samir Genaim; Reiner Hähnle; Germán Puebla; Guillermo Román-Díez (Softw. Syst. Model., 2016)