Search research publications and outputs

  1. Exploring the Notion of Hazards for Health IT

    Habli, I., White, S. P., Harrison, S. & Pujara, M., Apr 2017, Informatics for Health 2017.

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

  2. Fault-Based Testing for Refinement in CSP

    Cavalcanti, A. L. C. & Simao, A., 30 Sep 2017, 29th IFIP WG 6.1 International Conference on Testing Software and Systems. Yevtushenko, N., Cavalli, A. R. & Yenigun, H. (eds.). Springer, Vol. 10533. p. 21-37 17 p. (Lecture Notes in Computer Science).

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

  3. Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

    Griffin, D. J., Lesage, B. M. J-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

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

  4. GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems

    Jiang, Z. & Audsley, N. C., 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 806-811 6 p. 7927099

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

  5. Human Group Activity Recognition based on Modelling Moving Regions Interdependencies

    Stephens, K. & Bors, A. G., 27 Apr 2017, Proc. of International Conference on Pattern Recognition (ICPR). IEEE, p. 2116-2121 6 p.

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

  6. Investigating Uncertainty in Digital Games and its Impact on Player Immersion

    Kumari, S., Power, C. D. & Cairns, P. A., Apr 2017, ACM CHI 2017. ACM, p. 503-509

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

  7. Issues of using wireless sensor network to monitor urban air quality

    Fang, X. & Bate, I. J., 2017, International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). ACM, 8 p.

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

  8. Java in the Safety-Critical Domain

    Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).

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

  9. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., Sep 2017, Online proceedings of the 27th conference on Inductive Logic Programming.

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

  10. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A., 1 Dec 2017, Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623).

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

  11. Memory-Bounded Monte Carlo Tree Search

    Powley, E. J., Cowling, P. I. & Whitehouse, D., 2017, 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17), 5-9 October 2017, Snowbird, Utah, USA. .

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

  12. Minimising Entropy Changes in Dynamic Network Evolution

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 255-265 11 p.

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

  13. Modelling and Verification of Timed Robotic Controllers

    De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  14. Music Genre Classification using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 14 Nov 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Springer, (Lecture Notes in Computer Science).

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

  15. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

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

  16. On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling

    Chen, J. J., Bruggen, G. V. D., Huang, W-H. & Davis, R. I., Jun 2017, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Bertogna, M. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 9:1-9:25 25 p. (LIPIcs – Leibniz International Proceedings in Informatics; vol. 76).

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

  17. Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures

    Brown, D., Wright, S. A. & Jarvis, S. A., 20 Nov 2017, UK Performance Engineering Workshop (UKPEW'17).

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

  18. Polytypic Genetic Programming

    Swan, J., Krawiec, K. & Ghani, N., 1 Jul 2017, 20th European Conference on the Applications of Evolutionary Computation. Squillero, G. (ed.). Amsterdam: Springer, Vol. 10200. p. 66-81 16 p. (LNCS).

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

  19. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

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

  20. Predicting Player Experience without the Player

    Guckelsberger, C., Salge, C., Gow, J. & Cairns, P. A., Oct 2017, ACM CHI Play 2017. ACM, p. 305-315

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

  21. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

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

  22. Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems

    Dai, X. & Burns, A., 30 May 2017, Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Bader, M. & Blieberger, J. (eds.). Vol. 10300. p. 87-101 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10300 LNCS).

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

  23. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

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

  24. Probabilistic Graph Programming

    Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

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

  25. Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

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