Search research publications and outputs

  1. Conference contribution › Research
  2. Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures

    Owenson, A., Wright, S., Bunt, R., Jarvis, S., Ho, Y. & Street, M., 6 Jun 2018, Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. Institute of Electrical and Electronics Engineers Inc., p. 68-76 9 p.

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

  3. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  4. Dirichlet Graph Densifiers

    Escolano, F., Curado, M., Lozano, M. A. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 185-195 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  5. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

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

  6. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

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

  7. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

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

  8. Dynamic attention-controlled cascaded shape regression exploiting training data augmentation and fuzzy-set sample weighting

    Feng, Z., Kittler, J., Christmas, W., Huber, P. & Wu, X-J., 6 Nov 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 3681-3686 6 p.

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

  9. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

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

  10. Energy-aware resource allocation in multi-mode automotive applications with hard real-time constraints

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-107 8 p. 7515617

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

  11. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  12. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  13. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

  14. Evolving Carbon Nanotube Reservoir Computers

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 15 Jun 2016, Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Amos, M. & Condon, A. (eds.). Springer, p. 49-61 13 p. (Lecture Notes in Computer Science; vol. 9726).

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

  15. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  16. Evolving Graphs with Horizontal Gene Transfer

    Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

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

  17. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 5 Sep 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Netherlands: SPRINGER, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  18. Exploiting system dynamics for resource-efficient automotive CPS design

    Maldonado, L., Chang, W., Roy, D., Annaswamy, A., Goswami, D. & Chakraborty, S., 29 Mar 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). p. 234-239

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

  19. Exploration and Skill Acquisition in a Major Online Game

    Stafford, T., Devlin, S., Sifa, R. & Drachen, A., 2017, The 39th Annual Meeting of the Cognitive Science Society (CogSci).

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

  20. Exploring intrinsic and extrinsic motivations to participate in a crowdsourcing project to support blind and partially sighted students

    Layas, F. A. M. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 545 - 556 11 p.

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

  21. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  22. Extensible Automated Constraint Modelling

    Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

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

  23. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

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

  24. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

    Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer Berlin / Heidelberg, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  25. Face image super-resolution via weighted patches regression

    Zhang, Y., Zhang, Z., Hu, G. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3892-3897 6 p.

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

  26. Features of integrated model-based co-modelling and co-simulation technology

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K., 1 Jan 2018, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. Cerone, A. & Roveri, M. (eds.). Springer Verlag, p. 377-390 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10729 LNCS).

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

  27. Feedback-based admission control for hard real-time task allocation under dynamic workload on many-core systems

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 26 Mar 2016, Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. Springer-Verlag, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9637).

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

  28. Finding All Bayesian Network Structures within a Factor of Optimal

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 10 Dec 2018, (Accepted/In press) The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press

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

  29. FitSpec: refining property sets for functional testing

    Runciman, C. & Braquehais, R., 2016, Proceedings of 9th International Symposium on Haskell. Nara, Japan: ASSOC COMPUTING MACHINERY, p. 1-12 12 p.

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

  30. Flow, Intrinsic Motivation, and Developer Experience in Software Engineering

    Kuusinen, K., Petrie, H., Fagerholm, F. & Mikkonen, T., 24 May 2016, Proceedings of the International Conference on Agile Software Development: Agile Processes in Software Engineering and Extreme Programming (XP 2016). Springer, (Lecture Notes in Business Information Processing ; vol. 251).

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

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

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

  33. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  34. From Java to real-time Java: A model-driven methodology with automated toolchain

    Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.

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

  35. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  36. Gamification design for motivating and measuring modal shift

    Minear, M., Deterding, C. S. & Devlin, S., 6 Jun 2016, 11th ITS European Congress. Glasgow, EU-TP0275

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

  37. Graph Entropy from Closed Walk and Cycle Functionals

    Aziz, F., Hancock, E. R. & Wilson, R. C., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 174-184 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  38. Group Activity Recognition on Outdoor Scenes

    Stephens, K. & Bors, A. G., Aug 2016, IEEE International Conference on Advanced Video and Signal-based Surveillance (AVSS). IEEE, p. 59-65 7 p.

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

  39. Hardware-accelerated parallel genetic algorithm for fitness functions with variable execution times

    Ma, Y. & Indrusiak, L. S., 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 829-836 8 p.

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

  40. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

  41. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

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

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

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

    Ingram, C. & Drachen, A., 9 Dec 2019, (Accepted/In press) 42nd International Conference on Software Engineering. ACM

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

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

  45. Image object labelling and classification using an associative memory

    O'Keefe, S. E. M. & Austin, J., 1995, Fifth International Conference on Image Processing and its Applications, 1995. London: IET, p. 286-290 5 p.

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

  46. Impact of Memory Frequency Scaling on User-centric Smartphone Workloads

    Mendis, H. R., Chen, W-M., Soares Indrusiak, L., Kuo, T-W. & Hsiu, P-C., 2018, Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018).

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

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

  48. Improved AURA k-Nearest Neighbour approach

    Weeks, M., Hodge, V., O'Keefe, S., Austin, J. & Lees, K., 2003, ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II. Mira, J. & Alvarez, JR. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 2687. p. 663-670 8 p. (Lecture Notes in Computer Science).

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

  49. Improved storage capacity in correlation matrix memories storing fixed weight codes

    Hobson, S. J. & Austin, J., 16 Sep 2009, Lecture Notes in Computer Science. PART 1 ed. ICANN 2009: Springer, Vol. 5768. p. 728-736 9 p. (Lecture Notes in Computer Science).

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

  50. Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

    Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., Quiñones, E. & 7 others, Mezzetti, E., Kosmidis, L., Agirre, I., Fernández, M., Slijepcevic, M., Conmy, P. & Talaboulma, W., 2016, Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, p. 276-285 10 p.

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

  51. Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory

    Baruah, S. & Burns, A., 11 Jul 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, p. 155-162 8 p. (nternational Symposium on Real-Time Distributed Computing (ISORC)).

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