Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods. - Asieh Salehi Fathabadi; Luis Alfonso Maeda-Nunez; Michael J. Butler; Bashir M. Al-Hashimi; Geoff V. Merrett (MCSoC, 2015)

Learning Transfer-Based Adaptive Energy Minimization in Embedded Systems. - Rishad A. Shafik; Sheng Yang 003; Anup Das 001; Luis Alfonso Maeda-Nunez; Geoff V. Merrett; Bashir M. Al-Hashimi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

System-level power management using online machine learning for prediction and adaptation. - Luis Alfonso Maeda-Nunez (2016)

A model-based framework for software portability and verification in embedded power management systems. - Asieh Salehi Fathabadi; Michael J. Butler; Sheng Yang 003; Luis Alfonso Maeda-Nunez; James R. B. Bantock; Bashir M. Al-Hashimi; Geoff V. Merrett (J. Syst. Archit., 2018)