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)

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)

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)

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)

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)

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 multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development. - Umer Liqat (2018)

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)

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)