Rob Alexander

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 20

Top Topics

Autonomous Vehicles

Safety Analysis

Conversational Agents

Mutation Testing

Top Venues

Publications

Nawshin Mannan Proma, Rob Alexander
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. LADC (2023)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218 (2022)
Victoria J. Hodge, Richard Hawkins, Rob Alexander
Deep reinforcement learning for drone navigation using sensor data. Neural Comput. Appl. 33 (6) (2021)
Zaid Tahir, Rob Alexander
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. CoRR (2021)
Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins
Runtime Decision Making Under Uncertainty in Autonomous Vehicles. SafeAI@AAAI (2021)
James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8 (2021)
Benjamin Lesage, Rob Alexander
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. SAFECOMP (2021)
Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth (2021)
Zaid Tahir, Rob Alexander
Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. MESAS (2021)
Zaid Tahir, Rob Alexander
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review. CoRR (2021)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR (2021)
Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John McDermid, Chiara Picardi, Tom Lawton
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR (2020)
Zaid Tahir, Rob Alexander
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review. AITest (2020)
Heather Hawkins, Rob Alexander
Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study. CoRR (2019)
Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67 (4) (2018)
Hao Wei, Jon Timmis, Rob Alexander
Evolving test environments to identify faults in swarm robotics algorithms. CEC (2017)
Xueyi Zou, Rob Alexander, John McDermid
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. J. Aerosp. Inf. Syst. 13 (5) (2016)
Xueyi Zou, Rob Alexander, John McDermid
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. DSN Workshops (2016)
Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS (2016)
Zhan Huang, Rob Alexander
Semantic Mutation Testing for Multi-agent Systems. EMAS@AAMAS (2015)
Zhan Huang, Rob Alexander, John A. Clark
Mutation Testing for Jason Agents. EMAS@AAMAS (2014)
Xueyi Zou, Rob Alexander, John McDermid
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. SAFECOMP (2014)
Andrew Rae, Rob Alexander, John McDermid
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. Reliab. Eng. Syst. Saf. 125 (2014)
James Arnold, Rob Alexander
Testing Autonomous Robot Control Software Using Procedural Content Generation. SAFECOMP (2013)