Search research publications and outputs

  1. 2022
  2. Where to Focus: Investigating Hierarchical Attention Relationship for Fine-Grained Visual Classification

    Liu, Y., Zhou, L., Zhang, P., Xiao, B., Gu, L., Yu, X., Zhou, J. & Hancock, E. R., 4 Jul 2022, (Accepted/In press) Proceedings ECCV 2022. Springer-Verlag, 17 p.

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

  3. Formally Verified Animation for RoboChart using Interaction Trees

    Ye, K., Foster, S. & Woodcock, J., 27 Jun 2022, (Accepted/In press) The 23rd International Conference on Formal Engineering Methods. Springer Science and Business Media Deutschland GmbH

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

  4. Mitigating Risk in Neural Network Classifiers

    Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.

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

  5. Online security attack experience and worries of young adults in the United Kingdom

    Aldaraani, N., Petrie, H. & Shahandashti, S. F., 25 May 2022, (Accepted/In press) 2022 IFIP International Symposium on Human Aspects of Information Security & Assurance. Springer

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

  6. Imitating Playstyle with Dynamic Time Warping Imitation

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 21 May 2022, (Accepted/In press) The 17th International Conference on the Foundations of Digital Games (FDG) 2022. ACM

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

  7. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Cui, L., Bai, L. & Hancock, E. R., 15 May 2022, (Accepted/In press) Proceedings ICML 2022, Baltimore, USA.. 9 p. (Proceedings of Machine Learning Research).

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

  8. ML-Based Detection of Blackhole and Rank Attacks in RPL Networks

    Ioulianou, P., Vasilakis, V. & Shahandashti, S. F., 5 May 2022, (Accepted/In press) International Symposium on Communications Systems, Networks and Digital Signal Processing: Proceedings. IEEE Press, 6 p.

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

  9. A Framework for Generating Informative Benchmark Instances

    Dang, N., Akgün, Ö., Espasa, J., Miguel, I. & Nightingale, P., 31 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

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

  10. Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

    Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 31 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

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

  11. Providing Assurance That Risks Associated with Electromagnetic Disturbances Are Sufficiently Managed

    Tishehzan, M., Dawson, J. F., Nicholson, M. & Pissoort, D., 25 Apr 2022, (Accepted/In press) 2022 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p.

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

  12. PRESTO: Predicting System-level Disruptions through Parametric Model Checking

    Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 10 Mar 2022, (Accepted/In press) 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  13. Revisiting Domain Generalized Stereo Matching Networks from a Feature Consistency Perspective

    Zhang, J., Wang, X., Xiao, B., Wang, C., Huang, L., Cheng, Y., Gu, L., Zhou, J., Harada, T. & Hancock, E. R., 20 Feb 2022, (Accepted/In press) Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022.. 10 p.

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

  14. Do People Use Games to Compensate for Psychological Needs During Crises? A Mixed-Methods Study of Gaming During COVID-19 Lockdowns

    Ballou, N., Deterding, C. S., Iacovides, J. & Helsby, L., 11 Feb 2022, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’22). ACM, 15 p.

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

  15. 2021
  16. Self-Determination Theory in HCI: Shaping a Research Agenda

    Ballou, N., Deterding, C. S., Calvo, R., Peters, D., Tyack, A., Mekler, E. D., Villalobos Zúñiga, G. & Türkay, S., 1 Dec 2021, (Accepted/In press) CHI ’22 Extended Abstracts. Association for Computing Machinery (ACM)

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

  17. Heterogeneous Model Query Optimisation

    Ali, Q. U. A., 12 Oct 2021, (Accepted/In press) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE

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

  18. Simulation, Design and Control of a Soft Robotic Arm with Integrated Bending Sensing

    Wills, B. & Liu, P., 6 Oct 2021, (Accepted/In press) The 20th IEEE International Conference on Advanced Robotics (ICAR). IEEE

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

  19. Information Bottlenecked Variational Autoencoder for Disentangled 3D Facial Expression Modelling

    Sun, H., Pears, N. E. & Gu, Y., 4 Oct 2021, (Accepted/In press) Winter Conference on Applications in Computer Vision, Proceedings. IEEE

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

  20. Ontology Graph Embeddings and ILP for Financial Forecasting

    Erten, C. & Kazakov, D. L., 20 Sep 2021, (Accepted/In press) Inductive Logic Programming, Proceedings of the 30th International Conference. Springer, 14 p. (LNAI).

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

  21. Generation and Verification of Executable Assurance Case by Model-based Engineering

    Yan, F., 27 Aug 2021, (Accepted/In press) 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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

  22. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

  23. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

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

  24. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

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

  25. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

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

  26. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

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

  27. Neither Grasshopper nor Ant: learning from coding for fun and from gaming [WIP]

    Iacovides, J. & Green, TRG., 10 Jun 2021, (Accepted/In press) Proceedings of the 32nd Psychology of Programming Interest Group. ACM

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

  28. Robot motion planning benchmarking and optimization through motion planning pipeline

    Liu, S. & Liu, P., 2 Jun 2021, (Accepted/In press) The 17th IEEE International Conference on Automation Science and Engineering (CASE 2021). IEEE

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

  29. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

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

  30. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

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

  31. Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

    Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). Association for Computing Machinery (ACM), p. 7:1-7:26 26 p.

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

  32. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer, Vol. 625. p. 213 227 p.

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

  33. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

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

  34. Maintaining driver attentiveness in shared-control autonomous driving

    Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

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

  35. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

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

  36. 2020
  37. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  38. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  39. Service Humanoid Robotics: Review and Design of A Novel Bionic-Companionship Framework

    Yang, J., Chew, E. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  40. Reconstructing Creative Lego Models

    Tattersall, G., Zhu, D., Smith, W. A. P., Deterding, C. S. & Huber, P., 16 Sep 2020, (Accepted/In press) Computer Vision – ACCV 2020.

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

  41. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  42. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

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

  43. TwitchChat: A Dataset for Exploring Livestream Chat

    Ringer, C., Nicolaou, M. & Walker, J. A., 23 Jul 2020, (Accepted/In press) THE 16TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INTERACTIVE DIGITAL ENTERTAINMENT (AIIDE). AAAI Press

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

  44. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

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

  45. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  46. Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

    Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  47. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

  48. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  49. Self-supervised Outdoor Scene Relighting

    Yu, Y., Meka, A., Elgharib, M., Seidel, H-P., Theobalt, C. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  50. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

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

  51. Player Style Clustering without Game Variables

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 28 May 2020, (Accepted/In press) Proceedings of the International Conference on the Foundations of Digital Games (FDG) 2020. ACM

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

  52. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

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

  53. 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

Previous 1 2 Next