| 2024 | ISSRE | Removing the Big Red Button: Uncrewed Ground Vehicles in Complex Military Environments. | Alec Banks, Prathyush P. Menon, Steve Austen |
| 2021 | AAAI | The Utility of Neural Network Test Coverage Measures. | Rob Ashmore, Alec Banks |
| 2021 | ICAART | Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | ICAART | Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | IJCAI | Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. | Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang |
| 2021 | KES | Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2020 | SAFECOMP | A Safety Framework for Critical Systems Utilising Deep Neural Networks. | Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2019 | AAAI | Requirements Assurance in Machine Learning. | Alec Banks, Rob Ashmore |
| 2017 | ICAART | Assured Reinforcement Learning with Formally Verified Abstract Policies. | George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks |
| 2015 | FASE | Self-adaptive Software with Decentralised Control Loops. | Radu Calinescu, Simos Gerasimou, Alec Banks |
| 2014 | ICSE | Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. | Simos Gerasimou, Radu Calinescu, Alec Banks |