Mahmoud A. Bokhari

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Distributed Heterogeneous

Formal Verification

Energy Consumption

Top Venues

GECCO (Companion)

GECCO Companion

IEEE Trans. Sustain. Comput.

Publications

Akram Alofi, Mahmoud A. Bokhari, Rami Bahsoon, Robert J. Hendley
Self-Optimizing the Environmental Sustainability of Blockchain-Based Systems. IEEE Trans. Sustain. Comput. 9 (3) (2024)
Akram Alofi, Mahmoud A. Bokhari, Rami Bahsoon, Robert J. Hendley
Optimizing the Energy Consumption of Blockchain-Based Systems Using Evolutionary Algorithms: A New Problem Formulation. IEEE Trans. Sustain. Comput. 7 (4) (2022)
Mahmoud A. Bokhari, Bradley Alexander
A Hybrid Distributed EA Approach for Energy Optimisation on Smartphones. Empir. Softw. Eng. 27 (6) (2022)
Akram Alofi, Mahmoud A. Bokhari, Robert Hendley, Rami Bahsoon
Selecting Miners within Blockchain-based Systems Using Evolutionary Algorithms for Energy Optimisation. CoRR (2021)
Akram Alofi, Mahmoud A. Bokhari, Robert Hendley, Rami Bahsoon
Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation. GECCO Companion (2021)
Mahmoud A. Bokhari, Brad Alexander, Markus Wagner
Towards rigorous validation of energy optimisation experiments. GECCO (2020)
Mahmoud A. Bokhari, Markus Wagner, Brad Alexander
Genetic improvement of software efficiency: the curse of fitness estimation. GECCO Companion (2020)
Mahmoud A. Bokhari, Brad Alexander, Markus Wagner
Towards Rigorous Validation of Energy Optimisation Experiments. CoRR (2020)
Mahmoud A. Bokhari, Lujun Weng, Markus Wagner, Bradley Alexander
Mind the gap - a distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance. CEC (2019)
Mahmoud A. Bokhari, Markus Wagner, Brad Alexander
The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: a distributed approach. GECCO (Companion) (2019)
Mahmoud A. Bokhari, Bradley Alexander, Markus Wagner
In-vivo and offline optimisation of energy use in the presence of small energy signals: A case study on a popular Android library. MobiQuitous (2018)
Mahmoud A. Bokhari, Bobby R. Bruce, Bradley Alexander, Markus Wagner
Deep parameter optimisation on Android smartphones for energy minimisation: a tale of woe and a proof-of-concept. GECCO (Companion) (2017)
Mahmoud A. Bokhari, Yuanzhong Xia, Bo Zhou, Bradley Alexander, Markus Wagner
Validation of Internal Meters of Mobile Android Devices. CoRR (2017)
Mahmoud A. Bokhari, Markus Wagner
Optimising Energy Consumption Heuristically on Android Mobile Phones. GECCO (Companion) (2016)
Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner
An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. SSBSE (2015)
Mahmoud A. Bokhari, Markus Wagner
Improving Test Coverage of Formal Verification Systems via Beam Search. GECCO (Companion) (2015)