Mahmoud A. Bokhari

According to our database, Mahmoud A. Bokhari authored at least 13 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

A Hybrid Distributed EA Approach for Energy Optimisation on Smartphones.

Mahmoud A. Bokhari, Bradley Alexander

Empir. Softw. Eng., 2022

2021

Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation.

Akram Alofi, Mahmoud A. Bokhari, Robert J. Hendley, Rami Bahsoon

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

Towards rigorous validation of energy optimisation experiments.

Mahmoud A. Bokhari, Brad Alexander, Markus Wagner

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Genetic improvement of software efficiency: the curse of fitness estimation.

Mahmoud A. Bokhari, Markus Wagner, Brad Alexander

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: a distributed approach.

Mahmoud A. Bokhari, Markus Wagner, Brad Alexander

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

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, Bradley Alexander

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018

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

Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018

2017

Validation of Internal Meters of Mobile Android Devices.

Mahmoud A. Bokhari, Yuanzhong Xia, Bo Zhou, Bradley Alexander, Markus Wagner

CoRR, 2017

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

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

Optimising Energy Consumption Heuristically on Android Mobile Phones.

Mahmoud A. Bokhari, Markus Wagner

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

An Improved Beam-Search for the Test Case Generation for Formal Verification Systems.

Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Improving Test Coverage of Formal Verification Systems via Beam Search.

Mahmoud A. Bokhari, Markus Wagner

Proceedings of the Genetic and Evolutionary Computation Conference, 2015