Research output per year
Research output per year
- 16 results
Search results
-
2024
Understanding Safety Engineering Practice: Comparing Safety Engineering Practice As Desired, As Required, and As Observed
Osborne, M., Hawkins, R. D., Alexander, R. & Nicholson, M., Apr 2024, In: Safety science. 172, 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2022
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Gleirscher, M., Calinescu, R., Douthwaite, J., Lesage, B. M.J.-R., Paterson, C., Aitken, J., Alexander, R. & Law, J., 4 Apr 2022, (E-pub ahead of print) In: Science of Computer Programming. 102809.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2021
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics
Douthwaite, J. A., Lesage, B. M.J.-R., Gleirscher, M., Calinescu, R., Aitken, J. M., Alexander, R. & Law, J., 10 Dec 2021, In: Frontiers in Robotics and AI. 8, 17 p., 758099.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
A manifesto for Reality-based Safety Science
Rae, A., Provan, D., Aboelssaad, H. & Alexander, R., 1 Jun 2020, In: Safety science. 126, 11 p., 104654.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Deep reinforcement learning for drone navigation using sensor data
Hodge, V. J., Hawkins, R. D. & Alexander, R., 21 Jun 2020, In: Neural computing & applications. 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Enhancing COVID-19 decision making by creating an assurance case for epidemiological models
Habli, I., Alexander, R., Hawkins, R. D., Sujan, M., McDermid, J. A., Picardi, C. & Lawton, T., 7 Sept 2020, In: BMJ Health and Care Informatics. p. 1-5 5 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
A safety-case approach to the ethics of autonomous vehicles
Menon, C. & Alexander, R. D., 17 Dec 2019, (E-pub ahead of print) In: Safety and Reliability. 39, 1, p. 33-58 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
Evaluation of Mutation Testing in a Nuclear Industry Case Study
Delgado-Pérez, P., Habli, I., Gregory, S., Alexander, R. D., Clark, J. A. & Medina-Bulo, I., Dec 2018, In: IEEE Transactions on Reliability. 67, 4, p. 1406-1419 14 p., 8453820.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2017
Forecasts or fortune-telling: when are expert judgements of safety risk valid?
Rae, A. & Alexander, R. D., Nov 2017, In: Safety science. 99, B, p. 156-165 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Probative blindness and false assurance about safety
Rae, A. & Alexander, R. D., 1 Feb 2017, In: Safety science. 92, p. 190-204 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search
Zou, X., Alexander, R. D. & McDermid, J. A., 1 May 2016, In: Journal of Aerospace Information Systems. 13, 5, p. 191-203 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
Subdomain-based test data generation
Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., May 2015, In: Journal of Systems and Software. 103, p. 328-342 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing
Poulding, S., Alexander, R., Clark, J. A. & Hadley, M. J., 1 May 2015, In: Journal of Systems and Software. 103, p. 296-310 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2014
Evolving Robust Networks for Systems-of-Systems: is it Viable for Large Networks?
Aitken, J. M., Alexander, R., Kelly, T. & Poulding, S. M., Oct 2014, In: Empirical Software Engineering. 19, 5, p. 1502-1530 29 p.Research output: Contribution to journal › Article › peer-review
-
Fixing the cracks in the crystal ball: a maturity model for quantitative risk assessment
Rae, A. J., Alexander, R. & McDermid, J. A., May 2014, In: Reliability Engineering and System Safety. 125, p. 67-81 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2013
Supporting Systems of Systems Hazard Analysis Using Multi-Agent Simulation
Alexander, R. & Kelly, T., Jan 2013, In: Safety science. 51, 1, p. 302-318 17 p.Research output: Contribution to journal › Article › peer-review