Search research publications and outputs

  1. 2020
  2. Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicle : A Systematic Literature Review

    Tahir, Z. & Alexander, R., 10 Jan 2020, (Accepted/In press) The Second IEEE International Conference On Artificial Intelligence Testing.

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

  3. Against "Dark Game Design Patterns"

    Deterding, C. S., Stenros, J. & Montola, M., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  4. The Convergence of Gaming and Gambling Research: What Can We Learn from Each Other?

    Deterding, C. S., Karlsen, F., Macey, J., Mortensen, T. E., Wardle, H. & Zendle, D., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract: Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  5. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 13 Feb 2020, (Accepted/In press) 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

  6. Addressing resource contention and timing predictability for multi-core architectures with shared memory interconnects

    Wang, H., Audsley, N. C. & Chang, W., 28 Feb 2020, (Accepted/In press) IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

  7. 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., 2 Mar 2020, (Accepted/In press) Formal Methods in Software Engineering (FormaliSE 2020): Proceedings of the 8th International Conference. ACM

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

  8. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

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

  9. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  10. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  11. Social Icebreakers Everywhere: A Day In The Life

    Kirman, B., Encinas, E. & Mitchell, R., 3 Apr 2020, (Accepted/In press) Proceedings of The 18th European (Virtual) Conference on Computer-Supported Cooperative Work (ECSCW 2020).

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

Previous 1 2 Next