Items where authors include "Alexander, Robert David"

Article

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2019) A safety-case approach to the ethics of autonomous vehicles. Safety and Reliability. pp. 33-58. ISSN 0961-7353

Delgado-Pérez, Pedro, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Gregory, Steve et al. (3 more authors) (2018) Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Transactions on Reliability. 8453820. pp. 1406-1419. ISSN 0018-9529

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Forecasts or fortune-telling:when are expert judgements of safety risk valid? Safety science. pp. 156-165. ISSN 0925-7535

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Probative blindness and false assurance about safety. Safety science. pp. 190-204. ISSN 0925-7535

Zou, Xueyi, Alexander, Robert David orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2016) Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. Journal of Aerospace Information Systems. pp. 191-203. ISSN 2327-3097

Conference or Workshop Item

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2018) Ethics and the safety of autonomous systems. In: UNSPECIFIED.

Alexander, Robert David orcid.org/0000-0003-3818-0310, Ashmore, Rob and Banks, Andrew (2018) The State of Solutions for Autonomous Systems Safety. In: UNSPECIFIED.

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles. In: 12th International Conference on System Safety and Cyber Security, 30 Oct - 01 Nov 2017.

Wei, Hao, Timmis, Jonathan Ian orcid.org/0000-0003-1055-0471 and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms. In: IEEE Congress on Evolutionary Computation 2017, 05-08 Jun 2017.

Leong, Chris Wai Kiat, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Incorporating epistemic uncertainty into the safety assurance of socio-technical systems. In: 2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies, 29 Apr 2017.

Alexander, Robert David orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2017) From Safety Cases to Security Cases. In: UNSPECIFIED.

Alhwikem, Faisal Haji M, Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Rose, Louis Matthew orcid.org/0000-0002-3419-2579 et al. (1 more author) (2016) A Systematic Approach for Designing Mutation Operators for MDE languages. In: UNSPECIFIED.

Zou, Xueyi, Alexander, Robert David orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2016) On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization::Challenges and a Tentative Partial Solution. In: UNSPECIFIED.

Eastwood, Tai Chi Minh Ralph, Alexander, Robert David orcid.org/0000-0003-3818-0310 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2016) Safe Multi-objective Planning with a Posteriori Preferences. In: UNSPECIFIED.