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)

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)

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)

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)

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)

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)

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)

A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking. - Maximiliano Klemen (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)

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)

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)