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)

Static energy consumption analysis of LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Kerstin Eder (CoRR, 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)

Anyplace: A Crowdsourced Indoor Information Service. - Kyriakos Georgiou; Timotheos Constambeys; Christos Laoudias; Lambros Petrou; Georgios Chatzimilioudis; Demetrios Zeinalipour-Yazti (MDM (1), 2015)

Static analysis of energy consumption for LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2015)

On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. - Kyriakos Georgiou; Steve Kerrison; Kerstin Eder (CoRR, 2015)

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 Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. - Haris Isakovic; Radu Grosu; Denise Ratasich; Jiri Kadlec; Zdenek Pohl; Steve Kerrison; Kyriakos Georgiou; Kerstin Eder; Norbert Druml; Lillian Tadros; Flemming Christensen; Emilie Wheatley; et al. (SAFECOMP Workshops, 2017)

The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. - Samuel Xavier de Souza; Eduardo André Neves; Alex F. A. Furtunato; Luiz Felipe Q. Silveira; Kyriakos Georgiou; Kerstin I. Eder (CoRR, 2017)

Internet-Based Indoor Navigation Services. - Demetrios Zeinalipour-Yazti; Christos Laoudias; Kyriakos Georgiou; Georgios Chatzimilioudis (IEEE Internet Comput., 2017)

Energy Transparency for Deeply Embedded Programs. - Kyriakos Georgiou; Steve Kerrison; Zbigniew Chamski; Kerstin Eder (ACM Trans. Archit. Code Optim., 2017)

Enabling energy transparency for deeply embedded programs. - Kyriakos Georgiou (2017)

Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. - Kyriakos Georgiou; Craig Blackmore; Samuel Xavier de Souza; Kerstin Eder (SCOPES, 2018)

Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. - Victor H. F. Oliveira; Alex F. A. Furtunato; Luiz Felipe Q. Silveira; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (ICPE Companion, 2018)

Energy-Optimal Configurations for Single-Node HPC Applications. - Vitor R. G. Silva; Alex F. A. Furtunato; Kyriakos Georgiou; Kerstin Eder; Samuel Xavier de Souza (CoRR, 2018)

The IoT Energy Challenge: A Software Perspective. - Kyriakos Georgiou; Samuel Xavier de Souza; Kerstin Eder (IEEE Embed. Syst. Lett., 2018)

Energy-Optimal Configurations for Single-Node HPC Applications. - Vitor R. G. Silva; Alex F. A. Furtunato; Kyriakos Georgiou; Carlos Alberto Valderrama Sakuyama; Kerstin I. Eder; Samuel Xavier de Souza (HPCS, 2019)

Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. - Demetrios A. M. Coutinho; Kyriakos Georgiou; Kerstin I. Eder; José L. Núñez-Yáñez; Samuel Xavier de Souza (VLSI-SoC, 2019)

Exploiting guard band limits for energy gains in MPSoCs. - Diego V. Cirilo do Nascimento; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (VLSI-SoC, 2019)

When Parallel Speedups Hit the Memory Wall. - Alex F. A. Furtunato; Kyriakos Georgiou; Kerstin Eder; Samuel Xavier de Souza (IEEE Access, 2020)

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. - Demetrios A. M. Coutinho; Daniele De Sensi; Arthur Francisco Lorenzon; Kyriakos Georgiou; José L. Núñez-Yáñez; Kerstin Eder; Samuel Xavier de Souza (CoRR, 2020)

Layered Formal Verification of a TCP Stack. - Guillaume Cluzel; Kyriakos Georgiou; Yannick Moy; Clément Zeller (SecDev, 2021)

A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. - Kyriakos Georgiou; Zbigniew Chamski; Kris Nikov; Kerstin Eder (CoRR, 2021)

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. - Kyriakos Georgiou; Guillaume Cluzel; Paul Butcher; Yannick Moy (CoRR, 2021)

Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework. - Kyriakos Georgiou; G. Domazakis; Dimitrios Pappas; Athanasios N. Yannacopoulos (Eur. J. Oper. Res., 2021)

Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. - Kris Nikov; Kyriakos Georgiou; Zbigniew Chamski; Kerstin Eder; José L. Núñez-Yáñez (ICECS 2022, 2022)

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. - Kyriakos Georgiou; Zbigniew Chamski; Andrés Amaya García; David May 001; Kerstin Eder (Comput. J., 2022)

Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU. - Kris Nikov; Marcos Martínez; Simon Wegener; José L. Núñez-Yáñez; Zbigniew Chamski; Kyriakos Georgiou; Kerstin Eder (IEEE Embed. Syst. Lett., 2022)

Fredholm Neural Networks. - Kyriakos Georgiou; Constantinos I. Siettos; Athanasios N. Yannacopoulos (CoRR, 2024)

Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs. - Diego V. Cirilo do Nascimento; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (IEEE Embed. Syst. Lett., 2024)

Fredholm Neural Networks for forward and inverse problems in elliptic PDEs. - Kyriakos Georgiou; Constantinos I. Siettos; Athanasios N. Yannacopoulos (CoRR, 2025)