Alec Banks - RankMe

25 papers A 1B 3Journal 12Unranked 9

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy. CoRR Ayodeji Opeyemi Abioye, Aleksandra Landowska, William Hunt, Horia A. Maior, Sarvapali D. Ramchurn, Mohammad Naiseh, Alec Banks, Mohammad Divband Soorati
2024	J	`jnl`	Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2024	—	`conf`	Removing the Big Red Button: Uncrewed Ground Vehicles in Complex Military Environments. ISSRE (Workshops) Alec Banks, Prathyush P. Menon, Steve Austen
2023	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
2022	—	`conf`	Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2022	J	`jnl`	Hierarchical Distribution-Aware Testing of Deep Learning. CoRR Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2021	—	`conf`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	J	`jnl`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	—	`conf`	Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	—	`conf`	Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
2021	—	`conf`	The Utility of Neural Network Test Coverage Measures. SafeAI@AAAI Rob Ashmore, Alec Banks
2021	B	`conf`	Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2020	B	`conf`	A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020	J	`jnl`	A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020	J	`jnl`	Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
2019	—	`conf`	Requirements Assurance in Machine Learning. SafeAI@AAAI Alec Banks, Rob Ashmore
2017	—	`conf`	Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks
2015	B	`conf`	Self-adaptive Software with Decentralised Control Loops. FASE Radu Calinescu, Simos Gerasimou, Alec Banks
2014	A	`conf`	Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS Simos Gerasimou, Radu Calinescu, Alec Banks
2010	—	`conf`	A framework of requirements for the design and management of dependable network enabled capability system of systems. SoSE Alec Banks, Neil Bowman, Paul Caseley
2010	J	`jnl`	Hybridisation of particle swarm optimisation with area concentrated search. Int. J. Knowl. Based Intell. Eng. Syst. Alec Banks, Jonathan Vincent
2009	J	`jnl`	Natural strategies for search. Nat. Comput. Alec Banks, Jonathan Vincent, Keith Phalp
2008	J	`jnl`	A review of particle swarm optimization. Part II: hybridisation, combinatorial, multicriteria and constrained optimization, and indicative applications. Nat. Comput. Alec Banks, Jonathan Vincent, Chukwudi Anyakoha
2007	J	`jnl`	A review of particle swarm optimization. Part I: background and development. Nat. Comput. Alec Banks, Jonathan Vincent, Chukwudi Anyakoha