Mahmoud Bokhari
TitleCited byYear
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
Optimising energy consumption heuristically on android mobile phones
M Bokhari, M Wagner
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016
Validation of internal meters of mobile Android devices
MA Bokhari, Y Xia, B Zhou, B Alexander, M Wagner
arXiv preprint arXiv:1701.07095, 2017
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
Improving Test Coverage of Formal Verification Systems via Beam Search.
MA Bokhari, M Wagner
GECCO (Companion), 1357-1358, 2015
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
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
The Quest for Non-Functional Property Optimisation in Heterogeneous and Fragmented Ecosystems: a Distributed Approach
MA Bokhari, M Wagner, B Alexander
Software Testing a Verification System
MA Bokhari, M Wagner
The system can't perform the operation now. Try again later.
Articles 1–9