Improving Test Coverage of Formal Verification Systems via Beam Search. - Mahmoud A. Bokhari; Markus Wagner 007 (GECCO (Companion), 2015)

An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. - Mahmoud A. Bokhari; Thorsten Bormer; Markus Wagner 007 (SSBSE, 2015)

Optimising Energy Consumption Heuristically on Android Mobile Phones. - Mahmoud A. Bokhari; Markus Wagner 007 (GECCO (Companion), 2016)

Deep parameter optimisation on Android smartphones for energy minimisation: a tale of woe and a proof-of-concept. - Mahmoud A. Bokhari; Bobby R. Bruce; Bradley Alexander; Markus Wagner 007 (GECCO (Companion), 2017)

Validation of Internal Meters of Mobile Android Devices. - Mahmoud A. Bokhari; Yuanzhong Xia; Bo Zhou; Bradley Alexander; Markus Wagner 007 (CoRR, 2017)

In-vivo and offline optimisation of energy use in the presence of small energy signals: A case study on a popular Android library. - Mahmoud A. Bokhari; Bradley Alexander; Markus Wagner 007 (MobiQuitous, 2018)

Mind the gap - a distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance. - Mahmoud A. Bokhari; Lujun Weng; Markus Wagner 007; Bradley Alexander (CEC, 2019)

The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: a distributed approach. - Mahmoud A. Bokhari; Markus Wagner 007; Brad Alexander (GECCO (Companion), 2019)

Genetic improvement of software efficiency: the curse of fitness estimation. - Mahmoud A. Bokhari; Markus Wagner 007; Brad Alexander (GECCO Companion, 2020)

Towards rigorous validation of energy optimisation experiments. - Mahmoud A. Bokhari; Brad Alexander; Markus Wagner 007 (GECCO, 2020)

Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation. - Akram Alofi; Mahmoud A. Bokhari; Robert J. Hendley; Rami Bahsoon (GECCO Companion, 2021)

A Hybrid Distributed EA Approach for Energy Optimisation on Smartphones. - Mahmoud A. Bokhari; Bradley Alexander (Empir. Softw. Eng., 2022)

Optimizing the Energy Consumption of Blockchain-Based Systems Using Evolutionary Algorithms: A New Problem Formulation. - Akram Alofi; Mahmoud A. Bokhari; Rami Bahsoon; Robert J. Hendley (IEEE Trans. Sustain. Comput., 2022)

Self-Optimizing the Environmental Sustainability of Blockchain-Based Systems. - Akram Alofi; Mahmoud A. Bokhari; Rami Bahsoon; Robert J. Hendley (IEEE Trans. Sustain. Comput., 2024)