| 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 Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017 | 27 | 2017 |
| Optimising energy consumption heuristically on android mobile phones M Bokhari, M Wagner Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016 | 16 | 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 | 10 | 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 | 9 | 2017 |
| Towards rigorous validation of energy optimisation experiments MA Bokhari, B Alexander, M Wagner Proceedings of the 2020 Genetic and Evolutionary Computation Conference …, 2020 | 6 | 2020 |
| 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 | 6 | 2019 |
| 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 | 4 | 2015 |
| Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation A Alofi, MA Bokhari, R Hendley, R Bahsoon Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2021 | 2 | 2021 |
| 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 | 2 | 2019 |
| 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 | 1 | 2020 |
| Deep parameter optimisation on Android smartphones for energy minimisation MA Bokhari, BR Bruce, B Alexander, M Wagner Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 0 | 1 | |
| Optimizing the Energy Consumption of Blockchain-based Systems Using Evolutionary Algorithms: A New Problem Formulation A Alofi, M Bokhari, R Bahsoon, B Hendley IEEE Transactions on Sustainable Computing, 2022 | | 2022 |
| Genetic Improvement of Software for Energy E ciency in Noisy and Fragmented Eco-Systems MAK Bokhari | | 2020 |
| Software Testing a Verification System MA Bokhari, M Wagner | | 2015 |
| In-vivo and offline optimisation of energy use in the presence of small energy signals MA Bokhari, B Alexander, M Wagner | | |
