System of Systems Hazard Analysis Using Simulation and Machine Learning. - Robert Alexander; Dimitar Kazakov; Tim Kelly (SAFECOMP, 2006)

Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. - Robert Alexander; Martin Hall-May; Georgios Despotou; Tim Kelly (Safety and Security in Multiagent Systems, 2009)

A case for dynamic risk assessment in NEC systems of systems. - Jonathan M. Aitken; Robert Alexander; Tim Kelly (SoSE, 2010)

Using a Software Safety Argument Pattern Catalogue: Two Case Studies. - Richard Hawkins; Kester Dean Clegg; Robert Alexander; Tim Kelly (SAFECOMP, 2011)

Evolving Robust Networks for Systems-of-Systems. - Jonathan M. Aitken; Robert Alexander; Tim Kelly; Simon M. Poulding (SSBSE, 2012)

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (APSEC (1), 2013)

The discovery and quantification of risk in high dimensional search spaces. - Kester Dean Clegg; Robert Alexander (GECCO (Companion), 2013)

Using Mutation Analysis to Evolve Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2013)

Testing Autonomous Robot Control Software Using Procedural Content Generation. - James Arnold; Rob Alexander (SAFECOMP, 2013)

Efficient Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (SSBSE, 2013)

Mutation Testing for Jason Agents. - Zhan Huang 001; Rob Alexander; John A. Clark (EMAS@AAMAS, 2014)

Searching for Risk in Large Complex Spaces. - Kester Dean Clegg; Robert Alexander (EvoApplications, 2014)

Probability-Based Semantic Interpretation of Mutants. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2014)

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. - Xueyi Zou; Rob Alexander; John A. McDermid (SAFECOMP, 2014)

Evolving robust networks for systems-of-systems: is it viable for large networks? - Jonathan M. Aitken; Robert Alexander; Tim Kelly; Simon M. Poulding (Empir. Softw. Eng., 2014)

Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. - Andrew Rae; Rob Alexander; John A. McDermid (Reliab. Eng. Syst. Saf., 2014)

Semantic Mutation Testing for Multi-agent Systems. - Zhan Huang 001; Rob Alexander (EMAS@AAMAS, 2015)

Subdomain-based test data generation. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (J. Syst. Softw., 2015)

The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. - Simon M. Poulding; Robert Alexander; John A. Clark; Mark J. Hadley (J. Syst. Softw., 2015)

Mindful Technologies Research and Developments in Science and Art. - Hannes Bend; Shawn Slater; Benjamin Knapp; Nuo Ma; Robert Alexander; Bella Shah; Ryan Jayne (AAAI Spring Symposia, 2016)

On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. - Xueyi Zou; Rob Alexander; John A. McDermid (DSN Workshops, 2016)

Safe Multi-objective Planning with a Posteriori Preferences. - Ralph Eastwood; Robert Alexander; Tim Kelly (HASE, 2016)

A Systematic Approach for Designing Mutation Operators for MDE Languages. - Faisal Alhwikem; Richard F. Paige; Louis Rose; Rob Alexander (MoDeVVa@MoDELS, 2016)

Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. - Xueyi Zou; Rob Alexander; John A. McDermid (J. Aerosp. Inf. Syst., 2016)

Evolving test environments to identify faults in swarm robotics algorithms. - Hao Wei; Jon Timmis; Rob Alexander (CEC, 2017)

Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. - Chris Leong; Tim Kelly; Robert Alexander (CREST@ETAPS, 2017)

Evaluation of Mutation Testing in a Nuclear Industry Case Study. - Pedro Delgado-Pérez; Ibrahim Habli; Steve Gregory; Rob Alexander; John A. Clark; Inmaculada Medina-Bulo (IEEE Trans. Reliab., 2018)

Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study. - Heather Hawkins; Rob Alexander (CoRR, 2019)

Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review. - Zaid Tahir; Rob Alexander (AITest, 2020)

Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. - Ibrahim Habli; Rob Alexander; Richard Hawkins; Mark Sujan; John A. McDermid; Chiara Picardi; Tom Lawton (CoRR, 2020)

Runtime Decision Making Under Uncertainty in Autonomous Vehicles. - Vibhu Gautam; Youcef Gheraibia; Rob Alexander; Richard Hawkins (SafeAI@AAAI, 2021)

Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. - Zaid Tahir; Rob Alexander (MESAS, 2021)

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). - Haris Aftab; Vibhu Gautam; Richard Hawkins; Rob Alexander; Ibrahim Habli (MobiHealth, 2021)

SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. - Benjamin Lesage; Rob Alexander (SAFECOMP, 2021)

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. - James A. Douthwaite; Benjamin Lesage; Mario Gleirscher; Radu Calinescu; Jonathan M. Aitken; Rob Alexander; James Law (Frontiers Robotics AI, 2021)

Deep reinforcement learning for drone navigation using sensor data. - Victoria J. Hodge; Richard Hawkins; Rob Alexander (Neural Comput. Appl., 2021)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Mario Gleirscher; Radu Calinescu; James A. Douthwaite; Benjamin Lesage; Colin Paterson; Jonathan M. Aitken; Rob Alexander; James Law (Sci. Comput. Program., 2022)

Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. - Nawshin Mannan Proma; Rob Alexander (LADC, 2023)

3D-Printed Models for Optimizing Tactile Braille & Shape Display. - Maryam Etezad; Rajeev Joshi; Robert Alexander; Franceli L. Cibrian (IEEE Trans. Haptics, 2024)

ARTEMIS: Adaptive Real-Time Task Execution & Management in Heterogeneous Systems. - Tom Springer; Peiyi Zhao; Robert Alexander; Thomas Jordan (IPDPS (Workshops), 2025)

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. - Nawshin Mannan Proma; Victoria J. Hodge; Rob Alexander (SAFECOMP (Workshops), 2025)