Mahmoud A. Bokhari

Orcid: 0000-0002-0659-8512

According to our database1, Mahmoud A. Bokhari authored at least 14 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Self-Optimizing the Environmental Sustainability of Blockchain-Based Systems.
IEEE Trans. Sustain. Comput., 2024

2022
Optimizing the Energy Consumption of Blockchain-Based Systems Using Evolutionary Algorithms: A New Problem Formulation.
IEEE Trans. Sustain. Comput., 2022

A Hybrid Distributed EA Approach for Energy Optimisation on Smartphones.
Empir. Softw. Eng., 2022

2021
Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020
Towards rigorous validation of energy optimisation experiments.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Genetic improvement of software efficiency: the curse of fitness estimation.
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.
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.
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.
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018

2017
Validation of Internal Meters of Mobile Android Devices.
CoRR, 2017

Deep parameter optimisation on Android smartphones for energy minimisation: a tale of woe and a proof-of-concept.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016
Optimising Energy Consumption Heuristically on Android Mobile Phones.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015
An Improved Beam-Search for the Test Case Generation for Formal Verification Systems.
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Improving Test Coverage of Formal Verification Systems via Beam Search.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015


  Loading...