Search research publications and outputs

  1. 2019
  2. A new public body is necessary to effectively regulate the UK video game industry

    Zendle, D., Reith, G., Bowden-Jones, H. & Wardle, H., 9 Oct 2019.

    Research output: Contribution to conferenceOther

  3. Decentralised Gambling Overview: House of Lords Select Committee

    Scholten, O. J., Walker, J. A. & Zendle, D., 9 Oct 2019.

    Research output: Contribution to conferenceOther

  4. Role Identification for Accurate Analysis in Dota 2

    Demediuk, S. P., York, P. J., Block, F. O., Walker, J. A. & Drachen, A., 8 Oct 2019.

    Research output: Contribution to conferencePaper

  5. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 7 Oct 2019, (Accepted/In press).

    Research output: Contribution to conferencePaper

  6. A 65nm CMOS lossless bio-signal compression circuit with 250 femtoJoule performance per bit.

    Crispin-Bailey, C., Dai, C. & Austin, J., 30 Aug 2019, p. 1-14. 14 p.

    Research output: Contribution to conferencePaper

  7. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

    Chester, D., Wright, S. A., Hammond, S. D., Law, T. R., Smedley-Stevenson, R., Maheswaran, S. & Jarvis, S. A., 15 Aug 2019.

    Research output: Contribution to conferencePoster

  8. Miniature Untethered EEG Recorder Improves Advanced Neuroscience Methodologies

    Crispin-Bailey, C., Austin, J., Moulds, A., Platt, B. & Crouch, B., 14 Aug 2019, p. 1-12. 12 p.

    Research output: Contribution to conferencePaper

  9. Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

    Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

    Research output: Contribution to conferencePaper

  10. Discriminative Features Matter: Multi-layer Bilinear Pooling for Camera Localization

    Wang, X., Wang, X., Wang, C., Bai, X., Wu, J. & Hancock, E. R., 23 Jul 2019, (Accepted/In press). 12 p.

    Research output: Contribution to conferencePaper

  11. From Java to real-time Java: a model-driven methodology with automated toolchain

    Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, p. 123-134. 12 p.

    Research output: Contribution to conferencePaper

  12. Latent Distribution Preserving Deep Subspace Clustering

    Zhou, L., Xiao, B., wang, D., Liu, X., Zhou, J. & Hancock, E. R., May 2019, p. 4440-4446. 7 p.

    Research output: Contribution to conferencePaper

  13. AI and Automatic Music Generation for Mindfulness

    Williams, D., Hodge, V. J., Gega, L., Murphy, D., Cowling, P. I. & Drachen, A., 17 Mar 2019. 10 p.

    Research output: Contribution to conferencePaper

  14. A psychometric evaluation of emotional responses to horror music

    Williams, D., Wu, C. Y., Hodge, V. J., Murphy, D. & Cowling, P. I., 1 Jan 2019. 9 p.

    Research output: Contribution to conferencePaper

  15. Co-designing the computational model and the computing substrate

    Stepney, S., 2019, p. 5–14. 10 p.

    Research output: Contribution to conferencePaper

  16. Medical diagnostic based on encrypted medical data

    Gribov, A., Horan, K., Gryak, J., Najarian, K., Shpilrain, V., Soroushmehr, S. M. R. & Kahrobaei, D., 2019, p. 98-111. 14 p.

    Research output: Contribution to conferencePaper

  17. The role of structure and complexity on Reservoir Computing quality

    Dale, M., Dewhirst, J. D., O'Keefe, S. E. M., Sebald, A. A-M., Stepney, S. & Trefzer, M. A., 2019, p. 52–64. 13 p.

    Research output: Contribution to conferencePaper

  18. The role of the representational entity in physical computing

    Stepney, S. & Kendon, V., 2019, p. 219–231. 13 p.

    Research output: Contribution to conferencePaper

  19. 2018
  20. Decoupling Criticality and Importance in Mixed-Criticality Scheduling

    Bletsas, K., Awan, M. A., Souto, P. F., Akesson, B., Burns, A. & Tovar, E., Dec 2018, p. 25-32. 6 p.

    Research output: Contribution to conferenceOther

  21. Supporting Critical Modes in AirTight

    Harbin, J. R., Griffin, D. J., Burns, A., Bate, I. J., Davis, R. I. & Soares Indrusiak, L., Dec 2018, p. 7-12. 6 p.

    Research output: Contribution to conferenceOther

  22. Deep Learning and Word Embeddings for Tweet Classification for Crisis Response

    O'Keefe, S. E. M. & Alrashdi, R. M. M., 8 Oct 2018. 5 p.

    Research output: Contribution to conferencePaper

  23. Errata for three papers (2004-05) on fixed-priority scheduling with self-suspensions

    Audsley, N. C., Bletsas, K., Nelissen, G., Chen, J-J., Nelissen, G. & Huang, W-H. K., 1 Oct 2018.

    Research output: Contribution to conferencePaper

  24. A Secure Scheme for Group Communication of Wireless IoT Devices

    Alohali, B., Vasilakis, V., Moscholios, I. & Logothetis, M., 27 Sep 2018. 6 p.

    Research output: Contribution to conferencePaper

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

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

    Research output: Contribution to conferencePaper

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

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

    Research output: Contribution to conferencePaper

  27. BookLeaf: An Unstructured Hydrodynamics Mini-application

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

    Research output: Contribution to conferencePaper

  28. What is Acceptably Safe for Reinforcement Learning?

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

    Research output: Contribution to conferencePaper

  29. Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

    Davis, R. I., Bate, I. J., Bernat, G., Broster, I., Burns, A., Colin, A., Hutchesson, S. G. & Tracey, N., 3 Jul 2018. 23 p.

    Research output: Contribution to conferencePaper

  30. A Signature-based Intrusion Detection System for the Internet of Things

    Ioulianou, P., Vasilakis, V., Moscholios, I. & Logothetis, M., 8 Jun 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  31. A Deep Hybrid Graph Kernel through Deep Learning Networks

    Cui, L., Bai, L., Rossi, L. & Hancock, E. R., 11 Apr 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  32. A Unified Neighbor Reconstruction Method for Embeddings

    Hancock, E. R., Zhang, Z. H. & Bai, L., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  33. Depth-Based Subgraph Convolutional Neural Networks

    Zhang, Z., Hancock, E. R., Bai, L. & Cui, L., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  34. Directed Graph Evolution from Euler-Lagrange Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  35. FIFO with Offsets: High Schedulability with Low Overheads

    Nasri, M., Davis, R. I. & Brandenburg, B., 11 Apr 2018. 12 p.

    Research output: Contribution to conferencePaper

  36. Local Binary Patterns for Graph Characterization

    Jawad, M., Aziz, F. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  37. Mixed Criticality Systems with Varying Context Switch Costs

    Davis, R. I., Altmeyer, S. & Burns, A., 11 Apr 2018. 12 p.

    Research output: Contribution to conferencePaper

  38. Net4lap: Neural Laplacian Regularization for Ranking and Re-Ranking

    Curado, M., Escolano, F., Lozano, M. & Hancock, E. R., 11 Apr 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  39. Semi-Supervised Graph Rewiring with the Dirichlet Principle

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  40. Accessible Player Experiences (APX): The Players

    Power, C. D., Beeston, J. T. & Cairns, P., 25 Mar 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  41. Design of a Miniature Physiological Data Recorder, and it's Biomedical Applications: Presentation to BPSI Spring Symposium 2018

    Crispin-Bailey, C., Austin, J., Dai, C., Moulds, A., Platt, B. & Crouch, B., 20 Mar 2018, p. 1-17. 18 p.

    Research output: Contribution to conferenceOther

  42. A New Look at the Refund Mechanism in the Bitcoin Payment Protocol

    Avizheh, S., Safavi-Naini, R. & Shahandashti, S. F., Mar 2018.

    Research output: Contribution to conferencePaper

  43. Ethics and the safety of autonomous systems

    Menon, C. & Alexander, R. D., 6 Feb 2018.

    Research output: Contribution to conferencePaper

  44. The State of Solutions for Autonomous Systems Safety

    Alexander, R. D., Ashmore, R. & Banks, A., 6 Feb 2018.

    Research output: Contribution to conferencePaper

  45. Implicit mapping of pointers inside C++ Lambda closure objects in OpenMP target offload regions

    Truby, D. R., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S. A., 1 Feb 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  46. Hazard and Risk Analysis of Health Informatics: Fundamental Challenges and New Directions

    Habli, I. & White, S. P., 2018.

    Research output: Contribution to conferencePaper

  47. Like a DNA string: Sequence-based Player Profiling in Tom Clancy’s The Division

    Makarovych, S., Canossa, A., Togelius, J. & Drachen, A., 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  48. 2017
  49. Towards bio-responsive control for music

    Williams, D. A. H., Murphy, D. T. & Fazenda, B., 19 Dec 2017.

    Research output: Contribution to conferencePaper

  50. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E., 18 Dec 2017.

    Research output: Contribution to conferencePaper

  51. Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

    Rashid, S. A., Nelissen, G., Altmeyer, S., Davis, R. I. & Tovar, E., 6 Dec 2017. 11 p.

    Research output: Contribution to conferencePaper

  52. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

    Burns, A. & Davis, R. I., 5 Dec 2017. 6 p.

    Research output: Contribution to conferencePaper

  53. Improving efficiency of persistent storage access in embedded Linux

    Joyce, R. A. & Audsley, N. C., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  54. Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems

    Zhao, S. & Wellings, A. J., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  55. A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles

    Menon, C. & Alexander, R. D., 1 Nov 2017.

    Research output: Contribution to conferencePaper

  56. Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., 4 Oct 2017. 10 p.

    Research output: Contribution to conferencePaper

  57. Performance of second order particle-in-cell methods on modern many-core architectures

    Brown, D., Bettencourt, M. T., Wright, S. A., Jones, J. P. & Jarvis, S. A., 1 Oct 2017, (Accepted/In press).

    Research output: Contribution to conferencePaper

  58. Multi-core Cyclic Executives for Safety-Critical Systems

    Burns, A., Deutschbein, C., Fleming, T. D. & Baruah, S., Oct 2017, p. 94-109. 16 p.

    Research output: Contribution to conferencePaper

  59. Functional grouping analysis of varying reactor types in the Spiky-RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., Sep 2017, p. 247-254.

    Research output: Contribution to conferencePaper

  60. The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform

    Millard, A. G., Joyce, R. A., Hilder, J. A., Fleseriu, C., Newbrook, L., Li, W., McDaid, L. & Halliday, D. M., Sep 2017.

    Research output: Contribution to conferencePaper

  61. Tuning Jordan Algebra Artificial Chemistries with Probability Spawning Functions

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., Sep 2017, p. 497-504.

    Research output: Contribution to conferencePaper

  62. Learning Binary Preference Relations: Analysis of Logic-based versus Statistical Approaches

    Qomariyah, N. N. & Kazakov, D. L., 27 Aug 2017, p. 30-34. 5 p.

    Research output: Contribution to conferencePaper

  63. An Investigation into the Use of Mutation Analysis for Automated Program Repair

    Timperley, C. S., Stepney, S. & Le Goues, C., 17 Aug 2017, p. 99-114. 16 p.

    Research output: Contribution to conferencePaper

  64. Feature-Rich Networks for Knowledge Base Completion

    Manandhar, S. K. & Komninos, A., 30 Jul 2017, p. 324-329. 6 p.

    Research output: Contribution to conferencePaper

  65. Ternary graphs – a new interactive approach to self-assessment

    Sebald, A. A-M., Brown, R., Tomasello, L., Stepney, S. & Mitchell, D. A., 28 Jun 2017.

    Research output: Contribution to conferencePoster

  66. Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms

    Wei, H., Timmis, J. I. & Alexander, R. D., 6 Jun 2017.

    Research output: Contribution to conferencePaper

  67. Toward Information-Centric Software-Defined Cellular Networks

    Vasilakis, V., Moscholios, I., Alzahrani, B. & Logothetis, M., 24 May 2017, (Accepted/In press). 7 p.

    Research output: Contribution to conferencePaper

  68. Refund Attacks on Bitcoin’s Payment Protocol

    McCorry, P., Shahandashti, S. F. & Hao, F., 17 May 2017, p. 581-599. 19 p.

    Research output: Contribution to conferencePaper

  69. A 2D Morphable Model of Craniofacial Profile and its Application to Craniosynostosis

    Dai, H., Pears, N. E. & Duncan, C., 14 May 2017, (Accepted/In press).

    Research output: Contribution to conferencePaper

  70. Security requirements modelling for virtualized 5G small cell networks

    Vasilakis, V., Mouratidis, H., Panaousis, E., Moscholios, I. & Logothetis, M., May 2017. 5 p.

    Research output: Contribution to conferencePaper

  71. On the Digital Certificate Management in Advanced Metering Infrastructure Networks

    Vasilakis, V., Moscholios, I., Vardakas, J. & Logothetis, M., 30 Apr 2017, (Accepted/In press). 5 p.

    Research output: Contribution to conferencePaper

  72. Security Analysis of Integrated Diffie-Hellman Digital Signature Algorithm Protocols

    Vasilakis, V., Alohali, B., Moscholios, I. & Logothetis, M., 30 Apr 2017, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  73. Incorporating epistemic uncertainty into the safety assurance of socio-technical systems

    Leong, C. W. K., Kelly, T. P. & Alexander, R. D., 29 Apr 2017.

    Research output: Contribution to conferencePaper

  74. From Safety Cases to Security Cases

    Alexander, R. D., Hawkins, R. D. & Kelly, T. P., Feb 2017.

    Research output: Contribution to conferencePaper

  75. Analysis of a statistical regression approach for NO_2 pollution modelling

    Makrai, G. & Bate, I., 2017.

    Research output: Contribution to conferenceOther

  76. Connecting resilience engineering to healthcare practice: Clinical engagement through a serious video game

    Jackson, J., Iacovides, I., Alders, M., Duncan, M., Anderson, J. & Back, J., 2017.

    Research output: Contribution to conferenceAbstract

  77. Migrating Mixed Criticality Tasks within a Cyclic Executive Framework

    Burns, A. & Baruah, S., 2017, p. 203-216. 14 p.

    Research output: Contribution to conferencePaper

  78. Reservoir Computing in materio with LEDs

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 2017.

    Research output: Contribution to conferencePaper

  79. Resilience Challenge: Using an evidence-based video game as a tool to support patient safety.

    Jackson, J., Iacovides, I. & Duncan, M., 2017.

    Research output: Contribution to conferenceAbstract

  80. Supporting Nested Resources in MrsP

    Garrido, J., Zhao, S., Burns, A. & Wellings, A. J., 2017, p. 73-86. 14 p.

    Research output: Contribution to conferencePaper

  81. The effect of lip and arm synchronization on embodiment: A pilot study

    Collingwoode-Williams, T., Gillies, M., McCall, C. A. & Pan, X., 2017.

    Research output: Contribution to conferencePaper

  82. Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements

    Bate, I. J. & Lima, G. M. D. A., 2017. 11 p.

    Research output: Contribution to conferencePaper

  83. 2016
  84. Designing for Emotional Complexity in Games: The Interplay of Positive and Negative Affect

    Mekler, E., Rank, S., Steinemann, S., Birk, M. & Iacovides, I., 1 Oct 2016.

    Research output: Contribution to conferenceOther

  85. A Systematic Approach for Designing Mutation Operators for MDE languages

    Alhwikem, F. H. M., Paige, R. F., Rose, L. M. & Alexander, R. D., Oct 2016.

    Research output: Contribution to conferencePaper

  86. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling

    Davis, R. I., Altmeyer, S. & Reineke, J., Oct 2016.

    Research output: Contribution to conferencePaper

  87. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor

    Rihani, H., Moy, M., Maiza, C., Davis, R. I. & Altmeyer, S., Oct 2016.

    Research output: Contribution to conferencePaper

  88. Moving Virtual Source Perception in 3D Space

    Hughes, S. S. & Kearney, G. C., 30 Sep 2016.

    Research output: Contribution to conferencePaper

  89. Auditory Immersion of 5.1 Virtualization within Gameplay

    Hughes, S. S. & Kearney, G. C., 27 Sep 2016.

    Research output: Contribution to conferencePaper

  90. Using Association Rule Mining to Predict Opponent Deck Content in Android: Netrunner

    Sephton, N. J., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016.

    Research output: Contribution to conferencePaper

  91. Combining Gameplay Data with Monte Carlo Tree Search to Emulate Human Play

    Devlin, S., Anspoka, A., Sephton, N. J., Cowling, P. I. & Rollason, J., 19 Sep 2016.

    Research output: Contribution to conferencePaper

  92. Syntactic theory and the science of (language) history

    Longobardi, G., Michelioudakis, D., Guardiano, C., Irimia, M-A., Radkevich, N., Kim, S-S., Cordoni, G., Ceolin, A. & Kazakov, D. L., Sep 2016.

    Research output: Contribution to conferenceAbstract

  93. A Conceptual Framework of Business Model Emerging Resilience

    Goumagias, N., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. I. & Kudenko, D., 7 Jul 2016.

    Research output: Contribution to conferencePaper

  94. On the Evaluation of Schedulability Tests for Real-Time Scheduling Algorithms

    Davis, R. I., Jul 2016. 9 p.

    Research output: Contribution to conferencePaper

  95. Comparing Composite vs. Wave-Cores in a Novel Dark-Silicon Methodology

    Crispin-Bailey, C. & Arnone, A., 27 Jun 2016. 4 p.

    Research output: Contribution to conferencePaper

  96. Functional Faces: Groupwise Dense Correspondence using Functional Maps

    Zhang, C., Smith, W. A. P., Dessein, A. F., Pears, N. E. & Dai, H., 26 Jun 2016, p. 5033-5041. 9 p.

    Research output: Contribution to conferencePaper

  97. Dependency Based Embeddings for Sentence Classification Tasks

    Komninos, A. & Manandhar, S., 12 Jun 2016, p. 1490-1500. 11 p.

    Research output: Contribution to conferencePaper

  98. Resource Abstraction for Reinforcement Learning in Multiagent Congestion Problems

    Malialis, K., Devlin, S. & Kudenko, D., 9 May 2016, p. 512-520. 9 p.

    Research output: Contribution to conferencePaper

  99. A Strategic Roadmap for Business Model Change for the Video-games Industry

    Goumagias, N., Purvis, K., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. & Kudenko, D., 3 May 2016, (Accepted/In press).

    Research output: Contribution to conferencePaper

  100. Safe Multi-objective Planning with a Posteriori Preferences

    Eastwood, T. C. M. R., Alexander, R. D. & Kelly, T. P., 7 Jan 2016. 8 p.

    Research output: Contribution to conferencePaper

  101. A multi-arm bandit neighbourhood search for routing and scheduling problems

    Chen, Y., Cowling, P. I., Polack, F. A. C. & Mourdjis, P. J., 2016. 33 p.

    Research output: Contribution to conferencePaper

  102. Distribution Data Across Multiple Cloud Storage Using ReinforcementLearning Method

    Algarni, A. F. H. & Kudenko, D., 2016, (Accepted/In press).

    Research output: Contribution to conferencePaper

  103. 2015
  104. A Morphable Profile Model of the Human Head as an Outcome Tool for Craniosynostosis Surgery

    Duncan, C., Armstrong, R. & Pears, N. E., 14 Sep 2015.

    Research output: Contribution to conferenceAbstract

  105. Nonclassical readout of optical memories under local energy constraint

    Spedalieri, G., Lupo, C. & Pirandola, S., 3 Sep 2015, p. 1-11. 11 p.

    Research output: Contribution to conferencePaper

  106. Quantum cryptography with an ideal local relay

    Spedalieri, G., Ottaviani, C., Braunstein, S. L., Gehring, T., Jacobsen, C. S., Andersen, U. L. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaper

  107. Restoring broken entanglement by separable correlations

    Spedalieri, G. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaper

  108. Transparent hardware synthesis of Java for predictable large-scale distributed systems

    Gray, I., Chan, Y., Garside, J., Audsley, N., Wellings, A. & Wellings, A. J., 1 Sep 2015, p. 1-2. 2 p.

    Research output: Contribution to conferencePaper

  109. A Research Agenda for Metaheuristic Standardization

    Swan, J., Adriaensen, S., Bishr, M., Burke, E. K., Clark, J. A., De Causmaecker, P., Durillo, J., Hammond, K., Hart, E., Johnson, C. G., Kocsis, Z. A., Kovitz, B., Krawiec, K., Martin, S., Merelo, J. J., Minku, L. L., Özcan, E., Pappa, G. L., Pesch, E., Garcia-Sànchez, P. & 7 othersSchaerf, A., Sim, K., Smith, J., Stützle, T., Stefan, V., Wagner, S. & Yao, X., Jun 2015, p. 1-3. 3 p.

    Research output: Contribution to conferencePaper

  110. An evidential reasoning approach for assessing confidence in safety evidence: Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on

    Nair, S., Walkinshaw, N., Kelly, T. & de la Vara, J. L., 2015, p. 541-552. 12 p.

    Research output: Contribution to conferenceOther

  111. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

    Woodcock, J., Fitzgerald, J., Gamble, C., Larsen, P. G. & Pierce, K., 2015, p. 40-46.

    Research output: Contribution to conferencePaper

  112. SHREC’15 Track: Non-rigid 3D Shape Retrieval

    Limberger, F. A. & Wilson, R. C., 2015.

    Research output: Contribution to conferenceOther

  113. The False Dichotomy between Positive and Negative Affect in Game Play

    Birk, M. V., Iacovides, I., Johnson, D. & Mandryk, R. L., 2015, p. 799-804. 6 p.

    Research output: Contribution to conferenceOther

  114. 2014
  115. A Miniature Multisensor Biosignal Data Recorder and its evaluation for unsupervised Parkinson's Disease Data Collection

    Crispin-Bailey, C., Hollier, G. P., Moulds, A., Freeman, M. J., Fargus, A. G., Austin, J. & Lampert, T. A., 16 Nov 2014, p. 84-92. 9 p.

    Research output: Contribution to conferencePaper

  116. Computational novelty: Phenomena, mechanisms, worlds

    Nellis, A. & Stepney, S., Jul 2014, p. 506–513.

    Research output: Contribution to conferencePaper

  117. The NOMAD Project

    Crispin-Bailey, C., Mar 2014.

    Research output: Contribution to conferenceOther

  118. A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products: Computing Systems Engineering (SBESC), 2014 Brazilian Symposium on

    de Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2014, p. 7-12. 6 p.

    Research output: Contribution to conferenceOther

  119. A practitioner perspective on integrating agile and user centred design

    Salah, D., Paige, R. & Cairns, P., 2014, p. 100-109. 10 p.

    Research output: Contribution to conferencePaper

  120. Game Intelligence: Proceedings of the IEEE Conference on Computational Intelligence in Games (CIG)

    Devlin, S., Cowling, P. I., Kudenko, D., Goumagias, N., Nucciarelli, A., Cabras, I., Fernandes, K. J. & Li, F., 2014.

    Research output: Contribution to conferencePaper

  121. Reflective Grammatical Evolution

    Timperley, C. & Stepney, S., 2014, p. 71–78.

    Research output: Contribution to conferencePaper

  122. Safety validation of sense and avoid algorithms using simulation and evolutionary search

    Zou, X., Alexander, R. & McDermid, J. A., 2014. 16 p.

    Research output: Contribution to conferencePaper

  123. The SPEKE Protocol Revisited

    Hao, F. & Shahandashti, S. F., 2014, p. 26–38.

    Research output: Contribution to conferencePaper

  124. 2013
  125. A time-domain Based Looseless Data Compression Technique for Wireless Wearable Biometric Devices

    Crispin-Bailey, C. & Dai, C., Aug 2013, p. 104-107. 4 p.

    Research output: Contribution to conferencePaper

  126. The effect of global instructions on think-aloud testing

    McDonald, S. & Petrie, H., 27 Apr 2013, p. 2941 - 2944. 4 p.

    Research output: Contribution to conferencePaper

  127. Searching for Risk in Large Complex Spaces

    Clegg, K. D. & Alexander, R., Apr 2013, p. 753-762 .

    Research output: Contribution to conferencePaper

  128. The Artificial Epigenetic Network

    Turner, A. P., Lones, M. A., Fuente, L. A., Stepney, S., Caves, L. & Tyrrell, A., Apr 2013, p. 66-72.

    Research output: Contribution to conferencePaper

  129. Using Mutation Analysis to Evolve Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., Mar 2013, p. 53-62. 10 p.

    Research output: Contribution to conferencePaper

  130. A Miniaturized 4-Channel, 2KSa/sec Biosignal Data Recorder With 3-Axis Accelerometer and Infra-red Timestamp Function

    Crispin-Bailey, C., Moulds, A., Platt, B., Hollier, G. P., Freeman, M. J. & Fargus, A. G., 2013.

    Research output: Contribution to conferencePaper

  131. Computer Analysis of Images and Patterns

    Wilson, R., Hancock, E., Bors, A. & Smith, W., 2013.

    Research output: Contribution to conferencePaper

  132. Computer Analysis of Images and Patterns - Part 1

    Wilson, R., Hancock, E., Bors, A. & Smith, W., 2013.

    Research output: Contribution to conferencePaper

  133. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

    Liu, Z., Woodcock, J. & Zhu, H., 2013, p. 1-455. 455 p.

    Research output: Contribution to conferencePaper

  134. Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

    Liu, Z., Woodcock, J. & Zhu, H., 2013, p. 1-422. 422 p.

    Research output: Contribution to conferencePaper

  135. 2012
  136. Tradeoffs for EEG data reduction on Wearable Device

    Dai, C. & Crispin-Bailey, C., Nov 2012.

    Research output: Contribution to conferencePoster

  137. A Binary Neural Network Framework for Attribute Selection and Prediction

    Hodge, V. J., Jackson, T. & Austin, J., 5 Oct 2012, p. 510-515. 5 p.

    Research output: Contribution to conferencePaper

  138. Face recognition using ortho-diffusion bases

    Gudivada, S. & Bors, A. G., Aug 2012, p. 1578-1582.

    Research output: Contribution to conferencePaper

  139. Minimal distortion 3-D watermarking using statistics of geodesic distances

    Luo, M. & Bors, A. G., Aug 2012, p. 1683-1687.

    Research output: Contribution to conferencePaper

  140. MESSI: Mutant Evaluation by Static Semantic Interpretation

    Patrick, M. T., Oriol, M. Y. A. & Clark, J. A., 17 Apr 2012, (Accepted/In press).

    Research output: Contribution to conferencePaper

  141. Automated Heap Sizing in the Poly/ML Runtime

    White, D. R., Singer, J., Aitken, J. M. & Matthews, D., 2012, p. 1-9.

    Research output: Contribution to conferencePaper

  142. CoSMoS in the Context of Social Ecological Research

    Forrester, J. M., Greaves, R. B. & Polack, F. A. C., 2012, p. 47-76.

    Research output: Contribution to conferencePaper

  143. Enhancing YouShare: the online collaboration research environment for sharing data and services.

    Hodge, V., Turner, A., Fletcher, M., Jessop, M., Weeks, M., Jackson, T. & Austin, J., 2012.

    Research output: Contribution to conferencePaper

  144. Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings

    Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K., 2012.

    Research output: Contribution to conferencePaper

  145. 2011
  146. Analysing the Reliability of a Self-reconfigurable Modular Robotic System

    Murray, L. J., Liu, W., Winfield, A., Timmis, J. & Tyrrell, A., Dec 2011, p. -. 6 p.

    Research output: Contribution to conferencePaper

  147. The Protein Processor Associative Memory on a Robotic Hand-Eye Coordination Task

    Qadir, O., Timmis, J., Tempesti, G. & Tyrrell, A., Dec 2011. 6 p.

    Research output: Contribution to conferencePaper

  148. Resource sharing in RTSJ and SCJ systems

    Wellings, A., Lin, S. & Burns, A., Oct 2011.

    Research output: Contribution to conferencePaper

  149. Combining Probabilistic Shape-from-Shading and Statistical Facial Shape Models

    Ahmad, T., Wilson, R. C., Smith, W. A. P. & Haines, T. S. F., 14 Sep 2011, p. 680-690. 11 p.

    Research output: Contribution to conferencePaper

  150. Zero-error subspaces of quantum channels

    Patra, M. K. & Braunstein, S., 5 Aug 2011, p. 104-108.

    Research output: Contribution to conferencePaper

  151. Controlling Legged Robots with Coupled Artificial Biochemical Networks

    Lones, M. A., Tyrrell, A. M., Stepney, S. & Caves, L. S. D., Aug 2011, p. 465-472.

    Research output: Contribution to conferencePaper

  152. Splitting Rate Modelling for Intelligent Transport Systems

    Smith, M., Mounce, R., Hollier, G. P., Hodge, V. J. & Austin, J., 22 Jun 2011.

    Research output: Contribution to conferencePaper

  153. A Flexible Decentralised Communication Architecture on a Field Programmable Gate Array for Swarm System Simulations

    Gomez Zamorano, A., Timmis, J. & Tyrrell, A., Jun 2011, p. 230-237. 8 p.

    Research output: Contribution to conferencePaper

  154. Hardware architecture for a Bidirectional Hetero-Associative Protein Processing Associative Memory

    Qadir, O., Liu, J., Tempesti, G., Timmis, J. & Tyrrell, A., Jun 2011, p. 208-215. 8 p.

    Research output: Contribution to conferencePaper

  155. Parameter Optimisation in the Receptor Density Algorithm

    Hilder, J. A., Owens, N. D. L., Timmis, J., Hickey, P., Kilgour, S. & Tyrrell, A., Jun 2011, p. 226-239. 13 p.

    Research output: Contribution to conferencePaper

  156. Multi-Agent Potential-based Reward Shaping for RoboCup KeepAway

    Devlin, S., Grzes, M. & Kudenko, D., May 2011.

    Research output: Contribution to conferencePaper

  157. Short-Term Traffic Prediction Using a Binary Neural Network.

    Hodge, V. J., Krishnan, R., Jackson, T., Austin, J. & Polak, J., 5 Jan 2011.

    Research output: Contribution to conferencePaper

  158. A Risk Modelling Approach for a Communicating System of Systems

    Aitken, J. M., Alexander, R. & Kelly, T., 2011, p. 442-447.

    Research output: Contribution to conferencePaper

  159. A Self-scaling Instruction Generator Using Cartesian Genetic Programming

    Liu, Y., Tempesti, G., Walker, J. A., Timmis, J., Tyrrell, A. M. & Bremner, P., 2011, p. 298-309.

    Research output: Contribution to conferencePaper

  160. CoSMoS process, models, and metamodels

    Andrews, P. S., Stepney, S., Hoverd, T., Polack, F. A. C., Sampson, A. T. & Timmis, J., 2011.

    Research output: Contribution to conferencePaper

  161. Embodied copying for richer evolution

    Nellis, A. & Stepney, S., 2011.

    Research output: Contribution to conferencePaper

  162. Embodied genomes and metaprogramming

    Hickinbotham, S., Stepney, S., Nellis, A., Clarke, T., Clark, E., Pay, M. & Young, P., 2011.

    Research output: Contribution to conferencePaper

  163. Energy as a driver of diversity in open-ended evolution

    Hoverd, T. & Stepney, S., 2011.

    Research output: Contribution to conferencePaper

  164. Exemplar-based word-space model for compositionality detection: shared task system description

    Reddy, S., McCarthy, D., Manandhar, S. K. & Gella, S., 2011, p. 54-60.

    Research output: Contribution to conferencePaper

  165. F for fake: four studies on how we fall for phish

    Blythe, M., Petrie, H. & Clark, J. A., 2011, p. 3469-3478.

    Research output: Contribution to conferencePaper

  166. Full Implementation of an Estimation of Distribution Algorithm on a GPU

    Poulding, S. M., Staunton, J. P. & Burles, N. J., 2011.

    Research output: Contribution to conferencePaper

  167. Fusion of Multiple Candidate Orientations in Fingerprints

    Zhu, E., Hancock, E. R., Yin, J., Zhang, J. & An, H., 2011, p. 89-100.

    Research output: Contribution to conferencePaper

  168. Reflecting on Open-Ended Evolution

    Stepney, S. & Hoverd, T., 2011.

    Research output: Contribution to conferencePaper

  169. Specifying Confidentiality in Circus

    Banks, M. J. & Jacob, J. L., 2011, p. 215-230.

    Research output: Contribution to conferencePaper

  170. User-defined clocks in the real-time specification for Java

    Wellings, A. & Martin Schoeberl, M., 2011.

    Research output: Contribution to conferencePaper

  171. 2010
  172. Model-based design flow for NoC-based MPSoCs

    Ost, L., Indrusiak, L. S., Maatta, S., Mandelli, M., Nurmi, J. & Moraes, F., 1 Dec 2010, p. 750 -753.

    Research output: Contribution to conferencePaper

  173. Calculated Secure Processes

    Banks, M. J. & Jacob, J. L., 1 Nov 2010, p. 19--28.

    Research output: Contribution to conferencePaper

  174. INTELLIGENT DECISION SUPPORT FOR TRAFFIC MANAGEMENT

    Krishnan, R., Hodge, V., Austin, J., Polak, J., Jackson, T., Smith, M. & Lee, T., 25 Oct 2010.

    Research output: Contribution to conferencePaper

  175. Assurance of Claims and Evidence for Aviation Systems

    Reinhardt, D. W. & McDermid, J. A., 20 Oct 2010, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  176. The State of Practice in System Safety Research Evaluation

    Rae, A., Alexander, R. & Nicholson, M., Oct 2010.

    Research output: Contribution to conferencePaper

  177. A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II

    Maatta, S., Indrusiak, L. S., Ost, L., Moller, L., Glesner, M., Moraes, F. G. & Nurmi, J., 1 Sep 2010, p. 68 -71.

    Research output: Contribution to conferencePaper

  178. Conjure Revisited: Towards Automated Constraint Modelling

    Akgun, O., Frisch, A. M., Hnich, B., Jefferson, C. & Miguel, I., 1 Sep 2010.

    Research output: Contribution to conferencePaper

  179. Information-Theoretic Detection of Masquerade Mimicry Attacks

    Tapiador, J. E. & Clark, J. A., 1 Sep 2010, p. 183 -190. 7 p.

    Research output: Contribution to conferencePaper

  180. Scribe Identification in Medieval English Manuscripts

    Gillam, T., Wilson, R. C. & Clark, J. A., 23 Aug 2010, p. 1880-1883. 4 p.

    Research output: Contribution to conferencePaper

  181. A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems

    Liu, Y., Timmis, J., Qadir, O., Tempesti, G. & Tyrrell, A., Aug 2010, p. 199-212.

    Research output: Contribution to conferencePaper

  182. Detecting Vorticity in Optical Flow of Fluids

    Doshi, A. & Bors, A. G., Aug 2010, p. 2118-2121. 4 p.

    Research output: Contribution to conferencePaper

  183. Optical Flow Estimation Using Diffusion Distances

    Wartak, S. & Bors, A. G., Aug 2010, p. 189-192. 4 p.

    Research output: Contribution to conferencePaper

  184. Evaluating the impact of communication latency on applications running over on-chip multiprocessing platforms: A layered approach

    Indrusiak, L. S., Ost, L. C., Moraes, F. G., Maatta, S., Nurmi, J., Moller, L. & Glesner, M., 1 Jul 2010, p. 148 -153.

    Research output: Contribution to conferencePaper

  185. Modeling the behavior of the stock market with an Artificial Immune System

    Butler, M. & Kazakov, D., 1 Jul 2010, p. 1 -8.

    Research output: Contribution to conferencePaper

  186. A Systematic Approach for Developing Software Safety Arguments

    Hawkins, R. D. & Kelly, T., Jul 2010, p. 25-33.

    Research output: Contribution to conferencePaper

  187. AURA-Alert: The use of Binary Associative Memories for Condition Monitoring Applications

    Austin, J., Jackson, T., Hodge, V. J. & Brewer, G., 22 Jun 2010, p. 699-711.

    Research output: Contribution to conferencePaper

  188. Sonification Strategies for Examination of Biological Cells

    Edwards, A., Hunt, A., Hines, G., Jackson, V., Podvoiskis, A., Roseblade, R. & Stammers, J., 1 Jun 2010.

    Research output: Contribution to conferencePaper

  189. An Admission Control Protocol for Real-Time OSGi

    Richardson, T. & Wellings, A. J., May 2010, p. 217. 224 p.

    Research output: Contribution to conferencePaper

  190. Multi-Agent Reinforcement Learning with Reward Shaping for KeepAway Takers

    Devlin, S., Grzes, M. & Kudenko, D., May 2010.

    Research output: Contribution to conferencePaper

  191. The Phish in the Pond: scam emails as literature

    Clark, J. A. & Blythe, M., 10 Apr 2010.

    Research output: Contribution to conferencePaper

  192. A computationally efficient method for online identification of traffic incidents and network equipment failures

    Hodge, V. J., Krishnan, R., Austin, J. & Polak, J., 4 Apr 2010.

    Research output: Contribution to conferencePaper

  193. Novel method of chaotic systems evaluation for implementations of encryption algorithms

    Dutra, E., Glesner, M., Finamore, W. A. & Indrusiak, L., 1 Apr 2010, p. 89 -96.

    Research output: Contribution to conferencePaper

  194. YETI on the Cloud

    Oriol, M. & Ullah, F., 1 Apr 2010, p. 434--437.

    Research output: Contribution to conferencePaper

  195. An Experience Report in Requirements Elicitation for Accessible E-Learning Systems

    Power, C. & Petrie, H., 1 Mar 2010, p. 259 -261.

    Research output: Contribution to conferencePaper

  196. On Identifying Spatial Traffic Patterns using Advanced Pattern Matching Techniques

    Krishnan, R., Hodge, V. J., Austin, J., Polak, J. & Lee, T., 10 Jan 2010.

    Research output: Contribution to conferencePaper

  197. A Computationally Efficient Method for Online Identification of Traffic Control Intervention Measures

    Krishnan, R., Hodge, V. J., Austin, J. & Polak, J., 5 Jan 2010.

    Research output: Contribution to conferencePaper

  198. A Case for Dynamic Risk Assessment in NEC Systems of Systems

    Aitken, J. M., Alexander, R. & Kelly, T., 2010.

    Research output: Contribution to conferencePaper

  199. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, p. 319-330.

    Research output: Contribution to conferencePaper

  200. A Petri Net Model of Granulomatous Inflammation

    Albergante, L., Timmis, J., Andrews, P. S., Beattie, L. & Kaye, P. M., 2010, p. 1-3.

    Research output: Contribution to conferencePaper

  201. A Reflective Approach to Model-Driven Web Engineering

    Clowes, D., Kolovos, D. S., Holmes, C., Rose, L. M., Paige, R. F., Johnson, J., Dawson, R. & Probets, S. G., 2010, p. 62--73.

    Research output: Contribution to conferencePaper

  202. A Supergraph-based Generative Model

    Han, L., Wilson, R. C. & Hancock, E. R., 2010, p. 1566-1569.

    Research output: Contribution to conferencePaper

  203. A Timed Model of Circus with the Reactive Design Miracle

    Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.

    Research output: Contribution to conferencePaper

  204. A Visual Specification Language for Model-to-Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S. & Paige, R. F., 2010, p. 119-126.

    Research output: Contribution to conferencePaper

  205. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Velasco, C. A. & Boticario, J., 2010, p. 484-485.

    Research output: Contribution to conferencePaper

  206. Affinity Propagation for Class Exemplar Mining

    Xia, S., Song, R. & Hancock, E. R., 2010, p. 191-201.

    Research output: Contribution to conferencePaper

  207. An algebraic approach to information theory

    Patra, M. K. & Braunstein, S. L., 2010, p. 2708-2712.

    Research output: Contribution to conferencePaper

  208. Automatically moving between levels in Artificial Chemistries

    Nellis, A. & Stepney, S., 2010, p. 269-276.

    Research output: Contribution to conferencePaper

  209. Automating Refinement of Circus Programs

    Zeyda, F. & Cavalcanti, A., 2010, p. 274-290.

    Research output: Contribution to conferencePaper

  210. Bilingual lexicon extraction from comparable corpora using in-domain terms

    Ismail, A. & Manandhar, S., 2010, p. 481-489.

    Research output: Contribution to conferencePaper

  211. Capturing player experiences with post-game commentaries.

    Gow, J., Cairns, P. A., Colton, S., Baumgarten, R. & Miller, P., 2010.

    Research output: Contribution to conferencePaper

  212. Character Education Using Pedagogical Agents and Socratic Voice

    HodHod, R. A., Kudenko, D. & Cairns, P. A., 2010.

    Research output: Contribution to conferencePaper

  213. Characterising Facial Gender Difference Using Fisher-Rao Metric

    Ceolin, S. & Hancock, E. R., 2010, p. 4308-4311.

    Research output: Contribution to conferencePaper

  214. Communication Systems in ClawZ

    Vernon, M., Zeyda, F. & Cavalcanti, A., 2010, p. 334-348.

    Research output: Contribution to conferencePaper

  215. Commute-Time Convolution Kernels for Graph Clustering

    Rahman, N. A. & Hancock, E. R., 2010, p. 316-323.

    Research output: Contribution to conferencePaper

  216. Comparing Model-Metamodel and Transformation-Metamodel Co-evolution

    Rose, L. M., Etien, A., Méndez, D., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaper

  217. Competitive carbon counting: can social networking sites make saving energy more enjoyable?

    Foster, D., Blythe, M., Cairns, P. A. & Lawson, S., 2010, p. 4039-4044.

    Research output: Contribution to conferencePaper

  218. Concordance: A Framework for Managing Model Integrity

    Rose, L. M., Kolovos, D. S., Drivalos, N., Williams, J. R., Paige, R. F., Polack, F. A. C. & Fernandes, K. J., 2010, p. 245-260.

    Research output: Contribution to conferencePaper

  219. Concordance: An Efficient Framework for Managing Model Integrity

    Rose, L. M., Kolovos, D. S., Drivalos, N., Williams, J. R., Paige, R. F., Polack, F. A. C. & Fernandes, K. J., 2010, p. 62--73.

    Research output: Contribution to conferencePaper

  220. Controlling Complex Dynamics with Artificial Biochemical Networks

    Lones, M. A., Tyrrell, A. M., Stepney, S. & Caves, L. S. D., 2010, p. 159-170.

    Research output: Contribution to conferencePaper

  221. Design to read: designing for people who do not read easily

    Jarrett, C., Petrie, H. & Summers, K., 2010, p. 4481-4484.

    Research output: Contribution to conferencePaper

  222. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A. J., 2010, p. 41-53.

    Research output: Contribution to conferencePaper

  223. Ecore to GenModel Case

    Kolovos, D. S., Rose, L. M., Paige, R. F. & de Lara, J., 2010.

    Research output: Contribution to conferencePaper

  224. Estimating Linear Models for Compositional Distributional Semantics

    Zanzotto, F. M., Korkontzelos, I., Fallucchi, F. & Manandhar, S., 2010, p. 1263-1271.

    Research output: Contribution to conferencePaper

  225. Experiments in Object Trouve browsing

    Colton, S., Torres, P., Gow, J. & Cairns, P. A., 2010.

    Research output: Contribution to conferencePaper

  226. Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics

    Owen, J., Stepney, S., Timmis, J. & Winfield, A. F. T., 2010, p. 432-439.

    Research output: Contribution to conferencePaper

  227. Formal Analysis in Model Management: Exploiting the Power of CZT

    Williams, J. R., Polack, F. A. C. & Paige, R. F., 2010, p. 414.

    Research output: Contribution to conferencePaper

  228. Formalising Harmony Seeking Rules of Morphogenesis

    Hoverd, T. & Stepney, S., 2010, p. 386-393.

    Research output: Contribution to conferencePaper

  229. Graph Embedding Using an Edge-Based Wave Kernel

    ElGhawalby, H. & Hancock, E. R., 2010, p. 60-69.

    Research output: Contribution to conferencePaper

  230. Heat Flow-Thermodynamic Depth Complexity in Networks

    Escolano, F., Lozano, M. A. & Hancock, E. R., 2010, p. 1578-1581.

    Research output: Contribution to conferencePaper

  231. Ihara Coefficients: A Flexible Tool for Higher Order Learning

    Ren, P., Aleksic, T., Wilson, R. C. & Hancock, E. R., 2010, p. 670-679.

    Research output: Contribution to conferencePaper

  232. In Search of Sound 'in silico' Research: Validating a Complex System Simulation

    Ghetiu, T., Polack, F. A. C. & Bown, J. L., 2010, p. 312.

    Research output: Contribution to conferencePaper

  233. Inter-modelling: From Theory to Practice

    Guerra, E., Lara, J. D., Kolovos, D. S. & Paige, R. F., 2010, p. 376-391.

    Research output: Contribution to conferencePaper

  234. Interplay between Language, Navigation and Kin selection

    Kazakov, D., 2010.

    Research output: Contribution to conferencePaper

  235. Investigation of cultural dependency in mobile technology and older adults

    Abd Malik, S. & Edwards, A. D. N., 2010, p. 3835-3840.

    Research output: Contribution to conferencePaper

  236. KAOS: A Goal-oriented Process Model for EIS

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 2010, p. 40-49.

    Research output: Contribution to conferencePaper

  237. Learning Autonomic Security Reconfiguration Policies

    Tapiador, J. E. & Clark, J. A., 2010, p. 902-909. 8 p.

    Research output: Contribution to conferencePaper

  238. Matching Research Goals and Methods in System Safety Engineering

    Alexander, R., Rae, A. & Nicholson, M., 2010.

    Research output: Contribution to conferencePaper

  239. Measuring user experience of websites: think aloud protocols and an emotion word prompt list

    Petrie, H. & Precious, J., 2010, p. 3673-3678.

    Research output: Contribution to conferencePaper

  240. Migrating Activity Diagrams with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaper

  241. Mining Exemplars for Object Modelling Using Affinity Propagation

    Xia, S., Liu, J. & Hancock, E. R., 2010, p. 918-921.

    Research output: Contribution to conferencePaper

  242. Model Migration Case

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaper

  243. Model Migration with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010, p. 184--198.

    Research output: Contribution to conferencePaper

  244. Modelling and Implementing Complex Systems with Timebands

    Woodcock, J., Oliveira, M., Burns, A. & Wei, K., 2010, p. 1-13.

    Research output: Contribution to conferencePaper

  245. On Homeostasis in Collective Robotic Systems

    Timmis, J. & Tyrrell, A. M., 2010, p. 307-309.

    Research output: Contribution to conferencePaper

  246. On modelling user observations in the UTP

    Banks, M. J. & Jacob, J. L., 2010, p. 101--119.

    Research output: Contribution to conferencePaper

  247. Particle Swarm Optimization of Bollinger Bands

    Butler, M. & Kazakov, D., 2010, p. 504-511.

    Research output: Contribution to conferencePaper

  248. RBN-World: The hunt for a rich AChem

    Faulconbridge, A., Stepney, S. & Miller, J. F., 2010, p. 261--268.

    Research output: Contribution to conferencePaper

  249. Realism in Statistical Analysis of Worst Case Execution Times

    Griffin, D. & Burns, A., 2010, p. 44-53.

    Research output: Contribution to conferencePaper

  250. Recovering 3D Shape Using an Improved Fast Marching Method

    Zou, C. & Hancock, E. R., 2010, p. 1678-1681.

    Research output: Contribution to conferencePaper

  251. Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding

    Xu, W., Hancock, E. R. & Wilson, R. C., 2010, p. 3324-3327.

    Research output: Contribution to conferencePaper

  252. Regularising the Ricci Flow Embedding

    Xu, W., Hancock, E. R. & Wilson, R. C., 2010, p. 579-588.

    Research output: Contribution to conferencePaper

  253. Robust Computation of the Polarisation Image

    Saman, G. & Hancock, E. R., 2010, p. 971-974.

    Research output: Contribution to conferencePaper

  254. Robust Shape from Polarisation and Shading

    Huynh, C. P., Robles-Kelly, A. & Hancock, E. R., 2010, p. 810-813.

    Research output: Contribution to conferencePaper

  255. SAT Encodings of the AT-Most-k Constraint: Some Old, Some New, Some Fast, Some Slow

    Frisch, A. M. & Giannaros, P. A., 2010.

    Research output: Contribution to conferencePaper

  256. Safety Lifecycle Activities for Autonomous Systems Development

    Alexander, R., Gorry, B. & Kelly, T., 2010.

    Research output: Contribution to conferencePaper

  257. Semi-supervised Feature Selection for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2010, p. 23-33.

    Research output: Contribution to conferencePaper

  258. Specification Coverage for Testing in Circus

    Cavalcanti, A. & Gaudel, M-C., 2010, p. 1-45.

    Research output: Contribution to conferencePaper

  259. Spherical Embedding and Classification

    Wilson, R. C. & Hancock, E. R., 2010, p. 589-599.

    Research output: Contribution to conferencePaper

  260. Tenori-on stage: YouTube as performance space

    Blythe, M. & Cairns, P. A., 2010, p. 72-81.

    Research output: Contribution to conferencePaper

  261. Testing . NET Code with YETI

    Oriol, M. & Tassis, S., 2010.

    Research output: Contribution to conferencePaper

  262. Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation

    Ismail, A. R. & Timmis, J., 2010, p. 313-314.

    Research output: Contribution to conferencePaper

  263. Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering

    Azmi, N. F. M., Timmis, J. & Polack, F., 2010, p. 315-316.

    Research output: Contribution to conferencePaper

  264. Unifying theories of confidentiality

    Banks, M. J., Jacob, J. L. & Qin, S., 2010, p. 120--136.

    Research output: Contribution to conferencePaper

  265. Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation

    Garnett, P., Stepney, S., Day, F. & Leyser, O., 2010, p. 9-32.

    Research output: Contribution to conferencePaper

  266. Video games as research instruments

    Gámez, E. H. C., Cairns, P. A., Gow, J., Back, J. & Capstick, E., 2010, p. 4493-4496.

    Research output: Contribution to conferencePaper

  267. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 2010, p. 519-526.

    Research output: Contribution to conferencePaper

  268. Wattsup? motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P. A., 2010, p. 178-187.

    Research output: Contribution to conferencePaper

  269. What Is the Complexity of a Network? The Heat Flow-Thermodynamic Depth Approach

    Escolano, F., Lozano, M. A., Hancock, E. R. & Giorgi, D., 2010, p. 286-295.

    Research output: Contribution to conferencePaper

  270. it ransML: A Family of Languages to Model Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S., Paige, R. F. & Santos, O. M. D., 2010, p. 106-120.

    Research output: Contribution to conferencePaper

  271. 2009
  272. Natural Scene Image Recognition by Fusing Weighted Colour Moments with Bag of Visual Patches on Spatial Pyramid Layout

    Alqasrawi, Y., Neagu, D. & Cowling, P. I., 30 Dec 2009, p. 140-145.

    Research output: Contribution to conferencePaper

  273. An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software

    Piccioni, M., Oriol, M., Meyer, B. & Schneider, T., 1 Nov 2009, p. 650--654. 4 p.

    Research output: Contribution to conferencePaper

  274. NoCScope: A graphical interface to improve Networks-on-Chip monitoring and design space exploration

    Moller, L., Indrusiak, L. S. & Glesner, M., 1 Nov 2009, p. 1 -6.

    Research output: Contribution to conferencePaper

  275. Blind and robust mesh watermarking using manifold harmonics

    Wang, K., Luo, M., Bors, A. G. & Denis, F., Nov 2009, p. 3657-3660. 4 p.

    Research output: Contribution to conferencePaper

  276. Software Assurance Arguments vs Formal Mathematical Arguments

    Habli, I., Stephenson, Z. R., Kelly, T. P. & McDermid, J. A., Nov 2009.

    Research output: Contribution to conferencePaper

  277. Characterising embedded applications using a UML profile

    Maatta, S., Indrusiak, L. S., Ost, L., Moller, L., Glesner, M., Moraes, F. G. & Nurmi, J., 1 Oct 2009, p. 172 -175.

    Research output: Contribution to conferencePaper

  278. Data, Intelligent Decision Support and Pattern Matching

    Hodge, V. J., Smith, M. & Austin, J., 23 Sep 2009.

    Research output: Contribution to conferencePaper

  279. T Cell Receptor Signalling Inspired Kernel Density Estimation and Anomaly Detection

    Owens, N. D. L., Greensted, A., Timmis, J. & Tyrrell, A., Aug 2009, p. 122-135. 13 p.

    Research output: Contribution to conferencePaper

  280. Deriving Safety Requirements for Autonomous Systems

    Alexander, R., Herbert, N. & Kelly, T., Jul 2009.

    Research output: Contribution to conferencePaper

  281. Intelligent Car Park Routeing for Road Traffic

    Hodge, V. J., Smith, M. & Austin, J., 22 Jun 2009, p. 326-333.

    Research output: Contribution to conferencePaper

  282. Optimising Activation of Bus Pre-signals

    Hodge, V. J., Jackson, T. & Austin, J., 22 Jun 2009, p. 344-353.

    Research output: Contribution to conferencePaper

  283. Anisotropic fluid solver for robust optical flow smoothing

    Doshi, A. & Bors, A. G., 6 May 2009, p. 117-120.

    Research output: Contribution to conferencePaper

  284. A Modified Dendritic Cell Algorithm for On-line Error Detection in Robotic Systems

    Mokhtar, M., Bi, R., Timmis, J. & Tyrrell, A. M., May 2009, p. 2055-2062. 8 p.

    Research output: Contribution to conferencePaper

  285. On the Effectiveness of Test Extraction without Overhead

    Leitner, A., Pretschner, A., Mori, S., Meyer, B. & Oriol, M., 1 Apr 2009, p. 416--425.

    Research output: Contribution to conferencePaper

  286. A Critique of the “Unmanned Systems Safety Guide for DoD Acquisition”

    Alexander, R., Herbert, N. & Kelly, T., 2009.

    Research output: Contribution to conferencePaper

  287. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, p. 594-601.

    Research output: Contribution to conferencePaper

  288. A JAVA bread-board simulator digital circuit simulation with an extensible e-learning tool

    Bailey, C. & Freeman, M. J., 2009, p. 299-306. 8 p.

    Research output: Contribution to conferencePaper

  289. A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

    White, D. & Poulding, S., 2009, p. 220-231. 12 p.

    Research output: Contribution to conferencePaper

  290. A high abstraction, high accuracy power estimation model for networks-on-chip

    Ost, L., Guindani, G., Indrusiak, L. S., Reinbrecht, C., Raupp, T. & Moraes, F., 2009, p. 31:1--31:6.

    Research output: Contribution to conferencePaper

  291. A unified model of specular and diffuse reflectance for rough, glossy surfaces

    Smith, W. A. P. & Hancock, E. R., 2009, p. 643-650.

    Research output: Contribution to conferencePaper

  292. Abstracting Complex Languages through Transformation and Composition

    Johannes, J., Zschaler, S., Fernández, M. A., Castillo, A., Kolovos, D. S. & Paige, R. F., 2009, p. 546-550.

    Research output: Contribution to conferencePaper

  293. An Analysis of Approaches to Model Migration

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2009.

    Research output: Contribution to conferencePaper

  294. Automatic Generation of Information-seeking Questions Using Concept Clusters

    Li, S. & Manandhar, S., 2009, p. 93-96.

    Research output: Contribution to conferencePaper

  295. Automatic Generation of Integrated Formal Models Corresponding to UML System Models

    Treharne, H., Turner, E., Paige, R. F. & Kolovos, D. S., 2009, p. 357-367.

    Research output: Contribution to conferencePaper

  296. Automatic Multilingual Lexicon Generation using Wikipedia as a Resource

    Shahid, A. R. & Kazakov, D., 2009, p. 357-360.

    Research output: Contribution to conferencePaper

  297. Automatic Test Data Generation for Multiple Condition and MCDC Coverage

    Ghani, K., Clark, J. A., Boness, K., Fernandes, J. M., Hall, J. G., Machado, R. J. & Oberhauser, R., 2009, p. 152-157. 6 p.

    Research output: Contribution to conferencePaper

  298. Background Subtraction in Video Using Recursive Mixture Models, Spatio-Temporal Filtering and Shadow Removal

    Chen, Z., Pears, N., Freeman, M. & Austin, J., 2009, p. 1141-1150.

    Research output: Contribution to conferencePaper

  299. Binary neural network based 3D facial feature localization

    Ju, Q., O'Keefe, S. & Austin, J., 2009, p. 1462-1469.

    Research output: Contribution to conferencePaper

  300. Clustering Morphological Paradigms Using Syntactic Categories

    Can, B. & Manandhar, S., 2009, p. 641-648.

    Research output: Contribution to conferencePaper

  301. CoSMoS: Complex Systems Modelling and Simulation Infrastructure (extended abstract)

    Stepney, S. & Welch, P. H., 2009.

    Research output: Contribution to conferenceAbstract

  302. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    Burns, A., Wellings, A. J. & Zhang, F., 2009, p. 119-133.

    Research output: Contribution to conferencePaper

  303. Comparing algorithms for search-based test data generation of Matlab

    Ghani, K., Clark, J. A. & Zhan, Y., 2009, p. 2940-2947.

    Research output: Contribution to conferencePaper

  304. Content Personalization for Inclusive Education through Model-Driven Engineering

    Power, C. & Paige, R. F., 2009, p. 102-109.

    Research output: Contribution to conferencePaper

  305. Cotranslational Protein Folding with L-systems

    Danks, G. B., Stepney, S., Caves, L. S. D., Kampis, G., Karsai, I. & Szathmáry, E., 2009, p. 289-296.

    Research output: Contribution to conferencePaper

  306. Detecting Compositionality in Multi-Word Expressions

    Korkontzelos, I. & Manandhar, S., 2009, p. 65-68.

    Research output: Contribution to conferencePaper

  307. Domain-Specific Metamodelling Languages for Software Language Engineering

    Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F. & Rashid, A., 2009, p. 334-353.

    Research output: Contribution to conferencePaper

  308. Duality of Actor and Character Goals in Virtual Drama

    Arinbjarnar, M. & Kudenko, D., 2009, p. 386-392.

    Research output: Contribution to conferencePaper

  309. Dynamic software updates for real-time systems

    Wahler, M., Richter, S. & Oriol, M., 2009, p. 1.

    Research output: Contribution to conferencePaper

  310. Educational Narrative and Student Modeling for Ill-Defined Domains

    HodHod, R. A., Kudenko, D. & Cairns, P. A., 2009, p. 638. 640 p.

    Research output: Contribution to conferencePaper

  311. Emerging Patterns for Testing Model Management Tools

    Rose, L. M., Kolovos, D. S., Paige, R. F., Gilliam, T. & Polack, F. A. C., 2009.

    Research output: Contribution to conferencePaper

  312. Environment orientation: an architecture for simulating complex systems

    Hoverd, T. & Stepney, S., 2009, p. 67-82.

    Research output: Contribution to conferencePaper

  313. Equation Discovery for Macroeconomic Modelling

    Kazakov, D. & Tsenova, T., 2009, p. 318-323.

    Research output: Contribution to conferencePaper

  314. Equivalence Arguments for Complex Systems Simulations: A Case-Study

    Ghetiu, T., Alexander, R., Andrews, P., Polack, F. & Bown, J., 2009.

    Research output: Contribution to conferencePaper

  315. Escaping the Non-Quantitative Trap

    Alexander, R. & Kelly, T., 2009.

    Research output: Contribution to conferencePaper

  316. FPTC: Automated Safety Analysis for Domain-Specific Languages

    Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 2009, p. 229-242.

    Research output: Contribution to conferencePaper

  317. From the gaming experience to the wider user experience

    Gámez, E. H. C., Cairns, P. A. & Cox, A. L., 2009, p. 520-523.

    Research output: Contribution to conferencePaper

  318. Gene regulation in a particle metabolome

    Hickinbotham, S. J., Clark, E., Stepney, S., Clarke, T. & Young, P., 2009, p. 3024-3031.

    Research output: Contribution to conferencePaper

  319. Goal-Based Safety Standards and COTS Software

    Menon, C., McDermid, J. A. & Hubbard, P., 2009.

    Research output: Contribution to conferenceOther

  320. Grammatical Evolution of L-systems

    Beaumont, D. & Stepney, S., 2009, p. 2446-2453.

    Research output: Contribution to conferencePaper

  321. Huge data but small programs: visualization design via multiple embedded DSLs

    Duke, D. J., Borgo, R., Runciman, C. & Wallace, M., 2009, p. 31-45. 14 p.

    Research output: Contribution to conferencePaper

  322. Hypergraphs, Characteristic Polynomials and the Ihara Zeta Function

    Ren, P., Aleksic, T., Wilson, R. C. & Hancock, E. R., 2009, p. 369-376.

    Research output: Contribution to conferencePaper

  323. Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems

    Zhang, F. & Burns, A., 2009, p. 76-86.

    Research output: Contribution to conferencePaper

  324. Improving Optimistic Exploration in Model-Free Reinforcement Learning

    Grzes, M. & Kudenko, D., 2009, p. 360-369.

    Research output: Contribution to conferencePaper

  325. Industrial Practice in Formal Methods: A Review

    Bicarregui, J., Fitzgerald, J. S., Larsen, P. G., Woodcock, J. C. P. & Dams, D., 2009, p. 810-813.

    Research output: Contribution to conferencePaper

  326. Investigating computer game immersion and the component real world dissociation

    Jennett, C., Cox, A. L. & Cairns, P. A., 2009, p. 3407-3412.

    Research output: Contribution to conferencePaper

  327. Knowledge-Based Reinforcement Learning for Data Mining

    Kudenko, D. & Grzes, M., 2009, p. 21-22.

    Research output: Contribution to conferencePaper

  328. Landmark Localisation in 3D Face Data

    Romero, M. & Pears, N., 2009, p. 73-78.

    Research output: Contribution to conferencePaper

  329. Losing functions without gaining data: another look at defunctionalisation

    Mitchell, N. & Runciman, C., 2009, p. 13--24.

    Research output: Contribution to conferencePaper

  330. Mathematics of Surfaces XIII, 13th IMA International Conference, York, UK, September 7-9, 2009

    Hancock, E. R., Martin, R. R. & Sabin, M. A., 2009.

    Research output: Contribution to conferencePaper

  331. Measuring users' emotional reactions to websites

    Petrie, H. & Harrison, C., 2009, p. 3847-3852.

    Research output: Contribution to conferencePaper

  332. Mechanised Translation of Control Law Diagrams into Circus

    Zeyda, F. & Cavalcanti, A., 2009, p. 151-166.

    Research output: Contribution to conferencePaper

  333. Modelling and simulation of granuloma formation in visceral leishmaniasis

    Flugge, A. J., Timmis, J., Andrews, P. S., Moore, J. W. J. & Kaye, P. M., 2009, p. 3052-3059.

    Research output: Contribution to conferencePaper

  334. Molecular Microprograms

    Hickinbotham, S. J., Clark, E., Stepney, S., Clarke, T., Nellis, A., Pay, M., Young, P., Kampis, G., Karsai, I. & Szathmáry, E., 2009, p. 297-304.

    Research output: Contribution to conferencePaper

  335. Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

    Aydal, E. G., Paige, R. F., Utting, M. & Woodcock, J., 2009, p. 131-140.

    Research output: Contribution to conferencePaper

  336. Quantum Teleportation of Wavepackets in a Non-Gaussian State

    Lee, N., Takeno, Y., Benichi, H., Yonezawa, H., Webb, J., Huntington, E., Mista, Jr., L., Filip, R., van Loock, P., Braunstein, S. L. & Furusawa, A., 2009, p. 2221-2222.

    Research output: Contribution to conferencePaper

  337. RBN-World: A Sub-symbolic Artificial Chemistry

    Faulconbridge, A., Stepney, S., Miller, J. F. & Caves, L. S. D., 2009, p. 377-384.

    Research output: Contribution to conferencePaper

  338. Re-evaluation of the role of the processor within embedded multiprocessor systems

    Freeman, M. & Bailey, C., 2009, p. 181-188. 8 p.

    Research output: Contribution to conferencePaper

  339. Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks

    Shi, Z. & Burns, A., 2009, p. 3-12.

    Research output: Contribution to conferencePaper

  340. Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009.

    Research output: Contribution to conferencePaper

  341. Reinforcement Learning in RoboCup KeepAway with Partial Observability

    Devlin, S., Grzes, M. & Kudenko, D., 2009, p. 201-208.

    Research output: Contribution to conferencePaper

  342. Representation and structural biases in CGP

    Payne, A. J. & Stepney, S., 2009, p. 1064-1071.

    Research output: Contribution to conferencePaper

  343. SPECULAR AND DIFFUSE REFLECTANCE IN MICROFACET MODELS

    Smith, W. A. P. & Hancock, E. R., 2009, p. 3737-3740.

    Research output: Contribution to conferencePaper

  344. Sketching sketching: outlines of a collaborative design method

    Craft, B. & Cairns, P. A., 2009, p. 65-72.

    Research output: Contribution to conferencePaper

  345. State Visibility and Communication in Unifying Theories of Programming

    Butterfield, A., Gancarski, P. & Woodcock, J., 2009, p. 47-54.

    Research output: Contribution to conferencePaper

  346. The Role of the Human in an Autonomous System

    Alexander, R. D., Herbert, N. J. & Kelly, T. P., 2009.

    Research output: Contribution to conferencePaper

  347. The SCOOP Concurrency Model in Java-like Languages

    Torshizi, F. A., Ostroff, J. S., Paige, R. F. & Chechik, M., 2009, p. 7-27.

    Research output: Contribution to conferencePaper

  348. The Use of Model Transformation in the INESS Project

    Santos, O. M. D., Woodcock, J., Paige, R. F. & King, S., 2009, p. 147-165.

    Research output: Contribution to conferencePaper

  349. The evaluation of accessibility, usability and user experience

    Petrie, H. & Bevan, N., 2009.

    Research output: Contribution to conferencePaper

  350. Theoretical and Empirical Analysis of Reward Shaping in Reinforcement Learning

    Grzes, M. & Kudenko, D., 2009, p. 337-344.

    Research output: Contribution to conferencePaper

  351. User Centred Design and Agile Software Development Processes: Friends or Foes?

    Petrie, H., 2009.

    Research output: Contribution to conferencePaper

  352. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, p. 4-6.

    Research output: Contribution to conferencePaper

  353. Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation

    Stepney, S., 2009, p. 369-376.

    Research output: Contribution to conferencePaper

  354. Visualising random boolean network dynamics

    Stepney, S., 2009, p. 1781-1782.

    Research output: Contribution to conferencePaper

  355. Web Accessibility Metrics: Effects of Different Computational Approaches

    Freire, A. P., Power, C., Petrie, H., Tanaka, E. H., Rocha, H. V. & Fortes, R. P. D. M., 2009, p. 664-673.

    Research output: Contribution to conferencePaper

  356. What Do Beginning CS Majors Know?

    Pedroni, M., Meyer, B. & Oriol, M., 2009, p. 0-4.

    Research output: Contribution to conferencePaper

  357. 2008
  358. Combining shape-from-shading and stereo using Gaussian-Markov random fields

    Haines, T. S. F. & Wilson, R. C., 8 Dec 2008, p. 1-4. 4 p.

    Research output: Contribution to conferencePaper

  359. Parts based generative models for graphs

    White, D. & Wilson, R. C., 8 Dec 2008, p. 1-4.

    Research output: Contribution to conferencePaper

  360. Multiple image disparity correction for 3-D scene representation

    Grum, M. & Bors, A. G., Oct 2008, p. 209-212. 4 p.

    Research output: Contribution to conferencePaper

  361. Experience Report: Visualizing Data through Functional Pipelines

    Duke, D., Borgo, R., Runciman, C. & Wallace, M., 1 Sep 2008, p. 379--382.

    Research output: Contribution to conferencePaper

  362. Course management with TrucStudio

    Pedroni, M., Oriol, M., Meyer, B., Albonico, E. & Angerer, L., 1 Aug 2008, p. 260.

    Research output: Contribution to conferencePaper

  363. Logitboost weka classifier speech segmentation

    Ziólko, B., Manandhar, S., Wilson, R. C. & Ziólko, M., 23 Jun 2008, p. 1297-1300. 4 p.

    Research output: Contribution to conferencePaper

  364. An Actor-Oriented Group Mobility Model for Wireless Ad Hoc Sensor Networks

    Ochirsuren, E., Indrusiak, L. S. & Glesner, M., 1 Jun 2008, p. 174 -179.

    Research output: Contribution to conferencePaper

  365. Segmentation of Biological Cell Images for Sonification

    Edwards, A. D. N., Hines, G. & Hunt, A., 1 May 2008, p. 128 -132.

    Research output: Contribution to conferencePaper

  366. Applying UML Interactions and Actor-Oriented Simulation to the Design Space Exploration of Network-on-Chip Interconnects

    Indrusiak, L. S., Ost, L., Moller, L., Moraes, F. & Glesner, M., 1 Apr 2008, p. 491 -494.

    Research output: Contribution to conferencePaper

  367. On the Predictability of Random Tests for Object-Oriented Software

    Ciupa, I., Pretschner, A., Leitner, A., Oriol, M. & Meyer, B., 1 Apr 2008, p. 72--81.

    Research output: Contribution to conferencePaper

  368. Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching

    Shi, Z. & Burns, A., 1 Apr 2008, p. 161 -170.

    Research output: Contribution to conferencePaper

  369. Identifying Perceptual Structures In Trademark Images

    Hodge, V. J., Hollier, G. P., Austin, J. & Eakins, J., 13 Feb 2008, p. 1-6. 6 p.

    Research output: Contribution to conferencePaper

  370. A Comparison of State-Based Modelling Tools for Model Validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, p. 278-296.

    Research output: Contribution to conferencePaper

  371. A New Paradigm for SpeckNets: Inspiration from Fungal Colonies

    Falconer, R., Bown, J., Hart, E. & Timmis, J., 2008, p. 90-95.

    Research output: Contribution to conferencePaper

  372. A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

    Cavalcanti, A. & Gaudel, M-C., 2008, p. 42-61.

    Research output: Contribution to conferencePaper

  373. A Theory of Pointers for the UTP

    Harwood, W., Cavalcanti, A. & Woodcock, J., 2008, p. 141-155.

    Research output: Contribution to conferencePaper

  374. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, p. 378-379.

    Research output: Contribution to conferencePaper

  375. Adaptable Lymphocytes for Artificial Immune Systems

    Andrews, P. S. & Timmis, J., 2008, p. 376-386.

    Research output: Contribution to conferencePaper

  376. Adaptive Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  377. An Artificial Immune System for Evolving Amino Acid Clusters Tailored to Protein Function Prediction

    Secker, A., Davies, M. N., Freitas, A. A., Timmis, J., Clark, E. & Flower, D. R., 2008, p. 242-253.

    Research output: Contribution to conferencePaper

  378. An Empirical Analysis of the Impact of Prioritised Sweeping on the DynaQ's Performance

    Grzes, M. & Kudenko, D., 2008, p. 1041-1051.

    Research output: Contribution to conferencePaper

  379. Analogue Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  380. Automatic extraction of notions from course material

    Pedroni, M., Oriol, M., Meyer, B. & Angerer, L., 2008, p. 251.

    Research output: Contribution to conferencePaper

  381. Automorphisms of transition graphs for a linear cellular automaton

    Powley, E. J. & Stepney, S., 2008, p. 55-68.

    Research output: Contribution to conferencePaper

  382. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity

    Amálio, N., Polack, F. & Zhang, J., 2008, p. 323-336.

    Research output: Contribution to conferencePaper

  383. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 249-263.

    Research output: Contribution to conferencePaper

  384. Detecting and Repairing Inconsistencies across Heterogeneous Models

    Kolovos, D., Paige, R. & Polack, F., 2008, p. 356--364.

    Research output: Contribution to conferencePaper

  385. Directions for Methodological Research in Information Visualization

    Craft, B. & Cairns, P. A., 2008, p. 44-50.

    Research output: Contribution to conferencePaper

  386. Display Registration for Device Interaction: a Proof of Principle Prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, p. 446-451.

    Research output: Contribution to conferencePaper

  387. Empirical Investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, p. 340-351.

    Research output: Contribution to conferencePaper

  388. Encoding it ircus Programs in ProofPowerZ

    Zeyda, F. & Cavalcanti, A., 2008, p. 218-237.

    Research output: Contribution to conferencePaper

  389. Enforcing Behaviour with Anonymity

    Wright, J. & Stepney, S., 2008.

    Research output: Contribution to conferencePaper

  390. Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

    Zuhily, A. & Burns, A., 2008, p. 410-424.

    Research output: Contribution to conferencePaper

  391. From immersion to addiction in videogames

    Seah, M. & Cairns, P. A., 2008, p. 55-63.

    Research output: Contribution to conferencePaper

  392. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, p. 214-217.

    Research output: Contribution to conferencePaper

  393. Getting Farther on Software Evolution via AOP and Reflection

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2008, p. 63-69.

    Research output: Contribution to conferencePaper

  394. Grand Challenge 7: Journeys in Non-Classical Computation

    Stepney, S., Abramsky, S., Adamatzky, A., Johnson, C. G., Timmis, J., Gelenbe, E., Abramsky, S. & Sassone, V., 2008, p. 407-421.

    Research output: Contribution to conferencePaper

  395. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, p. 207-216.

    Research output: Contribution to conferencePaper

  396. Graph Drawing using Quantum Commute Time

    Emms, D., Hancock, E. & Wilson, R., 2008, p. 3743-3746. 4 p.

    Research output: Contribution to conferencePaper

  397. Immune Systems and Computation: An Interdisciplinary Adventure

    Timmis, J., Andrews, P. S., Owens, N. D. L. & Clark, E., 2008, p. 8-18.

    Research output: Contribution to conferencePaper

  398. Immuno-Engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008.

    Research output: Contribution to conferencePaper

  399. Implementation and Application of Functional Languages

    Mitchell, N., Runciman, C., Chitil, O., Horváth, Z. & Zsók, V., 2008, p. 147-164. 18 p.

    Research output: Contribution to conferencePaper

  400. Innovations in measuring accessibility: theoretical and practical perspectives

    Petrie, H., Power, C., Adams, R., Hwang, F., Weber, G., Darzentas, J. S. & Velasco, C. A., 2008, p. 197-198.

    Research output: Contribution to conferencePaper

  401. Internalization, qualitative methods, and evaluation

    Faisal, S., Craft, B., Cairns, P. & Blandford, A., 2008, p. 1-8.

    Research output: Contribution to conferencePaper

  402. Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems

    Andrews, P. S., Sampson, A. T., Bjørndalen, J. M., Stepney, S., Timmis, J., Warren, D. N. & Welch, P. H., 2008, p. 17-24.

    Research output: Contribution to conferencePaper

  403. Investigating emergence by coarse graining Elementary Cellular Automata

    Weeks, A., Polack, F. & Stepney, S., 2008, p. 686-693.

    Research output: Contribution to conferencePaper

  404. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, p. 143-152.

    Research output: Contribution to conferencePaper

  405. Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation

    Servin, A. & Kudenko, D., 2008, p. 873-874.

    Research output: Contribution to conferencePaper

  406. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, p. 357-366.

    Research output: Contribution to conferencePaper

  407. Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching

    Mitchell, N. & Runciman, C., 2008, p. 49--60.

    Research output: Contribution to conferencePaper

  408. On the meaning of modes in uniprocessor real-time systems

    Martins, P. & Burns, A., 2008, p. 324-325.

    Research output: Contribution to conferencePaper

  409. POSIX and the Verification Grand Challenge: A Roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, p. 153-162.

    Research output: Contribution to conferencePaper

  410. Policy evolution with genetic programming

    Lim, YT., Cheng, PC. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaper

  411. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, p. 421-430.

    Research output: Contribution to conferencePaper

  412. Protein folding with stochastic L-Systems

    Danks, G., Stepney, S. & Caves, L., 2008, p. 150-157.

    Research output: Contribution to conferencePaper

  413. RBF shape histograms and their application to 3D face processing

    Pears, N., 2008, p. 1-8.

    Research output: Contribution to conferencePaper

  414. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, p. 157-166.

    Research output: Contribution to conferencePaper

  415. Reputation Attacks in Mediated and Automated Systems

    Rabaiotti, JR., Chivers, H. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaper

  416. Research methods for HCI

    Cox, A. L., Cairns, P. A., Thimbleby, H. W. & Webb, N., 2008, p. 221-222.

    Research output: Contribution to conferencePaper

  417. Reviewing and Evaluating Automatic Term Recognition Techniques

    Korkontzelos, I., Klapaftis, I. P. & Manandhar, S., 2008, p. 248-259.

    Research output: Contribution to conferencePaper

  418. Robustness Analysis of SARSA(lambda): Different Models of Reward and Initialisation

    Grzes, M. & Kudenko, D., 2008, p. 144-156.

    Research output: Contribution to conferencePaper

  419. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, p. 180-185.

    Research output: Contribution to conferencePaper

  420. Security of two-way quantum cryptography against asymmetric attacks - art. no. 709215

    Pirandola, S., Mancini, S., Lloyd, S. & Braunstein, S. L., 2008, p. 9215.

    Research output: Contribution to conferencePaper

  421. Simulating biology: towards understanding what the simulation shows

    Andrews, P. S., Polack, F., Sampson, A. T., Timmis, J. & Coles, M., 2008, p. 93-123.

    Research output: Contribution to conferencePaper

  422. Simulation and Prediction in Safety Case Evidence

    Alexander, R. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  423. Special track on Coordination Models, Languages and Architectures: editorial message

    Schumacher, M. I. & Wood, A., 2008, p. 80-81.

    Research output: Contribution to conferenceOther

  424. Strengthening inferred specifications using search based testing

    Ghani, K. & Clark, JA., 2008.

    Research output: Contribution to conferencePaper

  425. Structuring Safety Cases for Autonomous Systems

    Alexander, R., Herbert, N. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  426. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 1--16.

    Research output: Contribution to conferencePaper

  427. The Grand Challenge of Scalability for Model Driven Engineering

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, p. 48-53.

    Research output: Contribution to conferencePaper

  428. The Miracle of Reactive Programming

    Woodcock, J., 2008, p. 202-217.

    Research output: Contribution to conferencePaper

  429. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, p. 129-146.

    Research output: Contribution to conferencePaper

  430. The Role of Dependency Links in Ensuring Architectural View Consistency

    Radjenovic, A. & Paige, R. F., 2008, p. 199-208. 9 p.

    Research output: Contribution to conferencePaper

  431. The challenges faced by academia preparing students for industry: what we teach and what we do

    Oshlyansky, L., Cairns, P. A., Sasse, A. & Harrison, C., 2008, p. 203-204.

    Research output: Contribution to conferencePaper

  432. There's always one! modelling outlying user performance

    Schiller, J. & Cairns, P. A., 2008, p. 3513-3518.

    Research output: Contribution to conferencePaper

  433. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, p. 30-43. 13 p.

    Research output: Contribution to conferencePaper

  434. Towards an Executable Model of Auxin Transport Canalisation

    Garnett, P., Stepney, S. & Leyser, O., 2008, p. 63-91.

    Research output: Contribution to conferencePaper

  435. UTP Semantics for Handel-C

    Perna, J. I. & Woodcock, J., 2008, p. 142-160.

    Research output: Contribution to conferencePaper

  436. Unifying Theories of Interrupts

    McEwan, A. A. & Woodcock, J., 2008, p. 122-141.

    Research output: Contribution to conferencePaper

  437. Unit Testing Model Management Operations

    Kolovos, D. S., Paige, R. F., Rose, L. M. & Polack, F. A. C., 2008.

    Research output: Contribution to conferencePaper

  438. WHERE? Risk, Uncertainty and Software Safety

    McDermid, J. A., 2008.

    Research output: Contribution to conferencePaper

  439. Web Accessibility: Automatic/Manual Evaluation and Authoring Tools

    Petrie, H., Power, C. & Weber, G., 2008, p. 334-337.

    Research output: Contribution to conferencePaper

  440. 2007
  441. Integrative Hybrid Modelling of Plant Shoot Branching

    Garnett, P., Stepney, S. & Leyser, O., 1 Nov 2007, p. 9.1-9.5.

    Research output: Contribution to conferencePaper

  442. Triphone Statistics for Polish Language

    Ziólko, B., Galka, J., Manandhar, S., Wilson, R. C. & Ziólko, M., 5 Oct 2007, p. 63-73.

    Research output: Contribution to conferencePaper

  443. Spectral Generative Models for Graphs

    White, D. & Wilson, R. C., 10 Sep 2007, p. 35-42. 7 p.

    Research output: Contribution to conferencePaper

  444. PLAZZMID: an evolutionary agent-based architecture inspired by bacteria and bees

    Stepney, S., Clarke, T. & Young, P., 1 Sep 2007, p. 1151-60.

    Research output: Contribution to conferenceOther

  445. Proc. British Machine Vision Conference (BMVC), vol II: Navier-Stokes Formulation for Modelling Turbulent Optical Flow

    Doshi, A. & Bors, A. G., Sep 2007, p. 640-649.

    Research output: Contribution to conferencePaper

  446. Refining Implicit Function Representations of 3-D Scenes: Proc. British Machine Vision Conference(BMVC), vol. II

    Grum, M. & Bors, A. G., Sep 2007, p. 710-719.

    Research output: Contribution to conferencePaper

  447. A UML Profile for Knowledge-Based Systems Modelling

    Abdullah, M. S., Paige, R. F., Kimble, C. & Benest, I. D., 20 Aug 2007, p. 871-878.

    Research output: Contribution to conferencePaper

  448. Evolutionary search applied to reconfigurable analogue control

    Clegg, K., Stepney, S. & Clarke, T., 1 Aug 2007, p. 593-6.

    Research output: Contribution to conferenceOther

  449. On Immune Inspired Homeostasis for Electronic Systems

    Owens, N., Timmis, J., Greensted, A. & Tyrrell, A., 1 Aug 2007, p. 216-227.

    Research output: Contribution to conferenceOther

  450. A framework for describing and comparing courses and curricula

    Pedroni, M., Oriol, M. & Meyer, B., 1 Jun 2007, p. 131.

    Research output: Contribution to conferencePaper

  451. Suggestions for stream based parallel systems in Ada

    Ward, M. & Audsley, N. C., 17 Apr 2007, p. 82-87. 6 p.

    Research output: Contribution to conferencePaper

  452. Evolvable Hardware: a Fundamental Technology for Homeostasis

    Tyrrell, A. M., Timmis, J., Greensted, A. J. & Owens, N., 1 Apr 2007, p. 40-45.

    Research output: Contribution to conferenceOther

  453. Challenges when using Model-Driven Architecture in the development of Safety Critical Software

    Conmy, P. & Paige, R. F., 31 Mar 2007, p. 127-136. 9 p.

    Research output: Contribution to conferencePaper

  454. A Denotational Semantics for Handel-C Hardware Compilation

    Perna, J. I. & Woodcock, J., 2007, p. 266-285.

    Research output: Contribution to conferencePaper

  455. A Human Action Recognition System for Embedded Computer Vision Application

    Meng, H., Pears, N. & Bailey, C., 2007.

    Research output: Contribution to conferencePaper

  456. A Navigation-based Algorithm for Matching Scenario Patterns

    Ma, J., Zhao, G. & Hancock, E. R., 2007, p. 151-157.

    Research output: Contribution to conferencePaper

  457. A New Framework for Grayscale and Colour Non-lambertian Shape-from-Shading

    Smith, W. A. P. & Hancock, E. R., 2007, p. 869-880.

    Research output: Contribution to conferencePaper

  458. A Novel Approach to the Detection of Cheating in Multiplayer Online Games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, p. 97-106.

    Research output: Contribution to conferencePaper

  459. A Static Checker for Safe Pattern Matching in Haskell

    Mitchell, N., Runciman, C. & Eekelen, M. V., 2007, p. 15-30.

    Research output: Contribution to conferencePaper

  460. A functional-logic library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, p. 37--48.

    Research output: Contribution to conferencePaper

  461. APD-A Tool for Identifying Behavioural Patterns Automatically from Clickstream Data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, p. 66-73.

    Research output: Contribution to conferencePaper

  462. Abstraction and Reformulation in the Generation of Constraint Models

    Frisch, A. M., 2007, p. 2-3.

    Research output: Contribution to conferencePaper

  463. Accessibility 2.0: people, policies and processes

    Kelly, B., Sloan, D., Brown, S., Seale, J., Petrie, H., Lauke, P. & Ball, S., 2007, p. 138-147.

    Research output: Contribution to conferencePaper

  464. Accessibility in non-professional web authoring tools: a missed web 2.0 opportunity?

    Power, C. & Petrie, H., 2007, p. 116-119.

    Research output: Contribution to conferencePaper

  465. Advanced Structural Representations for Question Classification and Answer Re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S., Basili, R., Amati, G., Carpineto, C. & Romano, G., 2007, p. 234-245.

    Research output: Contribution to conferencePaper

  466. Aggregation of Information leaked by a MANET

    Murdoch, J., Clark, J. A., McDermid, J. A., Chivers, H. R. & Worthington, O., 2007.

    Research output: Contribution to conferencePaper

  467. An Analysis of Problem Difficulty for a Class of Optimisation Heuristics

    Ridge, E. & Kudenko, D., 2007, p. 198-209.

    Research output: Contribution to conferencePaper

Previous 1 2 3 Next