Search research publications and outputs

  1. 2018
  2. TACO: An industrial case study of Test Automation for COverage

    Lesage, B. M. J-R., Law, S. A. & Bate, I. J. 10 Oct 2018 Proceedings of the 26th International Conference on Real-Time Networks and Systems. ACM, p. 114-124 11 p. (RTNS'18)

    Research output: ResearchConference contribution

  3. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, J. A. M. E. S. C. P. 5 Oct 2018 15th International Conference on Formal Aspects of Component Software. Lecture Notes in Computer Science, 18 p.

    Research output: ResearchConference contribution

  4. Pointers Inside Lambda Closure Objects in OpenMP Target Offload Regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S. 1 Oct 2018 (Accepted/In press) Proceedings of the Fifth Workshop on the LLVM Compiler Infrastructure in HPC: Workshop held in conjunction with SC18. 8 p. (Technical Consortium on High Performance Computing)

    Research output: ResearchConference contribution

  5. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J. Oct 2018 Proceedings of the annual ACM Conference CHI Play 2018. ACM

    Research output: ResearchConference contribution

  6. Thermodynamic Analysis of Time Evolving Networks

    Ye, C., Wilson, R. C., Rossi, L., Torsello, A. & Hancock, E. R. 28 Sep 2018 (Accepted/In press)

    Article in Entropy

  7. The Moral Responsibility Gap and the Increasing Autonomy of Systems

    Porter, Z. L. M., Habli, I., Monkhouse, H. E. & Bragg, J. E. 18 Sep 2018

    Research output: Research - peer-reviewPaper

  8. Non-rigid 3D Shape Registration using an Adaptive Template

    Dai, H., Pears, N. E. & Smith, W. A. P. 14 Sep 2018 15 p.

    Research output: Research - peer-reviewPaper

  9. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G. 11 Sep 2018

    Article in Real-Time Systems

  10. BookLeaf: An Unstructured Hydrodynamics Mini-application

    Truby, D., Wright, S. A., Kevis, R., Maheswaran, S., Herdman, A. & Jarvis, S. A. 10 Sep 2018 8 p.

    Research output: Research - peer-reviewPaper

  11. Service Level Agreements for Safe and Configurable Production Environments

    Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y. 7 Sep 2018 International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

    Research output: ResearchConference contribution

  12. What is the Safety Case for Health IT? A Study of Assurance Practices in England

    Habli, I., White, S. P., Sujan, M., Harrison, S. & Ugarte, M. 7 Sep 2018

    Article in Safety science

  13. Quantum enhanced measurements without entanglement

    Braun, D., Adesso, G., Benatti, F., Floreanini, R., Marzolino, U., Mitchell, M. W. & Pirandola, S. 5 Sep 2018

    Article in Reviews of Modern Physics

  14. Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L. Sep 2018 15th Intl Conf. on Parallel Problem Solving from Nature: (PPSN 2018). SPRINGER-VERLAG BERLIN, p. 321-333 13 p. (LNCS)

    Research output: ResearchChapter

  15. What is Acceptably Safe for Reinforcement Learning?

    Bragg, J. E. & Habli, I. Sep 2018

    Research output: Research - peer-reviewPaper

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