2019 |
Bokhari, M., Wagner, M., & Alexander, B. (2019). The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: A distributed approach. In GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion (pp. 1705-1706). DOI |
2019 |
Bokhari, M., Weng, L., Wagner, M., & Alexander, B. (2019). Mind the gap - A distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance. In 2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings (pp. 1330-1337). DOI |
2018 |
Bokhari, M. A., Alexander, B., & Wagner, M. (2018). In-vivo and offline optimisation of energy use in the presence of small energy signals: case study on a popular Android library. In MobiQuitous '18 Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (pp. 207-215). New York City, NY: Association for Computing Machinery. DOI Scopus2 |
2017 |
Bokhari, M., Bruce, B., Alexander, B., & Wagner, M. (2017). Deep parameter optimisation on android smartphones for energy minimisation-a tale of woe and a proof-of-concept. In P. A. Bosman (Ed.), GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion (pp. 1501-1508). Berlin: ACM. DOI Scopus6 |
2016 |
Bokhari, M., & Wagner, M. (2016). Optimising energy consumption heuristically on android mobile phones. In Proceedings of the 2016 Genetic and Evolutionary Computation Conference (Companion) (pp. 1139-1140). Denver, CO: ACM Press. DOI Scopus6 |
2015 |
Bokhari, M., Bormer, T., & Wagner, M. (2015). An improved beam-search for the test case generation for formal verification systems. In M. Barros, & Y. Labiche (Eds.), Proceedings of the 7th International Symposium, Search-Based Software Engineering Vol. 9275 (pp. 77-92). Bergamo, Italy: Springer. DOI Scopus1 |
2015 |
Bokhari, M., & Wagner, M. (2015). Improving test coverage of formal verification systems via beam search. In Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference (pp. 1357-1358). Madrid, Spain: ACM Press. DOI Scopus1 |