Rob Alexander

Orcid: 0000-0003-3818-0310

Affiliations:
  • The University of York, UK


According to our database1, Rob Alexander authored at least 38 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation.
Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

2022
Verified synthesis of optimal safety controllers for human-robot collaboration.
Sci. Comput. Program., 2022

2021
Deep reinforcement learning for drone navigation using sensor data.
Neural Comput. Appl., 2021

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.
Frontiers Robotics AI, 2021

SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2021

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs).
Proceedings of the Wireless Mobile Communication and Healthcare, 2021

Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2021

Runtime Decision Making Under Uncertainty in Autonomous Vehicles.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2020
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models.
CoRR, 2020

Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019
Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study.
CoRR, 2019

2018
Evaluation of Mutation Testing in a Nuclear Industry Case Study.
IEEE Trans. Reliab., 2018

2017
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems.
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Evolving test environments to identify faults in swarm robotics algorithms.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search.
J. Aerosp. Inf. Syst., 2016

A Systematic Approach for Designing Mutation Operators for MDE Languages.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Safe Multi-objective Planning with a Posteriori Preferences.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Mindful Technologies Research and Developments in Science and Art.
Proceedings of the 2016 AAAI Spring Symposia, 2016

2015
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing.
J. Syst. Softw., 2015

Subdomain-based test data generation.
J. Syst. Softw., 2015

Semantic Mutation Testing for Multi-agent Systems.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

2014
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment.
Reliab. Eng. Syst. Saf., 2014

Evolving robust networks for systems-of-systems: is it viable for large networks?
Empir. Softw. Eng., 2014

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Probability-Based Semantic Interpretation of Mutants.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Searching for Risk in Large Complex Spaces.
Proceedings of the Applications of Evolutionary Computation - 17th European Conference, 2014

Mutation Testing for Jason Agents.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013
Efficient Subdomains for Random Testing.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Testing Autonomous Robot Control Software Using Procedural Content Generation.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Using Mutation Analysis to Evolve Subdomains for Random Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The discovery and quantification of risk in high dimensional search spaces.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Evolving Robust Networks for Systems-of-Systems.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011
Using a Software Safety Argument Pattern Catalogue: Two Case Studies.
Proceedings of the Computer Safety, Reliability, and Security, 2011

2010
A case for dynamic risk assessment in NEC systems of systems.
Proceedings of the 5th International Conference on System of Systems Engineering, 2010

2009
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems.
Proceedings of the Safety and Security in Multiagent Systems, 2009

2006
System of Systems Hazard Analysis Using Simulation and Machine Learning.
Proceedings of the Computer Safety, 2006


  Loading...