Search research publications and outputs

  1. 2019
  2. Realistic and Textured Terrain Generation using GANs

    Spick, R. J. & Walker, J. A., 15 Oct 2019, (Accepted/In press) The 16th ACM SIGGRAPH European Conference on Visual Media Production (CVMP). ACM

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

  3. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

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

  4. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, (LNAI; no. 11770).

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

  5. Decentralised Gambling: Data Abundance and Technical Concerns

    Scholten, O. J., Zendle, D. & Walker, J. A., 22 Jul 2019, Current Advances in Gambling Research Conference 2019. Society for the Study of Addiction

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

  6. Tools and workloads for many-core computing

    Singh, A., Dziurzanski, P., Merrett, G. & Al-Hashimi, B., 26 Jun 2019, Many-Core Computing: Hardware and software. Al-Hashimi, B. M. & Merrett, G. V. (eds.). IET, p. 117-140 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

    Algul, E. & Wilson, R. C., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Springer, p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

    Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Evaluating BCI for Musical Expression: Historical Approaches, Challenges and Benefits

    Williams, D. A. H., 26 May 2019, Brain Art. Springer, p. 145-158 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Feature selection method for image steganalysis based on weighted inner-inter class distance and dispersion criterion

    Ma, Y., Luo, X., Li, Z., Zhang, Y. & Bors, A. G., May 2019, Proc. ACM Turing Celebration Conference - China. ACM, 5 p. 66

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

  11. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

  12. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

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

  13. FocusNet: An attention-based Fully Convolutional Network for Medical Image Segmentation

    Kaul, C., Manandhar, S. K. & Pears, N. E., Apr 2019, International Symposium on Biomedical Imaging (ISBI). Venice

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

  14. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  15. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  16. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

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

  17. Probabilistic Analysis

    Maxim, D., Cucu-Grosjean, L. & Davis, R. I., 18 Feb 2019, Handbook of Real-Time Computing. Springer, p. 1-23

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  18. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  19. Challenging AI: Evaluating the Effect of MCTS-Driven Dynamic Difficulty Adjustment on Player Enjoyment

    Demediuk, S. P., Tamassia, M., Li, X. & Raffe, W., 29 Jan 2019, Proceedings of ACSW.

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

  20. Emotional Congruence in Video Game Audio

    Williams, D. A. H., Murphy, D. T. & Cowling, P. I., 2019, Encyclopedia of Computer Graphics and Games (ECCG). Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Jiao, Y. & Hancock, E. R., 2019, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Würzburg, Germany, 16th - 20th of September 2019.

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

  22. 2018
  23. Predicting Skill Learning in a Large, Longitudinal MOBA Dataset

    Aung, M., Bonometti, V., Cowling, P., Kokkinakis, A. V., Yoder, C. & Wade, A., 11 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490431

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

  24. Working with participants

    Power, C. D. & Petrie, H., 30 Aug 2018, (Accepted/In press) Web accessibility: A foundation for research. Harper, S. & Yesilada, Y. (eds.). 2nd ed. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Accessibility and usability of self-service terminals, technologies and systems

    Petrie, H. & Darzentas, J. S., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897. . Cham, Switzerland: Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Standards, guidelines and legislation related to self-service technologies: developments since 2013

    Petrie, H. & Darzentas, J. S., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897. . Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Generational differences in password management behaviour

    Merdenyan, B. & Petrie, H., 2 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018).. British Computer Society (BCS)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Fully Automated Spleen Localization And Segmentation Using Machine Learning And 3D Active Contours

    Wood, A., Soroushmehr, S. M. R., Farzaneh, N., Fessell, D., Ward, K. R., Gryak, J., Kahrobaei, D. & Na, K., Jul 2018, 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, Vol. 2018. p. 53-56 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  29. What Moves Players? Visual Data Exploration of Twitter and Gameplay Data

    Drescher, C., Wallner, G., Krieglstein, S., Sifa, R., Drachen, A. & Pohl, M., 21 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Paper No. 560. New York: ACM, Vol. 2018-April. 13 p. 560. (Proceedings of the CHI Conference Human Factors in Computing Systems).

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

  30. Intelligent support technologies for older people: an analysis of characteristics and roles

    Petrie, H., Darzentas, J. S. & Carmien, S., 9 Apr 2018, Breaking down barriers: usability, accessibility and inclusive design. Langdon, P., Lazar, J., Heylighen, A. & Dong, H. (eds.). Cham, Switzerland: Springer, p. 89-97 9 p.

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

  31. Euler Lagrange Network Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 14 Feb 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer, Vol. 10746. p. 399-413 14 p. (Lecture Notes in Computer Science).

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

  32. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  33. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

    Seetanadi, G. N., Camara Moreno, J., Almeida, L., Arzen, K. E. & Maggio, M., 31 Jan 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 243-254 12 p.

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

  34. Player Retention in League of Legends: A Study Using Survival Analysis

    Demediuk, S. P., Murrin, A., Bulger, D., Hitchens, M., Drachen, A., Raffe, W. L. & Tamassia, M., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM), 9 p.

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

  35. Frontlines in Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, Games User Research. Oxford: Oxford University Press, p. 509-520

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. BCI for Music Making: Then, Now, and Next

    Williams, D. A. H. & Miranda, E. R., 24 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). CRC PRESS-TAYLOR & FRANCIS GROUP, p. 191-205 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Can Games Be More Than Fun?

    Cairns, P. A., 2018, Funology 2: From Usability to Enjoyment. Blythe, M. & Monk, A. (eds.). 2nd ed. Springer, p. 33-46 14 p. (Human-Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)

    Bagnato, A., Barmpis, K., Bessis, N., Cabrera-Diego, L. A., Rocco, J. D., Di Ruscio, D., Gergely, T., Hansen, S., Kolovos, D., Krief, P., Korkontzelos, I., Laurière, S., Lopez de la Fuente, J. M., Maló, P., Paige, R. F., Spinellis, D., Thomas, C. & Vinju, J. J., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 375-384 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  39. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Game Analytics for Games User Research

    Drachen, A. & Connor, S., 2018, Games User Research. Oxford: Oxford University Press, p. 333-354

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Graph Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 217-226 10 p.

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

  42. Introduction to Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 2018, Games User Research. Oxford: Oxford University Press, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Issues of culture in designing for accessibility

    Petrie, H., Weber, G., Jadhav, C. & Darzentas, J. S., 2018, Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers. Clemmensen, T., Rajamanickam, V., Dannemann, P., Petrie, H. & Winckler, M. (eds.). Cham, Switzerland: Springer, Vol. LNCS 10774. p. 55 - 67 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Markov Random Field MAP as Set Partitioning

    Cussens, J., 2018, Proceedings of Machine Learning Research: PGM 2018. Vol. 72. p. 85-96 12 p.

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

  45. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction

    Paige, R. F., Zolotas, A., Kolovos, D. S., McDermid, J. A., Bennett, M., Hutchesson, S. & Hawthorn, A., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 403-408 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  46. Safety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective

    McDermid, J. A. & Daffey, K., 2018, Safety Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. Search-Based Temporal Testing in an Embedded Multicore Platform

    Srivisut, K., Clark, J. A. & Paige, R. F., 2018, Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Springer-Verlag, Vol. 10784 LNCS. p. 794-809 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS).

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

  48. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems

    Gerasimou, S., Kolovos, D., Paige, R. & Standish, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 385-393 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  49. Time Evolving Networks in Finance and Medicine

    Hancock, E. R., 2018, Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018, Funchal, Madeira - Portugal, January 16-18, 2018.. p. 7 1 p.

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

  50. 2017
  51. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

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

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

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

  54. Automatic Classification of Music Genre using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 11 Nov 2017, 2017 IEEE International Conference on Data Mining (ICDM). IEEE

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

  55. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

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

  59. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  60. Building Dialectal Arabic Corpora

    Elgabou, H. A. M. & Kazakov, D. L., 7 Sep 2017, The First Workshop on Human-Informed Translation and Interpreting Technology (HiT-IT). p. 52-57 6 p.

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

  61. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  62. Challenges of Safety Assurance for Industry 4.0

    Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sep 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

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

  63. Image Retrieval Based on Query by Saliency Content, Chapter 8

    Bors, A. G. & Papushoy, A., Aug 2017, Visual Content Indexing and Retrieval with Psycho-Visual Models. Benois-Pineau, J. & Le Callet, P. (eds.). Springer, p. 171-209 38 p. (Multimedia Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  64. Why Functional Safety Experts Worry About Automotive Systems Having Increasing Autonomy

    Monkhouse, H. E., Habli, I., McDermid, J. A., Khastgir, S. & Dhadyalla, G., Aug 2017, International Workshop on Driver and Driverless Cars: Competition or Coexistence.

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

  65. Deep Convolutional Neural Networks for left ventricle segmentation

    Molaei, S., Shiri, M., Horan, K., Kahrobaei, D., Nallamothu, B. & Najarian, K., Jul 2017, 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Vol. 2017. p. 668-671 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  66. VCDC: The virtualized complicated device controller

    Jiang, Z. & Audsley, N., 1 Jun 2017, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 76. p. 51-520 470 p.

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

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

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

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

  70. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

  72. Competition and cooperation in pickup and multiple delivery problems

    Mourdjis, P., Polack, F., Cowling, P., Chen, Y. & Robinson, M., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 142-160 19 p. (Communications in Computer and Information Science; vol. 695).

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

  73. Playing Catch-up - The Fate of Safety Engineering?

    McDermid, J. A., Feb 2017, Developments in System Safety Engineering. Parsons, M. & Kelly, T. (eds.). Safety Critical Systems Club, Vol. 25. p. 1-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Supporting custom quality models to analyse and compare open-source software

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N. & Vinju, J., 11 Jan 2017, Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016. Institute of Electrical and Electronics Engineers Inc., p. 94-99 6 p. 7814523

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

  75. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

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

  76. Associative Memory in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S. E. M., 2017, Advances in Unconventional Computing: Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). 1 ed. SPRINGER-VERLAG BERLIN, Vol. 2. p. 141-165 25 p. (Emergence, Complexity and Computation; vol. 23).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

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

  78. Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

    McDermid, J. A., Torngren, M., Asplund, F., Bensalem, S., Passerone, R., Pfeifer, H., Gangiovanni-Vincentelli, A. & Schatz, B., 2017, Cyber-Physical Systems. Song, H., Rawat, D., Jeschke, S. & Brecher, C. (eds.). Cambridge, MA: Elsevier Academic Press, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Curiously Motivated: Profiling Curiosity with Self-Reports and Behaviour Metrics in the Game "Destiny"

    Schaekermann, M., Nacke, L. E., Johnson, D., Drachen, A., Sifa, R., Wallner, G. & Krieglstein, S., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 143-156

    Research output: Chapter in Book/Report/Conference proceedingChapter

  80. Evaluating the Onboarding Phase of Free-to-Play Mobile Games: A Mixed-Methods Approach

    Thomsen, L. E., Petersen, F. W., Drachen, A. & Mirza-babaei, P., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 377-388

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Introduction to Unconventional Computing

    Stepney, S., 2017, Guide to Unconventional Computing for Music. Miranda, E. R. (ed.). Springer, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  83. Polyhedral approaches to learning Bayesian networks

    Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics: Contemporary Mathematics. Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  85. Reservoir Computing as a model for in materio computing

    Dale, M. N., Miller, J. F. & Stepney, S., 2017, Advances in Unconventional Computing. Adamatsky, A. (ed.). Springer, Vol. 1. p. 533-571

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. Starling: Lightweight Concurrency Verification With Views

    Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).

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

  87. Synthesis and Verification of Self-aware Computing Systems

    Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. SPRINGER, p. 337-373 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  88. The changing face of model-driven engineering

    Paige, R. F., Zolotas, A. & Kolovos, D., 2017, Present and Ulterior Software Engineering. Springer International Publishing, p. 103-118 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. The perceived assortativity of social networks: Methodological problems and solutions

    Fisher, D., Silk, M. & Franks, D. W., 2017, Trends in Social Network Analysis. p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Time-optimal quantum control via differential geometry

    Wang, X., Allegra, M., Jacobs, K., Lloyd, S., Lupo, C. & Mohseni, M., 2017, Advances in Photonics of Quantum Computing, Memory, and Communication X. SPIE, Vol. 10118. 101180F

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

  91. 2016
  92. V2V Channel allocation method based on SWM communication demand matrix

    Ye, L., Peng, C., Han, Q., Zeng, L., Chen, L., Liu, X. & Xu, Y., 22 Dec 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2095-2100 6 p. 7795895

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

  93. Eager recirculating memory to alleviate the von Neumann Bottleneck

    O'Keefe, S. E. M. & Edwards, J., 6 Dec 2016, 2016 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, p. 1-5 5 p.

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

  94. On Valid Optimal Assignment Kernels and Applications to Graph Classification

    Kriege, N., Giscard, P-L. & Wilson, R. C., 6 Dec 2016, NIPS'16 Proceedings of the 30th International Conference on Neural Information Processing Systems. Lee, D. D., von Luxburg, U., Garnett, R., Sugiyama, M. & Guyon, I. (eds.). Curran Associates Inc., p. 1623-1631 9 p. (Advances in Neural Information Processing Systems).

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

  95. Non-Rigid Dense Bijective Maps

    Gasparetto, A., Cosmo, L., Torsello, A. & Wilson, R. C., 1 Dec 2016, International Conference on Pattern Recognition. IEEE Computer Society, 6 p.

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

  96. Reflectance-aware optical flow

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 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. 2860-2865 6 p.

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

  97. Eboracum: An extensible framework for high-level modeling and evaluation of reactive and adaptable WSNs

    Marques, M. R. S., Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 3 Nov 2016, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-November. 7733569

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

  98. SBCCI 2016 Foreword

    Monteiro, D. W. D. L., Torres, F. S. & Indrusiak, L. S., 27 Oct 2016, Proceedings of the 29th Symposium on Integrated Circuits and Systems Design. Institute of Electrical and Electronics Engineers Inc., 11 p.

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

  99. Cultural and Gender Differences in Password Behaviors: Evidence from China, Turkey and the UK

    Petrie, H. & Merdenyan, B., 23 Oct 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. ACM, 10 p. 9

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

  100. The convergence of player experience questionnaires

    Denisova, A., Nordin, A. I. & Cairns, P., 16 Oct 2016, CHI PLAY 2016 - Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 33-37 5 p.

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

  101. Integration of a graph-based model indexer in commercial modelling tools

    Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., Da Silva, M. A. A., Abherve, A. & Bagnato, A., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 340-350 11 p.

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

  102. Partial loading of XMI models

    Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 329-339 11 p.

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

  103. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

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

  104. On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs

    Nikolic, B., Pinho, L. M. & Indrusiak, L. S., 29 Sep 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 120-129 10 p. 7579947

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

  105. Using association rule mining to predict opponent deck content in android: Netrunner

    Sephton, N., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games, CIG 2016. IEEE Computer Society Press, 7860399

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

  106. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

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

  107. Co-Motion: Mobility and wellbeing in later life

    Bevan, M. A., Petrie, H., Cambridge, H. M., Cinderby, S., Croucher, K. L., Swallow, D. M., Gilroy, R. & Attuyer, K., 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. 627 - 629 2 p.

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

  108. Understanding the lived experience of five individuals with mobility aids

    Walsh, T. & 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). Petrie, H., Darzentas, J., Walsh, T., Swallow, D., Sandoval, L., Lewis, A. & Power, C. (eds.). Amsterdam: IOS Press, p. 582 - 593 12 p. (Studies in Health Technology and Informatics; vol. 229).

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

  109. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  110. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

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

  111. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Swan, J. & Krawiec, K., 1 Jul 2016, Genetic Programming Theory and Practice XIV. Riolo, R., Tozier, B. & Goldman, B. (eds.). Ann Arbor, USA: Springer, (Genetic and Evolutionary Computation).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  112. Iterative Cartesian Genetic Programming: Creating general algorithms for solving Travelling Salesman Problems

    Ryser-Welch, P., Miller, J. F., Swan, J. & Trefzer, M. A., 1 Jun 2016, EuroGP 2016: Proceedings of the 19th European Conference on Genetic Programming. Heywood, M. I., McDermott, J., Castelli, M., Costa, E. & Sim, K. (eds.). Porto, Portugal: Springer-Verlag, Vol. 9594. p. 294-310 17 p. (LNCS).

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

  113. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

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

  114. Engagement in digital games

    Cairns, P. A., Jun 2016, Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media. O'Brien, H. & Cairns, P. (eds.). Springer, p. 81-104 4

    Research output: Chapter in Book/Report/Conference proceedingChapter

  115. Real-Time Stream Processing in Java

    Gray, I., Wellings, A. J. & Mei, H., 31 May 2016, 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016. Springer, p. 44-57 14 p. ( Lecture Notes in Computer Science).

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

  116. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

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

  117. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

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

  118. Multi-Objective Dynamic Dispatch Optimisation using Multi-Agent Reinforcement Learning: (Extended Abstract)

    Mannion, P., Mason, K., Devlin, S., Duggan, J. & Howley, E., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems , p. 1345-1346 2 p.

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

  119. Evaluating hyperheuristics and local search operators for periodic routing problems

    Chen, Y., Mourdjis, P., Polack, F., Cowling, P. & Remde, S., 15 Mar 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9595. p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

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

  120. Impact of temporal and spatial application modeling on event-triggered wireless sensor network evaluation

    Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 1 Mar 2016, Proceedings - 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015. Institute of Electrical and Electronics Engineers Inc., p. 30-35 6 p. 7423208

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

  121. Secure high capacity data hiding for 3D meshes

    Itier, V., Bors, A. G., Puech, W. & Pedeboy, J-P., 14 Feb 2016, Proc. IS&T Inter. Symposium on Electronic Imaging, Vol. 3D Image Processing, Measurement (3DIPM). IS&T, p. 1-7 7 p.

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

  122. Design space exploration for complex automotive applications: An engine control system case study

    Latif, K., Selva, M., Effiong, C., Ursu, R., Gamatie, A., Sassatelli, G., Zordan, L., Ost, L., Dziurzanski, P. & Indrusiak, L. S., 18 Jan 2016, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), Vol. 18-January-2016. a2

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

  123. Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems

    Dziurzanski, P., Singh, A. K., Indrusiak, L. S. & Saballus, B., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 6 p.

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

  124. Bidding policies for market-based HPC workflow scheduling

    Burkimsher, A. & Indrusiak, L. S., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 7 p.

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

  125. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

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

  126. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

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

  127. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

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

  128. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

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

  129. Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction

    Kocsis, Z. A., Drake, J. H., Carson, D. & Swan, J., 2016, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, USA, July 20-24, 2016, Companion Material Proceedings.

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

  130. Bio-Reflective Architectures for Evolutionary Innovation

    Hickinbotham, S. J. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 192–199

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  131. Checking SysML Models for Co-Simulation

    Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  132. EMG: A domain-specific transformation language for synthetic model generation

    Popoola, S., Kolovos, D. S. & Rodriguez, H. H., 2016, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag, Vol. 9765. p. 36-51 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

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

  133. Efficient large-scale road inspection routing

    Chen, Y., Cowling, P. I., Remde, S. & Polack, F. A. C., 2016, Proceedings, ICORES. SciTePress

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

  134. Emergent Bonding Properties in the Spiky RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 600–607

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  135. Experimental methods in Human-Computer Interaction

    Cairns, P. A., 2016, Encylopedia of Human-Computer Interaction, 2nd edn. Soedergaard, M. & Dam, R. (eds.). Interaction Design Foundation, 34

    Research output: Chapter in Book/Report/Conference proceedingChapter

  136. Identifying usage anomalies for ECG-based sensor nodes

    Chen, L. & Bate, I. J., 2016, IEEE 13th International Conference on Wearable and Implantable Body Sensor Networks (BSN). IEEE, p. 77-82 6 p. (Wearable and Implantable Body Sensor Networks (BSN), IEEE International Conference on).

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

  137. Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 582–589

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  138. Learning Predictive Categories Using Lifted Relational Neural Networks

    Sourek, G., Manandhar, S., Zelezny, F., Schockaert, S. & Kuzelka, O., 2016, Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers. Springer International Publishing, Vol. 10326. (Lecture Notes in Artificial Intelligence).

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

  139. Local Livelock Analysis of Component-Based Models

    Conserva Filho, M., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  140. Mobile CSP

    Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer Verlag, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

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

  141. Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). p. 35-44 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

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

  142. Refinement strategies for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2016, Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. L. & Roscoe, B. (eds.). SPRINGER, (Lecture Notes in Computer Science; vol. 9526).

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

  143. Risk driven analysis of maintenance for a large-scale drainage system

    Chen, Y., Polack, F. A. C., Cowling, P. I., Mourdjis, P. J. & Remde, S., 2016, Proceedings, ICORES. SciTePress, p. 296-303

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

  144. Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems

    Gray, I., Wellings, A. J. & Mei, H., 2016, 9th York Doctoral Symposium on Computer Science and Electronics (YDS 2016).

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

  145. SemEval-2016 Task 5: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Androutsopoulos, I., Manandhar, S., Al-Smadi, M., Al-Ayyoub, M., Zhao, Y., Qin, B., Clercq, O. D., Hoste, V., Apidianaki, M., Tannier, X., Loukachevitch, N. V., Kotelnikov, E., Bel, N., Zafra, S. M. J. & Eryigit, G., 2016, Proceedings of the 10th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016. p. 19-30 12 p.

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

  146. Structured Generative Models of Continuous Features for Word Sense Induction

    Komninos, A. & Manandhar, S., 2016, COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan. p. 3577-3587 11 p.

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

  147. Synthetic workload generation of broadcast related HEVC stream decoding for resource constrained systems

    Mendis, H. R. & Indrusiak, L. S., 2016, ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. SciTePress, Vol. 5. p. 52-64 13 p.

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

  148. Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, O. & Bate, I., 2016, Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Springer, p. 17-29 (Lecture Notes in Computer Science; vol. 9923).

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

  149. The Art of Penrose Life

    Stepney, S., 2016, Designing Beauty: The Art of Cellular Automata. Adamatzky, A. & Martinez, G. J. (eds.). Springer, p. 103-109 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  150. The Notion of Controllability in an Autonomous Vehicle Context

    Habli, I., McDermid, J. A. & Monkhouse, H., 2016, CARS Workshop Critical Automotive Applications: Robustness & Safety.

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

  151. The effect of cooperation in pickup and multiple delivery problems

    Mourdjis, P. J., Polack, F. A. C., Cowling, P. I., Chen, Y. & Robinson, M., 2016, Proceedings, ICORES. SciTePress, p. 287-295

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

  152. 2015
  153. Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 9 Dec 2015, ESTIMedia 2015 : 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia. Institute of Electrical and Electronics Engineers Inc., 7351765

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

  154. Learning Ordinary Differential Equations for Macroeconomic Modelling

    Georgiev, Z. & Kazakov, D. L., Dec 2015, IEEE SSCI 2015: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, p. 905-909 5 p.

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

  155. Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

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

  156. Static Probabilistic Timing Analysis for Multi-path Programs

    Lesage, B. M. J-R., Griffin, D. J., Altmeyer, S. & Davis, R. I., Dec 2015, IEEE Real-Time Systems Symposium (RTSS).

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

  157. Deriving Hierarchical Safety Contracts

    Jaradat, O. & Bate, I., 1 Nov 2015, Dependable Computing (PRDC): 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing. IEEE, p. 119-128 10 p.

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

  158. Influential Nuisance Factors on a Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 1 Nov 2015, Algorithms and Architectures for Parallel Processing: ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. Wang, G., Zomaya, A., Martinez Perez, G. & Li, K. (eds.). Springer, p. 819-828 10 p. (Lecture Notes in Computer Science; vol. 9532).

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

  159. A Framework For The Evaluation Of Measurement-based Timing Analyses

    Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

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

  160. A Generic and Compositional Framework for Multicore Response Time Analysis

    Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

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

  161. Mixed Criticality Systems with Weakly-Hard Constraints

    Gettings, O., Quinton, S. & Davis, R. I., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 129-138

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

  162. Modelling Fault Dependencies when Execution Time Budgets are Exceeded

    Griffin, D., Lesage, B., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, Proceedings of the 23rd International Conference on Real-Time Networks and Systems: Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 65-74

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

  163. Multiprocessor Fixed Priority Scheduling with Limited Preemptions

    Thekkilakattil, A., Davis, R. I., Dobrin, R., Punnekkat, S. & Bertogna, M., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 13-22

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

  164. On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed

    Davis, R. I., Burns, A., Pollex, V. & Slomka, F., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 279-288

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

  165. Decentralised load balancing in event-triggered wsns based on ant colony work division

    Ferreira, P. R., Brisolara, L. & Indrusiak, L. S., 20 Oct 2015, Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015. Institute of Electrical and Electronics Engineers Inc., p. 69-75 7 p. 7302433

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

  166. Adaptation in digital games: The effect of challenge adjustment on player performance and experience

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 97-101 5 p.

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

  167. Emotional and functional challenge in core and avant-garde games

    Cole, T., Cairns, P. & Gillies, M., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 121-126 6 p.

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

  168. Higher graphical fidelity decreases players' access to aggressive concepts in violent video games

    Zendle, D., Cairns, P. & Kudenko, D., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 241-251 11 p.

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

  169. The placebo effect in digital games: Phantom perception of adaptive artificial intelligence

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 23-33 11 p.

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

  170. User Reviews of Gamepad Controllers: a Source of User Requirements and User Experience

    Merdenyan, B. & Petrie, H., 4 Oct 2015, Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 643 - 648 6 p.

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

  171. Ortho-diffusion decompositions for face recognition from low quality images

    Gudivada, S. K. N. & Bors, A. G., Oct 2015, 2015 IEEE International Conference on Image Processing ICIP, 2015 : Proceedings . IEEE, p. 3625-3629 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  172. Visual attention for content based image retrieval

    Papushoy, A. & Bors, A. G., Oct 2015, IEEE International Conference on Image Processing (ICIP), 2015. IEEE, p. 971-975 5 p.

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

  173. Network-on-Chip packet prioritisation based on instantaneous slack awareness

    Sudev, B., Indrusiak, L. S. & Harbin, J., 28 Sep 2015, 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 227-232 6 p. 7281739

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

  174. Task allocation for decoding multiple hard real-time video streams on homogeneous NoCs

    Mendis, H. R., Audsley, N. C. & Indrusiak, L. S., 28 Sep 2015, IEEE 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 246-251 6 p. 7281742

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

  175. Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems

    Aydin, M. M. & Jacob, J. L., 7 Sep 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.

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

  176. Hardware-Accelerated Response Time Analysis for priority-preemptive Networks-on-Chip

    Ma, Y. & Indrusiak, L. S., 2 Sep 2015, 10th International Symposium on Reconfigurable and Communication-centric Systems-on-Chip, ReCoSoC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. 7238092

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

  177. Feature Encoding of Spectral Signatures for 3D Non-Rigid Shape Retrieval

    Limberger, F. A. & Wilson, R. C., 1 Sep 2015, Proceedings of the British Machine Vision Conference (BMVC). BMVA Press, p. 56.1-56.13 13 p.

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

  178. Content Based Image Retrieval Based on Modelling Human Visual Attention

    Papushoy, A. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 137-148 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

  179. Observing human activities using movement modelling

    Stephens, K. & Bors, A. G., Sep 2015, 12th IEEE International Conference on Advanced Video and Signal Based Surveillance : AVSS 2015. IEEE, 6 p.

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

  180. Robust Learning from Ortho-Diffusion Decompositions

    Gudivada, S. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 546-557 12 p. (Lecture Notes in Computer Science; vol. 9256).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  181. OSSMETER: A software measurement platform for automatically analysing open source software projects

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, I., Matragkas, N. & Vinju, J. J., 30 Aug 2015, 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings. Association for Computing Machinery, Inc, p. 970-973 4 p.

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

  182. A lossless data reduction technique for wireless EEG recorders and its use in selective data filtering for seizure monitoring

    Dai, C. & Crispin-Bailey, C., 25 Aug 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015): Proceedings of a meeting held 25-29 August 2015, Milan, Italy.. IEEE, p. 6186-6189 5 p.

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

  183. Cyclic Executives, Multi-core Platforms and Mixed Criticality Applications

    Burns, A., Fleming, T. & Baruah, S., 3 Aug 2015, Proceedings - 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. Institute of Electrical and Electronics Engineers Inc., p. 3-12 10 p. 7176021

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

  184. Using Design of Experiments to Optimise a Decision of Sufficient Testing

    Malekzadeh, M., Bate, I. & Punnekkat, S., 1 Aug 2015, Software Engineering and Advanced Applications (SEAA): 2015 41st Euromicro Conference on Software Engineering and Advanced Applications. IEEE, p. 53-60 8 p.

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

  185. Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

    Souto, P., Baltarejo Sousa, P., Davis, R. I., Bletsas, K. & Tovar, E., Aug 2015, Proceedings, IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, p. 110-121 (Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE International Conference on (Formerly Real-Time Computing Systems and Applications, International Workshop on)).

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

  186. Type Inference in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. & Paige, R. F., 20 Jul 2015, (Accepted/In press) 2015 Modelling Foundations and Applications: 10th European Conference (ECMFA 2015, L'Aquila, Italy). SPRINGER, p. 75-91 17 p. (Lecture Notes in Computer Science; vol. 9153).

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

  187. Towards incremental updates in large-scale model indexes

    Barmpis, K., Shah, S. & Kolovos, D. S., 17 Jul 2015, Modelling Foundations and Applications - 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 137-153 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

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

  188. Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R. & Burns, A., 8 Jul 2015, 27th Euromicro Conference on Real-Time Systems (ECRTS15): Proceedings. IEEE, p. 47-56 10 p. (Proceedings: Euromicro Conference on Real-Time Systems ; vol. 27).

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

  189. GMCB: An industrial benchmark for use in real-time mixed-criticality networks-on-chip

    Harbin, J. R., Fleming, T. D., Soares Indrusiak, L. & Burns, A., 7 Jul 2015, 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).

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

  190. A Bailout Protocol for Mixed Criticality Systems

    Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

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

  191. Power analysis of a lossless data compression technique for wireless wearable biometric devices

    Dai, C. & Crispin-Bailey, C., 29 Jun 2015, 2015 11th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME 2015). IEEE, p. 97-100 4 p.

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

  192. Dynamic Safety Cases for Through-life Safety Assurance

    Denney, E., Pai, G. & Habli, I., May 2015, 37th International Conference on Software Engineering . p. 1-4 4 p.

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

  193. Message from the chairs: MiSE 2015

    Gray, J. (ed.), Chechik, M. (ed.), Kulkarni, V. (ed.) & Paige, R. F. (ed.), May 2015, 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering. Gray, J., Chechik, M., Kulkarni, V. & Paige, R. (eds.). IEEE Computer Society Press, p. vii-viii 2 p.

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

  194. A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems

    Dev Gomony, M., Garside, J., Akesson, B., Audsley, N. & Goossens, K., 22 Apr 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Institute of Electrical and Electronics Engineers Inc., p. 193-198 6 p. 7092381

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

  195. First person vs. Third person perspective in digital games: Do player preferences affect immersion?

    Denisova, A. & Cairns, P., 18 Apr 2015, CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 145-148 4 p.

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

  196. Accessibility of Shared Space by visually challenged people

    Melis-Dankers, B., Havik, E., Steyvers, F., Petrie, H. & Kooijman, A., 12 Feb 2015, "Enabling Access for Persons with Visual Impairment": Proceedings of the International Conference ICEAPVI Athens, Greece, February 12-14, 2015. Kouroupetroglou, G. (ed.). National and Kapodistrian University of Athens, p. 120-126 7 p.

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

  197. The Ethics of Acceptable Safety

    Kelly, T., Habli, I., Nicholson, M., Megone, C., Rae, A. & Macnish, K., Feb 2015, Proceedings of the 23rd Safety-critical Systems Symposium, Bristol, UK, February, 2015. .

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

  198. Cryptanalysis Aspects in 3-D Watermarking

    Itier, V., Puech, W. & Bors, A. G., 28 Jan 2015, Image Processing (ICIP), 2014 IEEE International Conference on. IEEE, p. 4772-4776 5 p.

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

  199. Optimistic medium access control using gait anaysis in Body Sensor Networks

    Lim, T. H., Weng, T. & Bate, I., 20 Jan 2015, Proceedings of the 2014 4th International Conference on Wireless Mobile Communication and Healthcare - "Transforming Healthcare Through Innovations in Mobile and Wireless Technologies", MOBIHEALTH 2014. Institute of Electrical and Electronics Engineers Inc., p. 308-311 4 p. 7015972

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

  200. Isabelle/UTP: A Mechanised Theory Engineering Framework

    Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  201. Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems

    Sljivo, I., Jaradat, O., Bate, I. & Graydon, P., 1 Jan 2015, High Assurance Systems Engineering (HASE): 2015 16th IEEE International Symposium on High Assurance Systems Engineering. IEEE, p. 126-133 8 p.

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

  202. High performance computing systems: Performance modeling, benchmarking, and simulation: 5th international workshop, PMBS 2014 New Orleans, LA, USA, november 16, 2014 revised selected papers

    Jarvis, S. A., Wright, S. A. & Hammond, S. D., 1 Jan 2015, High Performance Computing Systems: Performance Modeling, Benchmarking, and Simulation - 5th International Workshop, PMBS 2014, Revised Selected Papers. Springer-Verlag, Vol. 8966. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8966).

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

  203. Real-time mixed-criticality Network-on-Chip resource allocation

    Indrusiak, L. S., 1 Jan 2015, International Conference on High Performance Computing and Simulation, (HPCS) 2015. Institute of Electrical and Electronics Engineers Inc., p. 559-560 2 p. 7237091

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

  204. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  205. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  206. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  207. A High-Order Depth-Based Graph Matching Method

    Bai, L., Zhang, Z., Ren, P. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 465-476 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

  208. A Metamodel for the Evolution of Evolution

    Andrews, PAUL. S. & Stepney, S., 2015, European Conference of Artificial Life 2015. MIT Press, p. 621-628

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  209. A Quantum Jensen-Shannon Graph Kernel Using Discrete-Time Quantum Walks

    Bai, L., Rossi, L., Ren, P., Zhang, Z. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 252-261 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  210. A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

  211. A function for hard real-time system search-based task mapping optimisation

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Real-Time Distributed Computing (ISORC): 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p.

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

  212. A practical evaluation of synchronicity in action potentials with noise

    Edwards, J. & O'Keefe, S., 2015, CF '15 Proceedings of the 12th ACM International Conference on Computing . ACM, 2 p. 42

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

  213. Adaptive Graph Learning for Unsupervised Feature Selection

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 790-800 11 p. (Lecture Notes in Computer Science; vol. 9256).

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

  214. An Edge-Based Matching Kernel Through Discrete-Time Quantum Walks

    Bai, L., Zhang, Z., Ren, P., Rossi, L. & Hancock, E. R., 2015, Image Analysis and Processing — ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 27-38 12 p. (Lecture Notes in Computer Science; vol. 9279).

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

  215. An Edge-Based Matching Kernel for Graphs Through the Directed Line Graphs

    Bai, L., Zhang, Z., Wang, C. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, p. 85-95 11 p. (Lecture Notes in Computer Science; vol. 9257).

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

  216. An Entropic Edge Assortativity Measure

    Ye, C., Wilson, R. C. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 23-33 11 p. (Lecture Notes in Computer Science; vol. 9069).

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

  217. An OCL-based Bridge from Concrete to Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 2015, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015): Ottawa, Canada, September 28, 2015.. Brucker, A. D., Egea, M., Gogolla, M. & Tuong, F. (eds.). CEUR-WS.org, p. 19-34 16 p. (CEUR Workshop Proceedings; vol. 1512).

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

  218. An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and On-board Accelerometer

    Lim, T. H. & Bate, I., 2015, Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP): 2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP). IEEE, p. 1-6 7 p.

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

  219. Angelicism in the theory of reactive processes

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2015, Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. SPRINGER, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 8963).

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

  220. Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects

    Kolovos, D. S., Matragkas, N. D., Korkontzelos, I., Ananiadou, S. & Paige, R. F., 2015, Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) : Ottawa, Canada, September 29, 2015. CEUR-WS.org, p. 20-29 10 p. (CEUR Workshop Proceedings; vol. 1541).

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

  221. Automatically Detecting Fallacies in System Safety Arguments

    Kelly, T., Wells, S., Yuan, T. & Manandhar, S., 2015, Proceedings of the 15th International Workshop on Computation Models of Natural Argument. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  222. Behavioral Program Synthesis: Insights and Prospects

    Krawiec, K., Swan, J. & O'Reilly, U-M., 2015, Genetic Programming Theory and Practice XIII : GPTP 2015, University of Michigan, Ann Arbor. Riolo, R., Worzel, B., Kotanchek, M. & Kordon, A. (eds.). Springer, p. 191-209 19 p. (Genetic and Evolutionary Computation).

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

  223. CSP and Kripke Structures

    Cavalcanti, A. L. C., Huang, W-L., Peleska, J. & Woodcock, J. C. P., 2015, Theoretical Aspects of Computing - ICTAC 2015. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). SPRINGER, p. 505-523 19 p. (Lecture Notes in Computer Science; vol. 9399).

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

  224. Combined Security and Safety Risk Analysis: What needs to be done for ICS and the IoT

    McDermid, J. A., StJohn-Green, M., Piggin, R. & Oates, R., 2015, 10th IET System Safety and Cyber Security Conference . IET, p. 63-69 7 p.

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

  225. Conservation of matter increases evolutionary activity

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 98-105

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  226. Coupled-Feature Hypergraph Representation for Feature Selection

    Zhang, Z., Xiahou, J., Bai, L. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 44-53 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  227. Disruption to UK Air Traffic Management on 12th December 2014: Analysis and Lessons Learnt

    McDermid, J. A. & Whysall, P., 2015, 10th IET System Safety and Cyber Security Conference 2015. IET, p. 108-113 6 p.

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

  228. Efficient and Secure Delegation of Group Exponentiation to a Single Server

    Kahrobaei, D., Di Crescenzo, G., Shpilrain, V. & Cavallo, B., 2015, Efficient and Secure Delegation of Group Exponentiation to a Single Server. Springer, p. 156-173 18 p. (Lecture Notes in Computer Science).

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

  229. Emergent bluffing and inference with Monte Carlo Tree Search

    Cowling, P. I., Whitehouse, D. & Powley, E. J., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). IEEE, p. 114-121 8 p.

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

  230. Environmental bias forces parasitism in Tierra

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 294-301

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  231. Evaluating Mixed Criticality Scheduling Algorithms with Realistic Workloads

    Griffin, D., Bate, I., Lesage, B. & Soboczenski, F., 2015, Proc. 3rd Workshop on Mixed Criticality (WMC).

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

  232. Evaluating Student Work in Modelling Courses

    Paige, R. F., Kolovos, D. S., Polack, F. A. C. & Rose, L. M., 2015, EduSymp 2015 MODELS Educators Symposium 2015: Proceedings of the MODELS Educators Symposium 2015 co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Sturm, A. & Clark, T. (eds.). CEUR-WS.org, p. 68-76 9 p. (CEUR Workshop Proceedings; vol. 1555).

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

  233. Example-Based Modeling of Facial Texture from Deficient Data

    Dessein, A. F., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2015, (Accepted/In press) Proceedings ICCV 2015. IEEE Computer Society, 8 p.

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

  234. Expressing Arbitrary Reward Functions as Potential-Based Advice

    Harutyunyan, A., Devlin, S., Vrancx, P. & Nowé, A., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15). Palo Alto, California: AAAI Press, p. 2652-2658 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence.; vol. 29).

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

  235. Extending Optimistic Transmission Protocol for Other Movement Patterns

    Lim, T. H. & Bate, I., 2015, 12th International Conference on Wearable and Implantable Body Sensor Networks (BSN).

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

  236. FPGA-based acceleration for Real-Time Big Data Systems

    Gray, I., Audsley, N. C., Garside, J., Chan, Y. & Wellings, A. J., 2015, 9th HiPEAC workshop on Reconfigurable Computing.

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

  237. Facilitating the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Current Trends in Reliability, Availability, Maintainability and Safety: An Industry Perspective. Kumar, U., Ahmadi, A., Verma, A. K. & Varde, P. (eds.). Springer, p. 349-371 23 p.

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

  238. Familiarity in team-based online games: The interplay between player familiarity and the concepts of social presence, team trust, and performance

    Hudson, M., Cairns, P. & Nordin, A. I., 2015, Advances in Visual Informatics. Badioze Zaman, H., Robinson, P., Smeaton, A. F., Shih, T. K., Velastin, S., Jaafar, A. & Mohamad Ali, N. (eds.). Springer-Verlag, p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9429).

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

  239. Flexible Modelling for Requirements Engineering

    Zolotas, A., Matragkas, N. D., Kolovos, D. S. & Paige, R. F., 2015, FlexMDE 2015 : Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015). CEUR-WS.org, p. 32-41 10 p. (CEUR Workshop Proceedings; vol. 1470).

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

  240. HAIKU: a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics

    Kocsis, Z. A., Brownlee, A. E. I., Swan, J. & Senington, R., 2015, Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Barros, M. & Labiche, Y. (eds.). Springer, p. 125-140 16 p. ( Lecture Notes in Computer Science; vol. 9275).

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

  241. Hard Real-time Guarantee of Automotive Applications during Mode Changes

    Dziurzanski, P., Singh, A. K., Soares Indrusiak, L. & Saballus, B., 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM Digital Library, p. 161-170

    Research output: Chapter in Book/Report/Conference proceedingChapter

  242. Integrating Java 8 Streams with The Real-Time Specification for Java

    Mei, H., Gray, I. & Wellings, A. J., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 10

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

  243. MONDO: Scalable Modelling and Model Management on the Cloud

    Kolovos, D. S., Rose, L. M., Paige, R. F., Guerra, E., Cuadrado, J. S., Lara, J. D., Ráth, I., Varró, D., Sunyé, G. & Tisi, M., 2015, Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015.. p. 44-53 10 p.

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

  244. Mechanised Theory Engineering in Isabelle

    Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  245. Metaheuristic Design Pattern: Surrogate Fitness Functions

    Brownlee, A. E. I., R. Woodward, J. & Swan, J., 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. ACM, p. 1261-1264 4 p.

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

  246. NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

    Carvalho, G., Barros, F. A., Carvalho, A., Cavalcanti, A. L. C., Mota, A. & Sampaio, A. C. A., 2015, Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Calinescu, R. & Rumpe, B. (eds.). SPRINGER, p. 283 - 290 (Lecture Notes in Computer Science; vol. 9276).

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

  247. OSSMETER: Automated Measurement and Analysis of Open Source Software

    Almeida, B., Ananiadou, S., Bagnato, A., Barbero, A. B., Rocco, J. D., Ruscio, D. D., Kolovos, D. S., Korkontzelos, I., Hansen, S., Maló, P., Drivalos, N., Paige, R. F. & Vinju, J. J., 2015, Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015). Autili, M., Ritter, T., Sadovykh, A. & Tivoli, M. (eds.). CEUR Workshop Proceedings, Vol. 1400. p. 36-43 8 p. (Ceur Workshop Proceedings; vol. 1400).

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

  248. Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava

    Burles, N., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A., Swan, J. & Veerapen, N., 2015, Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Springer, p. 255-261 7 p. (Lecture Notes in Computer Science; vol. 9275).

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

  249. Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings. Rout, T., O'Connor, R. V. & Dorling, A. (eds.). Springer, p. 159-173 15 p. (Communications in Computer and Information Science; vol. 526).

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

  250. Patterns for integrating agile development processes and user centred design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, EuroPLoP '15: Proceedings of the 20th European Conference on Pattern Languages of Programs. ACM, p. 19:1-19:10 10 p.

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

  251. Predicting player disengagement and first purchase with event-frequency based data representation

    Xie, H., Devlin, S., Kudenko, D. & Cowling, P., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). p. 230-237 8 p.

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

  252. PredictingPurchaseDecisionsinMobileFree-to-PlayGames

    Sifa, R., Hadiji, F., Runge, J., Drachen, A., kersting, K. & bauckhage, C., 2015, Proceedings, The Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15). AAAI Press, p. 79-86

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

  253. Prefetching to Improve the Worst-case Execution Time of Real-Time Big-Data Tasks

    Garside, J., Gray, I. & Audsley, N. C., 2015, Workshop on Reconfigurable Computing for HPC and HPDA.

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

  254. Property access traces for source incremental model-to-text transformation

    Ogunyomi, B., Rose, L. M. & Kolovos, D. S., 2015, Modelling Foundations and Applications - 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 187-202 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

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

  255. Re-writing the City: Negotiating and Reflecting on Data Streams

    Abel, P., Fox, M., Potts, R., Hemment, D., Thomson, C., Gajdos, P., Li, S., Vazquez, A. D., Barraclough, R., Schliwa, G., Lindley, J., Turner, S., Devitt, J., MacDonald, J., Lee, A., Trueblood, C., Maxwell, D., Mehrpouya, H., Woods, M., Walsh, V. & 12 others, Moisy, A., Islamoglu, G., Sherriff, G., Thomas, V., Devitt, L., Jennings, K., Speed, C., Tynan-O'Mahony, F., Gebhardt, V-K., Trimble, L., Raikes, R. & Monsen, K., 2015, Proceedings of the 2015 British HCI Conference. New York, NY, USA: ACM, p. 147-156 10 p. (British HCI '15).

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

  256. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 2015, Proceedings - Real-Time Systems Symposium. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. p. 295-304 10 p. 7383586

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

  257. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2015, REFINE Workshop.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  258. Safety-Critical Java Virtual Machine Services

    Baxter, J., Cavalcanti, A. L. C., Wellings, A. J. & Freitas, L., 2015, Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. Ziarek, L. (ed.). ACM, 10 p. 7

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

  259. SemEval-2015 Task 12: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Manandhar, S. & Androutsopoulos, I., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 486-495 10 p.

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

  260. SemEval-2015 Task 14: Analysis of Clinical Text

    Elhadad, N., Pradhan, S., Gorman, S. L., Manandhar, S., Chapman, W. W. & Savova, G. K., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 303-310 8 p.

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

  261. Shell PCA: statistical shape modelling in shell space

    Zhang, C., Heeren, B., Rumpf, M. & Smith, W. A. P., 2015, (Accepted/In press) Proceedings ICCV. IEEE Computer Society, 9 p.

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

  262. Similarity Analysis from Limiting Quantum Walks

    Curado, M., Escolano, F., Hancock, E., Nourbakhsh, F., Pelillo, M. & Hancock, E. R., 2015, Similarity-Based Pattern Recognition: Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12–14, 2015, Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer International Publishing, Vol. 9370. p. 38-53 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  263. Simultaneous optimisation of task mapping and priority assignment for real-time embedded nocs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Parallel, Distributed and Network-Based Processing (PDP): 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Institute of Electrical and Electronics Engineers Inc., p. 692-695 4 p.

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

  264. Skeletal Graphs from Schrödinger Magnitude and Phase

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 335-344 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  265. Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

    Maxim, D., Soboczenski, F., Bate, I. & Tovar, E., 2015, RTNS '15: Proceedings of the 23rd International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 55-64 10 p.

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

  266. Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment

    Zhao, S., Wellings, A. & Korsholm, S. E., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 1. ( ACM International Conference Proceeding Series).

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

  267. Supporting the Automated Generation of Modular Product Line Safety Cases

    Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2015, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T. & Kacprzyk, J. (eds.). Cham: Springer International Publishing, Vol. 365. p. 319-330 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  268. Swimming the Channels: An Analysis of Online Archival Reference Enquiries

    Pugh, J. & Power, C. D., 2015, Human-Computer Interaction. p. 99-115 17 p.

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

  269. Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach

    Ruiz, A., Melzi, A. & Kelly, T., 2015, DATE '15 Proceedings of the 2015 Design, Automation and Test in Europe Conference & Exhibition. p. 393-396 4 p.

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

  270. Templar – A Framework for Template-Method Hyper-Heuristics

    Swan, J. & Burles, N. J., 2015, Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Machado, P., Heywood, M., McDermott, J., Castelli, M., Garcia-Sanchez, P., Burelli, P., Risi, S. & Sim, K. (eds.). Cham: Springer International Publishing, p. 205-216 (Lecture Notes in Computer Science; vol. 9025).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  271. The Need for a Confidence View of CPS Support Environments (Fast Abstract)

    Asplund, F., Torngren, M., Hawkins, R. D. & McDermid, J. A., 2015, High Assurance Systems Engineering.

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

  272. The `Blackboard' Pattern for Metaheuristics

    Graham, K., Swan, J. & Martin, S., 2015, Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. p. 1265-1267 3 p.

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

  273. Thermodynamics of Time Evolving Networks

    Ye, C., Torsello, A., Wilson, R. C. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 315-324 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  274. Three Approaches to Timed External Choice in UTP

    Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).

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

  275. Towards Algebraic Semantics of Circus Time

    Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

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

  276. Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N. D., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015.. p. 22-31 10 p.

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

  277. Type inference in flexible model-driven engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

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

  278. Unsupervised Feature Selection by Graph Optimization

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Image Analysis and Processing - ICIAP 2015 :18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 130-140 11 p. (Lecture Notes in Computer Science; vol. 9279).

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

  279. User Name Disambiguation in Community Question Answering

    Yang, B. & Manandhar, S., 2015, Proceedings of Recent Advances in Natural Language Processing (RANLP 2015). The Association for Computational Linguistics, p. 707-713 7 p.

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

  280. Using Photo Diaries to Elicit User Requirements from Older Adults: A Case Study on Mobility Barriers

    Swallow, D., Petrie, H., Power, C. D. & Edwards, A. D. N., 2015, Human-Computer Interaction. Springer, p. 147-164 18 p.

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

  281. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Reliable Software Technologies – Ada-Europe. p. 162-176 15 p.

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

  282. Visualising Magnitude: Graphical Number Representations Help Users Detect Large Number Entry Errors

    Borghouts, J. W., Soboczenski, F., Cairns, P. & Brumby, D. P., 2015, HFES 2015 International Annual Meeting.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  283. Wallace: An efficient generic evolutionary framework

    Timperley, C. S. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 365-372

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  284. 2014
  285. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  286. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  287. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  288. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

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

  289. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

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

  290. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

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

  291. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

  292. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

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

  293. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

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

  294. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  295. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

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

  296. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

  297. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

  298. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

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

  299. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

  300. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

  301. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

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

  302. Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

  303. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  304. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  305. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  306. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

  307. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

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

  308. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

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

  309. Designing resource-constrained embedded heterogeneous systems to cope with variability

    Gray, I., Acquaviva, A. & Audsley, N., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 75-101 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  310. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

    Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., Rossi, M., Baresi, L., Crippa, M. C., Genolini, S., Hansen, S. & Meisel-Blohm, G., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  311. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  312. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

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

  313. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

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

  314. Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors

    Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.

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

  315. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

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

  316. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

    Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

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

  317. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 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

  318. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  319. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

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

  320. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

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

  321. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Jarvis, S. A., Wright, S. & Hammond, S., 1 Jan 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

  322. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  323. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  324. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  325. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  326. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  327. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  328. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  329. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  330. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  331. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  332. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  333. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  334. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  335. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  336. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  337. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  338. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  339. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  340. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  341. Assurance cases for block-configurable software

    Hawkins, R., Miyazawa, A., Cavalcanti, A., Kelly, T. & Rowlands, J., 2014, Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Bondavalli, A. & Di Giandomenico, F. (eds.). Cham: Springer-Verlag, Vol. 8666 LNCS. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  342. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  343. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

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

  344. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  345. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

  346. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  347. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  348. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

  349. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

  350. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

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

  351. Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

    Gray, I., Bagnato, A., Brosse, E., Quadri, I. R., Sadovykh, A., Soares Indrusiak, L., Paige, R. F., Rossi, M., Crippa, M. C., Genolini, S., Hansen, S., Meisel-Blohm, G., Audsley, N. C., Kolovos, D., Matragkas, N. & Baresi, L., 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208

    Research output: Chapter in Book/Report/Conference proceedingChapter

  352. Engineering UToPiA - Formal Semantics for CML

    Woodcock, J., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 22-41 (Lecture Notes in Computer Science; vol. 8442).

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

  353. Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach

    Chan, Y., Gray, I., Wellings, A. J. & Audsley, N. C., 2014, Programmability Issues for Heterogeneous Multicores (MULTIPROG).

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

  354. Feedback-based admission control for task allocation

    Dziurzanski, P., Ghazzawi, H. A. & Indrusiak, L. S., 2014, Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE Computer Society Press

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

  355. Fine-Grained Link Locking Within Power and Latency Transaction Level Modelling in Wormhole Switching Non-Preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2014, PARMA-DITAM '14 Proceedings of Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms. ACM, p. 33-38 6 p.

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

  356. Formal Refinement in SysML

    Miyazawa, A. & Cavalcanti, A. L. C., 2014, 11th International Conference on Integrated Formal Methods: Proceedings. Albert, E. & Sekerinski, E. (eds.). SPRINGER, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8739).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  357. Foundations for Model-Based Engineering of Systems of Systems

    Fitzgerald, J. S., Larsen, P. G. & Woodcock, J., 2014, Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Aiguier, M., Boulanger, F., Krob, D. & Marchal, C. (eds.). SPRINGER, 19 p.

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

  358. From Imperative to Rule-based Graph Programs (Extended Abstract)

    Plump, D., 2014, Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 5 p.

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

  359. Game intelligence

    Devlin, S., Cowling, P. I., Kudenko, D., Goumagias, N., Nucciareli, A., Cabras, I., Fernandes, K. J. & Li, F., 2014, 2014 IEEE Conference on Computational Intelligence and Games. p. 1-8 8 p.

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

  360. Graph Characterization Using Wave Kernel Trace

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3822-3827 6 p.

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

  361. Graph Characterization from Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3845-3850 6 p.

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

  362. Guided Structure Formation Using Modular E-pucks

    Hristov, G., Millard, A. G., Hilder, J. A. & Timmis, J., 2014, International Conference on on Intelligent Robots and Systems: Workshop on Swarm and Modular Robotics. IEEE, p. 3

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

  363. Heuristic move pruning in Monte Carlo Tree Search for the strategic card game Lords of War

    Sephton, N., Cowling, P. I., Powley, E. & Slaven, N. H., 2014, 2014 IEEE Conference on Computational Intelligence and Games. IEEE, 8 p.

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

  364. Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms

    Bonilha, I. S., Dos Santos, O. M. & Indrusiak, L., 2014, IV Brazilian Symposium on Computing Systems Engineering SBESC 2014 : Proceedings. IEEE Computer Society Press, Vol. 2015-April. p. 144-149 6 p. 7091181

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

  365. Inexact End-to-End Response Time Analysis as Fitness Function in Search-based Task Allocation Heuristics for Hard Real-Time Network-on-Chips

    Ma, Y., Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 9 p.

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

  366. Integrating Agile Development Processes and User Centred Design: A Place for Usability Maturity Models?

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. p. 108-125 18 p.

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

  367. Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures

    Habli, I., Al-Humam, A. A. I., Kelly, T. P. & Fahel, L., 2014, 5th Workshop on Medical Cyber-Physical Systems . Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 113-123 11 p.

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

  368. Interaction science SIG: overcoming challenges

    Howes, A., Cowan, B. R., Janssen, C. P., Cox, A. L., Cairns, P., Hornof, A. J., Payne, S. J. & Pirolli, P., 2014, CHI EA '14: CHI '14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1127-1130 4 p.

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

  369. Knowledge revision for reinforcement learning with abstract MDPs

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1535-1536 2 p.

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

  370. Leibniz on Probability and Statistics

    Cussens, J., 2014, (Accepted/In press) Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  371. Low Overhead Predictability Enhancement in Non-preemptive Network-On-Chip Routers using Priority Forwarded Packet Splitting

    Sudev, B. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 8 p.

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

  372. Making an ALARP Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 57-64 8 p.

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

  373. Metaheuristics for the pick-up and delivery problem with contracted orders

    Mourdjis, P., Cowling, P. & Robinson, M., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  374. Model Driven Grant Proposal Engineering

    Kolovos, D. S., Matragkas, N. D., Williams, J. R. & Paige, R. F., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. p. 420-432 13 p.

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

  375. Obstacle detection by means of stereo feature matching

    Mittal, A., Bensrhair, A. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 1618 - 1622 4 p.

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

  376. On the nature and content of safety contracts

    Graydon, P. & Bate, I., 2014, Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. IEEE Computer Society Press, p. 245-246 2 p. 6754615

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

  377. On the use of Signatures for Source Incremental Model-to-text Transformation

    Ogunyomi, B. J., Rose, L. M. & Kolovos, D., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, Vol. 8767. p. 84-98 (LNCS).

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

  378. Optimistic Medium Access Control using Gait Analysis in body sensor networks

    Lim, T., Weng, T. & Bate, I., 2014, Proceedings of the 4th International Conference on Wireless Mobile Communication and Healthcare.

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

  379. Parallelization of Information Set Monte Carlo Tree Search

    Sephton, N., Cowling, P. I., Powley, E., Whitehouse, D. & Slaven, N. H., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2290-2297 8 p.

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

  380. Pattern Recognition with Non-Euclidean Similarities

    Hancock, E. R., Xu, E. & Wilson, R. C., 2014, Man-Machine Interactions 3. Gruca, D. A., Czach?rski, T. & Kozielski, S. (eds.). Springer International Publishing, p. 3-15 13 p. (Advances in Intelligent Systems and Computing; vol. 242).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  381. Potential-based difference rewards for multiagent reinforcement learning

    Devlin, S., Yliniemi, L., Kudenko, D. & Turner, K., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 165-172 8 p.

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

  382. Predicting player disengagement in online games

    Xie, H., Kudenko, D., Devlin, S. & Cowling, P., 2014, Workshop on Computer Games. Cazenave, T., Winands, M. H. M. & Björnsson, Y. (eds.). Springer International Publishing, p. 133-149 17 p.

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

  383. Preserving Swarm Identity Over Time

    Stovold, J. H., O'Keefe, S. & Timmis, J., 2014, Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 726-734 9 p.

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

  384. Profiling underwater swarm robotic shoaling performance using simulation

    Read, M., Möslinger, C., Dipper, T., Kengyel, D., Hilder, J., Thenius, R., Tyrrell, A., Timmis, J. & Schmickl, T., 2014, Towards Autonomous Robotic Systems: 14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers. Springer-Verlag, Vol. 8069 LNAI. p. 404-416 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  385. Promoting elderly-children interaction in digital games: A preliminary set of design guidelines

    Grimaldo, A. I., Morán, A. L., Gamez, E. C., Cairns, P., Palacio, R. R. & Meza-Kubo, V., 2014, Collaboration and Technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings. Springer-Verlag, Vol. 8658 LNCS. p. 169-176 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8658 LNCS).

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

  386. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

    Nair, S., Walkinshaw, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 413-418 6 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  387. Rapid Prototyping of a Semantically Well Founded Circus Model Checker

    Mota, A., Farias, A., Didier, A. & Woodcock, J., 2014, Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Giannakopoulou, D. & Salaün, G. (eds.). SPRINGER, Vol. 8702. p. 235-249 (Lecture Notes in Computer Science; vol. 8702).

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

  388. Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

    Ellison, M., Calinescu, R. & Paige, R. F., 2014, Utility and Cloud Computing (UCC): Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014. IEEE, p. 976-979 4 p.

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

  389. Realistic Safety Cases for the Timing of Systems

    Graydon, P. J. & Bate, I. J., 2014, The Computer Journal. 5 ed. Vol. 57. p. 759 774 p.

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

  390. Resource Requirement Analysis for Web Applications Running in a Virtualised Environment

    Mohamad, R. P., Kolovos, D. S. & Paige, R. F., 2014, Cloud Computing Technology and Science (CloudCom): 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014. IEEE, p. 632-637 6 p.

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

  391. Rethinking of Strategy for Safety Argument Development

    Sun, L., Silva, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 384-395 12 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  392. Run-time Detection of Faults in Autonomous Mobile Robots Based on the Comparison of Simulated and Real Robot Behaviour

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 2014, Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. IEEE, p. 3720-3725

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

  393. SCJ: Memory-safety checking without annotations

    Marriott, C. & Cavalcanti, A. L. C., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, p. 465-480 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  394. STC: A Joint Sentiment-Topic Model for Community Identification

    Yang, B. & Manandhar, S., 2014, Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers. Springer, p. 535-548 14 p.

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

  395. Seamless texture stitching on a 3D mesh by Poisson blending in patches

    Desssein, A., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 2031-2035 6 p.

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

  396. Self-Service Terminals for Older and Disabled Users: Attitudes of Key Stakeholders

    Petrie, H., Darzentas, J. S. & Power, C. D., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Vol. 8547 LNCS. p. 340-347 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  397. SemEval-2014 Task 4: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Pavlopoulos, J., Papageorgiou, H., Androutsopoulos, I. & Manandhar, S., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 27-35 9 p.

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

  398. SemEval-2014 Task 7: Analysis of Clinical Text

    Pradhan, S., Elhadad, N., Chapman, W. W., Manandhar, S. & Savova, G., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 54-62 9 p.

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

  399. Semantic reasoning for autonomic IT systems

    Patelli, A., Calinescu, R. & Wang, H., 2014, WCOP 2014 - Proceedings of the 19th International Doctoral Symposium on Components and Architecture (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 13-18 6 p.

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

  400. Software Analytics for MDE Communities

    Williams, J. R., Matragkas, N. D., Kolovos, D. S., Korkontzelos, Y., Annaniadou, S. & Paige, R. F., 2014, OSS4MDE 2014: Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014.. CEUR Workshop Proceedings, p. 53-63 11 p. (CEUR Workshop Proceedings; vol. 1290).

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

  401. Software Deployment for Distributed Embedded Real-Time Systems of Automotive Applications

    Polzlbauer, F., Bate, I. & Brenner, E., 2014, Embedded and Real Time System Development - A Software Engineering Perspective. Springer, p. 305-328 24 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  402. Speaking the Language of Web Developers: Evaluation of a Web Accessibility Information Resource (WebAIR)

    Swallow, D. M., Power, C. D., Petrie, H., Bramwell-Dicks, A. F., Buykx, L., Velasco, C. A., Parr, A. & O Connor, J., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Springer, Vol. 8547 LNCS. p. 348-355 8 p. (Lecture Notes in Computer Science 0302-9743; vol. 8547).

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

  403. Strategy-guided requirements development and validation

    Cui, X. & Paige, R. F., 2014, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) : 2014 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014, Las Vegas, NV, USA, June 30 - July 2, 2014. IEEE, p. 1-6 6 p.

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

  404. The 2013 Multi-Objective Physical Travelling Salesman Problem Competition

    Perez, D., Powley, E., Whitehouse, D., Samothrakis, S., Lucas, S. & Cowling, P. I., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2314-2321 8 p.

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

  405. The Effect of Text Color and Background Color on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, International Conference on Human-Computer Interaction. Springer, p. 615-620 6 p.

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

  406. The Mutual Information between Graphs

    Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 94-99 6 p.

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

  407. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

    Graydon, P. & Bate, I., 2014, Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing.

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

  408. The Pi Swarm: A low-cost platform for swarm robotics research and education

    Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J., 2014, LNCS. Springer, Vol. 8717. p. 151-162

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

  409. The abundance of 44Ti in core collapse supernovae: Measuring the 44Ti(α, p)47V reaction

    Murphy, A. S. J., Davinson, T., Kankainen, A., Lotay, G., Mountford, D. J., Murphy, C. D., Woods, P. J., Dressler, R., Schumann, D., Stowasser, T., Fallis, J., Laird, A. M., Seiffert, C., Stora, T. & Wang, C. H. T., 2014, Proceedings of Science. Proceedings of Science (PoS), Vol. 07-11-July-2015. 126

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

  410. The influence of controllers on immersion in mobile games

    Cairns, P., Li, J., Wang, W. & Nordin, A. I., 2014, CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 371-380 10 p.

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

  411. UTP Designs for Binary Multirelations

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). SPRINGER, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

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

  412. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

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

  413. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

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

  414. Web Accessibility for Older Readers: Effects of Font Type and Font Size on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, Computers Helping People with Special Needs. PART 1 ed. Springer, Vol. 8547 LNCS. p. 332-339 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  415. 2013
  416. Developing self-verifying service-based systems

    Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

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

  417. Fixed-priority scheduling of dual-criticality systems

    Baruah, S. & Burns, A., 1 Dec 2013, ACM International Conference Proceeding Series. ACM, p. 173-181 9 p.

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

  418. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  419. Limited Pre-emptive Global Fixed Task Priority

    Marinho, J., Nelis, V., Petters, S., Bertogna, M. & Davis, R. I., Dec 2013, Real-Time Systems Symposium (RTSS). p. 182-191

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

  420. Safety-critical Java level 2: Motivations, example applications and issues

    Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

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

  421. Finding test data with specific properties via metaheuristic search

    Feldt, R. & Poulding, S., 1 Nov 2013, Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on. p. 350-359

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

  422. Designs with angelic nondeterminism

    Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

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

  423. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

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

  424. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

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

  425. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  426. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  427. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  428. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

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

  429. Global Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

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

  430. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

  431. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

  432. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  433. Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 22-24

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

  434. Mixed Criticality on Controller Area Network (CAN)

    Burns, A. & Davis, R., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 125-134

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

  435. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  436. Model-driven engineering and model transformation: For fun and profit

    Paige, R. F. & Kolovos, D. S., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press;, Vol. 34. p. 275-311 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  437. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  438. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  439. Minimal surface distortion function for optimizing 3D watermarking

    Bors, A. G. & Luo, M., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea. IEEE, p. 1-4 4 p.

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

  440. Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments

    Perez-Palacin, D., Calinescu, R. & Merseguer, J., 27 May 2013, Proceedings of the ACM Symposium on Applied Computing. p. 397-404

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

  441. Complementing metaheuristic search with higher abstraction techniques

    Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

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

  442. Efficient probabilistic testing of model transformations using search

    Rose, L. M. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 16-21

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

  443. Improving the Dependability of Sensornets

    Fairbairn, M. L., Bate, I. & Stankovic, J., 1 May 2013, The 9th IEEE International Conference on Distributed Computing in Sensor Systems 2013 (IEEE DCoSS 2013). Cambridge, USA

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

  444. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

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

  445. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

  446. TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

    Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

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

  447. Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling

    Lunniss, W., Altmeyer, S., Maiza, C. & Davis, R. I., Apr 2013, Real-Time Applications and Embedded Technology Symposium (RTAS). IEEE, p. 75-84

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

  448. Ribbon proofs for separation logic

    Wickerson, J., Dodds, M. & Parkinson, M. J., 16 Mar 2013, Programming Languages and Systems: ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems. ACM, Vol. 7792 LNCS. p. 189-208 10 p. (Lecture Notes in Computer Science; vol. 7792).

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

  449. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

  450. Scenario-based modeling to capture requirements for immune inspired profile adaptation

    Azmi, N. F. M., Timmis, J. & Polack, F., 1 Jan 2013, 2013 8th International Conference on Information Technology in Asia - Smart Devices Trend: Technologising Future Lifestyle, Proceedings of CITA 2013. IEEE Computer Society Press, p. 1-6 6 p. 6637551

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

  451. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  452. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  453. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  454. A Continuous-Time Quantum Walk Kernel for Unattributed Graphs

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 101-110 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  455. A Fast Jensen-Shannon Subgraph Kernel

    Bai, L. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8156. p. 181-190 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  456. A Graph Embedding Method Using the Jensen-Shannon Divergence

    Bai, L., Hancock, E. R. & Han, L., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 102-109 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  457. A Quantum Jensen-Shannon Graph Kernel Using the Continuous-Time Quantum Walk

    Bai, L., Hancock, E. R., Torsello, A. & Rossi, L., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 121-131 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  458. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  459. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  460. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

  461. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

  462. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  463. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

  464. An Automated Constraint Modelling and Solving Toolchain

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

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

  465. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

  466. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

  467. Analysis of Wave Packet Signature of a Graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 128-136 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  468. Analysis of the Schrödinger Operator in the Context of Graph Characterization

    Suau, P., Hancock, E. R. & Escolano, F., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 190-203 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  469. Attributed Graph Similarity from the Quantum Jensen-Shannon Divergence

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 204-218 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  470. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  471. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

  472. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  473. Complexity Fusion for Indexing Reeb Digraphs

    Escolano, F., Hancock, E. R. & Biasotti, S., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 120-127 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  474. Corner Detection in Spherical Images via the Accelerated Segment Test on a Geodesic Grid

    Guan, H., Smith, W. A. P. & Ren, P., 2013, Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I. PART 1 ed. Springer, Vol. 8033 LNCS. p. 407-415 9 p. (Lecture Notes in Computer Science; vol. 8033).

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

  475. Dirichlet Processes for Joint Learning of Morphology and PoS Tags

    Can, B. & Manandhar, S., 2013, Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013. p. 1087-1091 5 p.

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

  476. Dynamic task remapping for power and latency performance improvement in priority-based non-preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE, p. 1-7 7 p.

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

  477. Efficient Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., 2013, Search Based Software Engineering. Springer, Vol. 8084 LNCS. p. 251-256 6 p. (Lecture Notes in Computer Science; vol. 8084).

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

  478. Eigenvector Sign Correction for Spectral Correspondence Matching

    Haseeb, M. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 2 ed. Springer Berlin / Heidelberg, Vol. 8157. p. 41-50 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  479. Enforcing Consistency of 3D Scenes with Multiple Objects Using Shape-from-Contours

    Grum, M. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8047 LNCS. p. 539-547 9 p. (Lecture Notes in Computer Science; vol. 8047).

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

  480. Entropy and Heterogeneity Measures for Directed Graphs

    Ye, C., Wilson, R. C., Comin, C., F. Costa, L. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 219-234 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  481. Estimating Complex Refractive Index Using Ellipsometry

    Saman, G. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8156. p. 201-210 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  482. Explicit Java Control of Low-Power Heterogeneous Parallel Processing in the ToucHMore Project

    Gauthier, L., Gray, I., Larkham, A., Gasser, A. & Acquaviva, A., 2013, JTRES '13 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. p. 68-77

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

  483. Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour

    Williams, J. R., Poulding, S. M., Paige, R. F. & Polack, F., 2013, MoDELS@Run.time. p. 76-88 13 p.

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

  484. Extending Mixed Criticality Scheduling

    Fleming, T. & Burns, A., 2013, Proc. WMC, RTSS. p. 7-12 6 p.

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

  485. Fast transaction-level dynamic power consumption modelling in priority preemptive wormhole switching networks on chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) . IEEE, p. 172-179

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

  486. Formal Models of SysML Block

    Miyazawa, A. H., Lima, L. & Cavalcanti, A. L. C., 2013, 15th International Conference on Formal Engineering Methods. Springer, Vol. 8144 LNCS. p. 249-264

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

  487. Gaussian Wave Packet on a Graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 224-233 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  488. Graph Characteristics from the Schrödinger Operator

    Suau, P., Hancock, E. R. & Escolano, F., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 172-181 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  489. Graph Characterization Using Gaussian Wave Packet Signature

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 176-189 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  490. Heterogeneity Index for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 2 ed. Springer Berlin / Heidelberg, Vol. 8048. p. 424-431 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  491. Higher-Order UTP in Theories of Object-Orientation

    Zeyda, F. & Cavalcanti, A. L. C., 2013, 4th International Symposium on Unifying Theories of Programming. Springer, Vol. 7681. p. 204-223 (Lecture Notes in Computer Science; vol. 7681).

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

  492. Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics

    Lau, H. K., Bate, I. & Timmis, J., 2013, Advances in Artificial Life ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, Vol. 12. p. 846-853 8 p.

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

  493. Improved Priority Assignment for the Abort-and-Restart (AR) Model

    Wong, H. C. & Burns, A., 2013, 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC).

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

  494. Improving Reliability of Real-Time Systems through Value and Time Voting

    Aysan, H., Bate, I., Graydon, P. & Punnekkat, S., 2013, Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC).

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

  495. Increasing accuracy by decreasing presentation quality in transcription tasks

    Soboczenski, F., Cairns, P. & Cox, A. L., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 8118 LNCS. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8118 LNCS, no. PART 2).

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

  496. Information-Theoretic Dissimilarities for Graphs

    Escolano, F., Hancock, E. R., Liu, M. & Lozano, M., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 90-105 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  497. Integrating Monte Carlo Tree Search with Knowledge-Based Methods to Create Engaging Play in a Commercial Mobile Game.

    Whitehouse, D., Cowling, P. I., Powley, E. J. & Rollason, J., 2013, AIIDE.

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

  498. Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?

    Burns, A., 2013, Proceedings RTSOPS (ECRTS). p. 8-11 4 p.

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

  499. Library abstraction for C/C++ concurrency

    Batty, M., Dodds, M. & Gotsman, A., 2013, POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York: ACM, p. 235-248 14 p.

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

  500. Manifold Learning and the Quantum Jensen-Shannon Divergence Kernel

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 62-69 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  501. Metamodelling for Grammarware Researchers

    Paige, R. F., Kolovos, D. & Polack, F. A. C., 2013, Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, Vol. 7745 LNCS. p. 64-82 (Lecture Notes in Computer Science; vol. 7745).

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

  502. Mixed Criticality on Controller Area Network

    Burns, A. & Davis, R. I., 2013, Proceedings of ECRTS. IEEE, p. 125-134 10 p.

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

  503. Model Management in the Wild

    Paige, R. F., Kolovos, D., Rose, L. M., Matragkas, N. & Williams, J. R., 2013, Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer, Vol. 7680 LNCS. p. 197-218 (Lecture Notes in Computer Science; vol. 7680).

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

  504. Monte Carlo tree search with macro-actions and heuristic route planning for the multiobjective physical travelling salesman problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  505. Multimodel-Driven Software Engineering for Evolving Enterprise Systems

    Paige, R. F., Calinescu, R., Kolovos, D. S., Matragkas, N. D. & Cliff, D., 2013, Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013.. p. 23-32 10 p.

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

  506. Navigating, Discovering and Exploring the Web: Strategies Used by People with Print Disabilities on Interactive Websites

    Power, C. D., Petrie, H., Swallow, D. M., Murphy, E., Gallagher, B. & Velasco, C. A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8117 LNCS. p. 667-684 8 p. (Lecture Notes in Computer Science; vol. 8117).

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

  507. On Extensible Networks for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2013, Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). p. 69-77 9 p.

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

Previous 1 2 3 4 Next