Towards Granularity Based Control of Parallelism in Logic Programs. - Pedro López-García 001; Manuel V. Hermenegildo; Saumya K. Debray (PASCO, 1994)

Estimating the Computational Cost of Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo; Nai-Wei Lin (SAS, 1994)

Efficient Term Size Computation for Granularity Control. - Manuel V. Hermenegildo; Pedro López-García 001 (ICLP, 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)

A Methodology for Granularity-Based Control of Parallelism in Logic Programs. - Pedro López-García 001; Manuel V. Hermenegildo; Saumya K. Debray (J. Symb. Comput., 1996)

Non-Failure Analysis for Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 1997)

Lower Bound Cost Estimation for Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo; Nai-Wei Lin (ILPS, 1997)

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)

Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación. - Pedro López-García 001 (1999)

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)

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)

Multivariant Non-failure Analysis via Standard Abstract Interpretation. - Francisco Bueno; Pedro López-García 001; Manuel V. Hermenegildo (FLOPS, 2004)

Determinacy Analysis for Logic Programs Using Mode and Type Information. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 2004)

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)

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)

User-Definable Resource Bounds Analysis for Logic Programs. - Jorge A. Navas; Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 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)

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)

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)

Towards execution time estimation in abstract machine-based languages. - Edison Mera; Pedro López-García 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. - Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 2009)

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno (ICLP (Technical Communications), 2010)

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (New Gener. Comput., 2010)

Interval-Based Resource Usage Verification: Formalization and Prototype. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno; Manuel V. Hermenegildo (FOPARA, 2011)

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. - Edison Mera; Teresa Trigo; Pedro López-García 001; Manuel V. Hermenegildo (PADL, 2011)

CLP projection for constraint handling rules. - Rémy Haemmerlé; Pedro López-García 001; Manuel V. Hermenegildo (PPDP, 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)

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)

Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. - Zorana Bankovic; Pedro López-García 001 (HAIS, 2013)

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. - Umer Liqat; Steve Kerrison; Alejandro Serrano 001; Kyriakos Georgiou; Pedro López-García 001; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder (LOPSTR, 2013)

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2013)

Sized Type Analysis for Logic Programs. - Alejandro Serrano 001; Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2013)

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2014)

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. - Umer Liqat; Kyriakos Georgiou; Steve Kerrison; Pedro López-García 001; John P. Gallagher; Manuel V. Hermenegildo; Kerstin Eder (FOPARA, 2015)

Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. - Zorana Bankovic; Pedro López-García 001 (GECCO (Companion), 2015)

Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling. - Zorana Bankovic; Umer Liqat; Pedro López-García 001 (HAIS, 2015)

A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation. - Zorana Bankovic; Umer Liqat; Pedro López-García 001 (AIAI, 2015)

Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences. - Zorana Bankovic; Pedro López-García 001 (SOCO, 2015)

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. - Francisco Corbera; Andrés Rodríguez 001; Rafael Asenjo; Angeles G. Navarro; Antonio Vilches; María Jesús Garzarán; Ismat Chaib Draa; Jamel Tayeb; Smaïl Niar; Mikael Desertot; Daniel Gregorek; Robert Schmidt 003; et al. (CoRR, 2015)

Towards Energy Consumption Verification via Static Analysis. - Pedro López-García 001; Rémy Haemmerlé; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (CoRR, 2015)

Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips. - Zorana Bankovic; Pedro López-García 001 (Neurocomputing, 2015)

A Transformational Approach to Parametric Accumulated-Cost Static Profiling. - Rémy Haemmerlé; Pedro López-García 001; Umer Liqat; Maximiliano Klemen; John P. Gallagher; Manuel V. Hermenegildo (FLOPS, 2016)

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). - Manuel V. Hermenegildo; Pedro López-García 001 (CoRR, 2016)

Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2016)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

A general framework for static profiling of parametric resource usage. - Pedro López-García 001; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2017)

An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (Log. J. IGPL, 2017)

Towards Static Performance Guarantees for Programs with Run-Time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2018)

Static Performance Guarantees for Programs with Runtime Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2018)

An Approach to Static Performance Guarantees for Programs with Run-time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2018)

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. - Pedro López-García 001; Luthfi Darmawan; Maximiliano Klemen; Umer Liqat; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2018)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Roberto Giacobazzi; Manuel V. Hermenegildo (LOPSTR, 2019)

An Integrated Approach to Assertion-Based Random Testing in Prolog. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2019)

A General Framework for Static Cost Analysis of Parallel Logic Programs. - Maximiliano Klemen; Pedro López-García 001; John P. Gallagher; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2019)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2019)

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. - Maximiliano Klemen; Pedro López-García 001; John P. Gallagher; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2019)

A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms. - Zorana Bankovic; Umer Liqat; Pedro López-García 001 (J. Multiple Valued Log. Soft Comput., 2019)

Testing Your (Static Analysis) Truths. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2020)

Cost Analysis of Smart Contracts Via Parametric Resource Analysis. - Victor Perez-Carrasco; Maximiliano Klemen; Pedro López-García 001; José Francisco Morales 001; Manuel V. Hermenegildo (SAS, 2020)

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. - John P. Gallagher; Manuel V. Hermenegildo; Bishoksan Kafle; Maximiliano Klemen; Pedro López-García 001; José F. Morales 001 (VPT/HCVS@ETAPS, 2020)

Preface. - Manuel V. Hermenegildo; Pedro López-García 001; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2020)

Regular Path Clauses and Their Application in Solving Loops. - Bishoksan Kafle; John P. Gallagher; Manuel V. Hermenegildo; Maximiliano Klemen; Pedro López-García 001; José F. Morales 001 (HCVS@ETAPS, 2021)

A general framework for static profiling of parametric resource usage - CORRIGENDUM. - Pedro López-García 001; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

VeriFly: On-the-fly Assertion Checking via Incrementality. - Miguel A. Sanchez-Ordaz; Isabel Garcia-Contreras; Victor Perez-Carrasco; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. - John P. Gallagher; Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (LOPSTR, 2023)

A Rule-Based Approach for Designing and Composing Abstract Domains. - Daniel Jurjo; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2023)

Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. - Maximiliano Klemen; Miguel Á. Carreira-Perpiñán; Pedro López-García 001 (ICLP, 2023)

Some Thoughts on How to Teach Prolog. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (Prolog: The Next 50 Years, 2023)

Types, Modes and so Much More - The Prolog Way. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001; Manuel Carro (Prolog: The Next 50 Years, 2023)

Teaching Pure LP with Prolog and a Fair Search Rule. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (ICLP Workshops, 2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (SAS, 2024)

Abstract Environment Trimming. - Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2024)

A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs. - Louis Rustenholz; Maximiliano Klemen; Miguel Á. Carreira-Perpiñán; Pedro López-García 001 (Theory Pract. Log. Program., 2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (Zenodo, 2024)

Checkification: A Practical Approach for Testing Static Analysis Truths. - Daniela Ferreiro; Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. - Marco Ciccalè; Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)

Abstractions of Sequences, Functions and Operators. - Louis Rustenholz; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)