Search research publications and outputs

  1. Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

    Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACM

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

  2. Generating Real-World Impact from Academic Research: Experience Report from a University Impact Hub.

    Ingram, C., Chubb, J. A., Boardman, C. & Ursu, M., 23 May 2020, In IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW’20), May 23–29, 2020, Seoul, Re- public of Korea. ACM, New York, NY, USA, 8 pages: 7th International Workshop on Software Engineering Research and Industrial Practice. ACM, 9 p.

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

  3. Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

    Griffin, D. J., Bate, I. J. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

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

  4. Hardware Design for Autonomous Robot Evolution

    Hale, M., Buchanan Berumen, E., Li, W., Woolley, R., Le Goff, L., De Carlo, M., Timmis, J., Winfield, A., Hart, E., Eiben, G. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  5. How Players Learn Team-versus-Team Esports: First Results from A Grounded Theory Study

    Hesketh, J., Deterding, C. S. & Gow, J., 31 Jan 2020, DiGRA'20 Abstract - Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  6. How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge

    Ingram, C. & Drachen, A., 29 May 2020, 42nd International Conference on Software Engineering. ACM

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

  7. Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

    Sujan, M., Furniss, D., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

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

  8. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  9. Imaging sonar simulator for assessment of image registration techniques

    Almanza Medina, J., Henson, B. & Zakharov, Y., 20 Jan 2020, OCEANS 2019 MTS/IEEE Seattle. IEEE, 8 p.

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

  10. Importance-Driven Deep Learning System Testing

    Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

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

Previous 12 3 4 5 6 7 8 9 ...12 Next