Search research publications and outputs

  1. 2019
  2. Human factors challenges for the safe use of artificial intelligence in patient care

    Sujan, M., White, S., Furniss, D., Habli, I., Grundy, K., Grundy, H., Nelson, D., Elliott, M. & Reynolds, N., 27 Nov 2019

    Article in BMJ Health and Care Informatics

  3. Why is it so difficult to govern mobile apps in healthcare?

    Magrabi, F., Habli, I., Sujan, M., Wong, D., Thimbleby, H., Baker, M. & Coiera, E., 18 Nov 2019

    Article in BMJ Health and Care Informatics

  4. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  5. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  6. Half-lives of Sr 73 and y 76 and the consequences for the proton dripline

    Sinclair, L., Wadsworth, R., Dobaczewski, J., Pastore, A., Lorusso, G., Suzuki, H., Ahn, D. S., Baba, H., Browne, F., Davies, P. J., Doornenbal, P., Estrade, A., Fang, Y., Fukuda, N., Henderson, J., Isobe, T., Jenkins, D. G., Kubono, S., Li, Z., Lubos, D. & 14 others, Nishimura, S., Nishizuka, I., Patel, Z., Rice, S., Sakurai, H., Shimizu, Y., Schury, P., Takeda, H., Söderström, P. A., Sumikama, T., Watanabe, H., Werner, V., Wu, J. & Xu, Z. Y., 16 Oct 2019

    Article in Physical Review C

  7. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

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

  8. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

  9. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  11. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  12. A 65nm CMOS lossless bio-signal compression circuit with 250 femtoJoule performance per bit.

    Crispin-Bailey, C., Dai, C. & Austin, J., 30 Aug 2019, p. 1-14. 14 p.

    Research output: Contribution to conferencePaper

  13. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  14. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

    Chester, D., Wright, S. A., Hammond, S. D., Law, T. R., Smedley-Stevenson, R., Maheswaran, S. & Jarvis, S. A., 15 Aug 2019.

    Research output: Contribution to conferencePoster

  15. Miniature Untethered EEG Recorder Improves Advanced Neuroscience Methodologies

    Crispin-Bailey, C., Austin, J., Moulds, A., Platt, B. & Crouch, B., 14 Aug 2019, p. 1-12. 12 p.

    Research output: Contribution to conferencePaper

  16. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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

  17. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  18. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  19. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

  20. Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

    Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...31 Next