Items where authors include "Alexander, Rob"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article | Monograph | Conference or Workshop Item | Proceedings Paper | Book | Preprint
Number of items: 30.

Article

Osborne, Matthew orcid.org/0000-0002-9941-4531, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (1 more author) (2024) Understanding Safety Engineering Practice : Comparing Safety Engineering Practice As Desired, As Required, and As Observed. Safety science. ISSN 0925-7535

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (4 more authors) (2021) A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers in Robotics and AI. 758099. ISSN 2296-9144

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Alexander, Rob orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (4 more authors) (2020) Enhancing COVID-19 decision making by creating an assurance case for epidemiological models. BMJ Health and Care Informatics. pp. 1-5. ISSN 2632-1009

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2020) Deep reinforcement learning for drone navigation using sensor data. Neural computing & applications. ISSN 0941-0643

Rae, Andrew, Provan, David, Aboelssaad, Hossam et al. (1 more author) (2020) A manifesto for Reality-based Safety Science. Safety science. 104654. ISSN 0925-7535

Patrick, Matthew, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel et al. (1 more author) (2015) Subdomain-based test data generation. Journal of Systems and Software. pp. 328-342. ISSN 0164-1212

Rae, Andrew John, Alexander, Rob orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2014) Fixing the cracks in the crystal ball : a maturity model for quantitative risk assessment. Reliability Engineering and System Safety. pp. 67-81. ISSN 0951-8320

Monograph

Alexander, Rob orcid.org/0000-0003-3818-0310 (2023) Exemplar Papers for Reality-Based Safety Engineering. Report. The Department of Computer Science, University of York

Gheraibia, Youcef, Kao, Bob, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (2 more authors) (2020) Review of legal frameworks, standards and best practices in verification and assurance for infrastructure inspection robotics. Research Report.

Koopman, Philip, Hierons, Rob, Khastgir, Siddartha et al. (10 more authors) (2019) Certification of Highly Automated Vehicles for Use on UK Roads : Creating An Industry-Wide Framework for Safety. Report. Five AI Ltd

Alexander, Rob orcid.org/0000-0003-3818-0310, Hawkins, Heather Rebecca and Rae, Andrew John (2015) Situation coverage – a coverage criterion for testing autonomous robots. Report. Department of Computer Science, University of York

Conference or Workshop Item

Zou, Xueyi, Alexander, Rob orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2014) Safety validation of sense and avoid algorithms using simulation and evolutionary search. In: 33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, 10-12 Sep 2014.

Poulding, Simon Marcus, Alexander, Rob orcid.org/0000-0003-3818-0310, Clark, John Andrew orcid.org/0000-0002-9230-9739 et al. (1 more author) (2013) The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing. In: GECCO 2013, 06-10 Jul 2013.

Patrick, Matthew Timothy, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel Yves Antoine et al. (1 more author) (2013) Using Mutation Analysis to Evolve Subdomains for Random Testing. In: Mutation 2013: 8th International Workshop on Mutation Analysis, 18 Mar 2013.

Proceedings Paper

Jogia, Vira, Alexander, Rob orcid.org/0000-0003-3818-0310 and Garnett, Philip orcid.org/0000-0001-6651-0220 (2023) Ambiguous terminology for advanced control systems can impact the perception of risk. In: HAZARDS 33. HAZARDS 33, 07-09 Nov 2023. Institution of Chemical Engineers , GBR .

Proma, Nawshin Mannan and Alexander, Rob orcid.org/0000-0003-3818-0310 (2023) Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. In: LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing. LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing, 16-20 Oct 2023. ACM , BOL , pp. 208-213.

Aftab, Haris orcid.org/0000-0001-7981-1743, Gautam, Vibhu, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2022) Robust Intent Classification using Bayesian LSTM for Clinical Conversational Agents (CAs). In: MobiHealth 2021:Wireless Mobile Communication and Healthcare. 10th EAI International Conference on Wireless Mobile Communication and Healthcare, 13-14 Nov 2021. Springer , CHN , pp. 106-118.

Tahir, Zaid and Alexander, Rob orcid.org/0000-0003-3818-0310 (2022) Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA. In: MESAS 2021: Modelling and Simulation for Autonomous Systems. UNSPECIFIED. Springer , pp. 191-212.

Lesage, Benjamin Michael Jean-Rene and Alexander, Rob orcid.org/0000-0003-3818-0310 (2021) SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems. In: Proceedings of SafeComp 2021. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 195-209.

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Alexander, Rob orcid.org/0000-0003-3818-0310 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2021) Safety Cases: An Impending Crisis? In: Safety-Critical Systems Symposium (SSS’21). UNSPECIFIED. , York, UK .

Gautam, Vibhu, Gheraibia, Youcef, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (1 more author) (2021) Runtime Decision Making Under Uncertainty in Autonomous Vehicles. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). UNSPECIFIED. CEUR Workshop Proceedings .

Tahir, Zaid and Alexander, Rob orcid.org/0000-0003-3818-0310 (2020) Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicle  : A Systematic Literature Review. In: The Second IEEE International Conference On Artificial Intelligence Testing. The Second IEEE International Conference On Artificial Intelligence Testing, 13-16 Apr 2020, Keble College. , GBR .

Huang, Zhan and Alexander, Rob orcid.org/0000-0003-3818-0310 (2015) Semantic Mutation Testing for Multi-Agent Systems. In: Baldoni, Matteo, Baresi, Luciano and Dastani, Mehdi, (eds.) Engineering Multi-Agent Systems:Third International Workshop, EMAS 2015. UNSPECIFIED. Lecture Notes in Artificial Intelligence . Springer , Switzerland , 131 to 152.

Huang, Zhan, Alexander, Rob orcid.org/0000-0003-3818-0310 and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2014) Mutation Testing for Jason Agents. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. 13th International Conference on Autonomous Agents and Multiagent Systems, 05-09 May 2014. IFAAMAS , FRA .

Patrick, Matthew, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel et al. (1 more author) (2014) Probability-based semantic interpretation of mutants. In: Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops:ICSTW 2014. 7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014, 31 Mar - 04 Apr 2014. IEEE Computer Society , GBR , pp. 186-195.

Arnold, James and Alexander, Rob orcid.org/0000-0003-3818-0310 (2013) Testing Autonomous Robot Control Software Using Procedural Content Generation. In: Computer Safety, Reliability, and Security. 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), 24-27 Sep 2013. Lecture Notes in Computer Science . Springer , FRA , pp. 33-44.

Book

Alexander, Rob orcid.org/0000-0003-3818-0310, Asgari, Hamid, Ashmore, Rob, Banks, Andrew, Bongirwar, Rajiv, Bradshaw, Ben, Bragg, John, Clegg, John, Fenn, Jane, Harper, Chris, Harvey, David, Johnson, Nakita, Menon, Catherine, Rivett, Roger Stephen, Ryan, Philippa, Sujan, Mark, Tudor, Nick and Tushingham, Stuart (2020) Safety Assurance Objectives for Autonomous Systems. Safety Critical Systems Club , (112pp).

Alexander, Rob orcid.org/0000-0003-3818-0310, Ashmore, Rob, Banks, Andrew, Bradshaw, Ben, Bragg, John, Clegg, John, Harper, Chris, Menon, Catherine, Rivett, Roger Stephen, Ryan, Philippa, Tudor, Nick, Tushingham, Stuart, Birch, John, Burski, Lavinia, Coley, Timothy, Lewis, Neil, Neal, Ken, Price, Ashley, Reid, Stuart, Simpson, Alan and Steel, Rod (2019) Safety Assurance Objectives for Autonomous Systems. Safety Critical Systems Club , (66pp).

Preprint

Hawkins, Heather Rebecca and Alexander, Rob orcid.org/0000-0003-3818-0310 (2019) Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study. [Preprint]

This list was generated on Sat Apr 20 03:57:43 2024 BST.