Search research publications and outputs

  1. A manifesto for Reality-based Safety Science

    Rae, A., Provan, D., Aboelssaad, H. & Alexander, R., 12 Feb 2020

    Article in Safety science

  2. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 5 Jun 2020, Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, p. 1-15 15 p. (LNAI; no. 11770).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Operationalizing resilient healthcare concepts through a serious video game for clinicians

    Jackson, J., Iacovides, J., Duncan, M., Alders, M., Maben, J. & Anderson, J., 25 Apr 2020

    Article in Applied ergonomics

  7. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming