Article

Liu, Yezhou, Nicolescu, Radu, Sun, Jing, and Henderson, Alec (2021) A sublinear Sudoku solution in cP Systems and its formal verification. Computer Science Journal of Moldova, 29 (1 (85)). pp. 3-28.

Georgiou, Kyriakos, Kerrison, Steve, Zbigniew, Chamski, and Eder, Kerstin (2017) Energy transparency for deeply embedded programs. ACM Transactions on Architecture and Code Optimization, 14 (1). 8.

Book Chapter

Kerrison, Steve, Buschoff, Markus, Nunez-Yanez, Jose, and Eder, Kerstin (2017) Measuring energy. In: Fagas, Giorgos, Gammaitoni, Luca, Gallagher, John P., and Douglas, Paul, (eds.) ICT - Energy Concepts for Energy Efficiency and Sustainability. IntechOpen, London, UK, pp. 59-82.

Conference Item

Pallister, James, Kerrison, Steve, Morse, Jeremy, and Eder, Kerstin (2017) Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. pp. 51-59. From: SCOPES '17: 20th International Workshop on Software and Compilers for Embedded Systems, 12-13 June 2017, Sankt Goar, Germany.

Grech, Neville, Georgiou, Kyriakos, Pallister, James, Kerrison, Steve, Morse, Jeremy, and Eder, Kerstin (2015) Static analysis of energy consumption for LLVM IR programs. In: SCOPES '15: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems. pp. 12-21. From: SCOPES '15: 18th International Workshop on Software and Compilers for Embedded Systems, 1-3 June 2015, Sankt Goar, Germany.

Liqat, Umer, Kerrison, Steve, Serrano, Alejandro, Georgiou, Kyriakos, Lopez-Garcia, Pedro, Grech, Nevill, Hermenegildo, Manuel V., and Eder, Kerstin (2014) Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. In: Lecture Notes in Computer Science (8901) pp. 72-90. From: LOPSTR 2013: 23rd International Symposium: Logic-Based Program Synthesis and Transformation, 18-19 September 2013, Madrid, Spain.