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 | 16 | 2017 |
Optimising energy consumption heuristically on android mobile phones M Bokhari, M Wagner Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016 | 11 | 2016 |
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 | 6 | 2018 |
Validation of internal meters of mobile Android devices MA Bokhari, Y Xia, B Zhou, B Alexander, M Wagner arXiv preprint arXiv:1701.07095, 2017 | 6 | 2017 |
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 | 4 | 2019 |
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 | 2 | 2015 |
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 | 2 | 2015 |
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 |