Mahmoud Bokhari
Title
Cited by
Cited by
Year
Deep Parameter Optimisation on Android Smartphones for Energy Minimisation-A Tale of Woe and a Proof-of-Concept
MA Bokhari, BR Bruce, B Alexander, M Wagner
162017
Optimising energy consumption heuristically on android mobile phones
M Bokhari, M Wagner
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016
112016
In-vivo and offline optimisation of energy use in the presence of small energy signals: A case study on a popular Android library
MA Bokhari, B Alexander, M Wagner
Proceedings of the 15th EAI International Conference on Mobile and …, 2018
62018
Validation of internal meters of mobile Android devices
MA Bokhari, Y Xia, B Zhou, B Alexander, M Wagner
arXiv preprint arXiv:1701.07095, 2017
62017
Mind the gap–a distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance
MA Bokhari, L Weng, M Wagner, B Alexander
2019 IEEE Congress on Evolutionary Computation (CEC), 1330-1337, 2019
42019
Towards Rigorous Validation of Energy Optimisation Experiments
BA Mahmoud A Bokhari, Markus Wagner
Proceedings of the Genetic and Evolutionary Computation Conference, 1232–1240, 2020
2*2020
An Improved beam-search for the test case generation for formal verification systems
MA Bokhari, T Bormer, M Wagner
International Symposium on Search Based Software Engineering, 77-92, 2015
22015
Improving test coverage of formal verification systems via beam search
M Bokhari, M Wagner
Proceedings of the Companion Publication of the 2015 Annual Conference on …, 2015
22015
Genetic improvement of software efficiency: the curse of fitness estimation
MA Bokhari, M Wagner, B Alexander
Proceedings of the 2020 Genetic and Evolutionary Computation Conference …, 2020
2020
The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: a distributed approach
MA Bokhari, M Wagner, B Alexander
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019
2019
Software Testing a Verification System
MA Bokhari, M Wagner
2015
The system can't perform the operation now. Try again later.
Articles 1–11