Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl. ENTRA: Whole-systems energy transparency. Microprocessors and Microsystems – Embedded Hardware Design, Vol. 47, pages 278–286, 2016.
Hollis, Simon J., Steve Kerrison. Swallow: Building an Energy-Transparent Many-Core Embedded Real-Time System. 2016 Design, Automation & Test in Europe (to appear), IEEE, March 2016. To appear.
Xueliang Li, John P. Gallagher. An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model. Roskilde University, February 2016. submitted for publication.
Bishoksan Kafle, John P. Gallagher. Interpolant tree automata and their application in Horn clause verification. CoRR, February 2016. submitted to a workshop.
Rémy Haemmerlé, Pedro Lopez-Garcia, Umer Liqat, M. Klemen, J. P. Gallagher, Manuel Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling. Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Springer, 2016. To appear.
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro Lopez-Garcia, Manuel Hermenegildo, J. P. Gallagher, Kerstin Eder. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Foundational and Practical Aspects of Resource Analysis. Fourth International Workshop FOPARA 2015, Revised Selected Papers, Springer, 2016. To appear.
Umer Liqat, Zorana Bankovic, Pedro Lopez-Garcia, Manuel Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), 2016. arXiv:1601.02800.
Xueliang Li, John P. Gallagher. Fine-Grained Energy Modeling for Mobile Application Source Code. Roskilde University, December 2015. submitted for publication.
Bishoksan Kafle. Solving non-linear Horn clauses using a linear solver. CoRR, December 2015. submitted to a workshop.