Search research publications and outputs

  1. 2022
  2. Imitating Playstyle with Dynamic Time Warping Imitation

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

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

  3. Investigating Human Error Within GoA-2 Metro Lines

    Hunter, J. & McDermid, J. A., 20 May 2022, (E-pub ahead of print) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, Cham, Vol. 13294. p. 179-191 18 p. (Lecture Notes in Computer Science).

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

  4. A Framework for Generating Informative Benchmark Instances

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

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

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

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

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

  6. Sensors and Data in Mobile Robotics for Localisation

    Hodge, V. J., 14 Feb 2022, (Accepted/In press) Encyclopedia of Data Science and Machine Learning. IGI Global

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Consumerism, Contradictions, Counterfactuals: Shaping the Evolution of Safety Engineering

    McDermid, J. A., Porter, Z. & Jia, Y., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 15-36 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Could the Introduction of Assured Autonomy Change Accident Outcomes?

    Daniels, D., Hobbs, C., McDermid, J. A., Parsons, M. S. & Twomey, B., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 229 264 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Measuring player creativity in digital entertainment games using the Creativity in Gaming Scale

    Hall, J., Herodotou, C. & Iacovides, I., 26 Jan 2022, Open World Learning Research, Innovation and the Challenges of High-Quality Education. Rienties, B., Hampel, R., Scanlon, E. & D. W. (eds.). 1st ed. Routledge, 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 2021
  11. An XGBoost Model for Age Prediction from COVID-19 Blood Test

    Qomariyah, N. N., Purwita, A. A., Astriani, M. S., Asri, S. D. A. & Kazakov, D. L., 16 Dec 2021, Proceedings of the 4th International Seminar on Research of Information Technology and Intelligent Systems (ISRITI). IEEE, 7 p.

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

  12. HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems

    Jiang, Z., Dai, X. & Audsley, N. C., 7 Dec 2021, IEEE Real-Time Systems Symposium. IEEE, p. 290-303

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

  13. Human Point Cloud Generation using Deep Learning

    Spick, R., Bradley, T., Williams, N. & Walker, J. A., 6 Dec 2021, The 18th ACM SIGGRAPH European Conference on Visual Media Production. ACM

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

  14. Tradeoffs with physical delay feedback reservoir computing

    Gan, T., Stepney, S. & Trefzer, M. A., 5 Dec 2021, 2021 IEEE Symposium Series on Computational Intelligence (SSCI).

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

  15. Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics

    Dale, M., O'Keefe, S., Sebald, A., Stepney, S. & Trefzer, M. A., 11 Oct 2021, UCNC 2021: Unconventional Computation and Natural Computation. Springer, Vol. 12984. p. 19 34 p. (LNTCS; vol. 12984, no. 1).

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

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

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

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

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

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

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

  18. Binding Fault Logic to System Design: A SysML Approach

    McDermid, J. A., Clegg, K. D. & Stamp, D., 19 Sep 2021, Proceedings of the 32st European Safety and Reliability Conference: ESREL 2021. Castanier, B., Cepin, M., Bigaud, D. & Berenguer, C. (eds.). Research Publishing Services, p. 880-887 8 p.

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

  19. Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions

    Tisi, M., Bruneliere, H., de Lara, J., Di Ruscio, D. & Kolovos, D., 31 Aug 2021, Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021, Proceedings. Dolgui, A., Bernard, A., Lemoine, D., von Cieminski, G. & Romero, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 351-359 9 p. (IFIP Advances in Information and Communication Technology; vol. 630 IFIP).

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

  20. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 13 Aug 2021, International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  21. A High-Sensitivity Mems Gravimeter without a Vacuum Chamber

    Xu, X. C., Wang, Q., Tian, J., Fang, Y. Y., Yang, L. J., Zhao, C., Hu, F. & Tu, L., 6 Aug 2021, 21st International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2021. Institute of Electrical and Electronics Engineers Inc., p. 226-229 4 p. (21st International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2021).

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

  22. Reservoir Computing in Material Substrates

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 6 Aug 2021, Reservoir Computing: Theory, Physical Implementations, and Applications. Nakajima, K. & Fischer, I. (eds.). Springer, p. 141-166 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Engineering of Digital Twins for Cyber-Physical Systems

    Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-53 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

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

  24. Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

    Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

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

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

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

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

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

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

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

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

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

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

  28. Thermal Characterisation of Unweighted and Weighted Networks

    Wang, J., Wu, H. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1641-1648 8 p.

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

  29. fMRI Brain Networks as Statistical Mechanical Ensembles

    Wu, H., Wang, J. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1694-1700 7 p.

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

  30. Utilizing the Untapped Potential of Indirect Encoding for Neural Networks with Meta Learning

    Katona, A., Machado, P., Lourenco, N., Franks, D. W. & Walker, J. A., 7 Apr 2021, EvoApplications 2021: Applications of Evolutionary Computation. Springer

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

  31. Maintaining driver attentiveness in shared-control autonomous driving

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

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

  32. An Architecture for the Development of Distributed Analytics Based on Polystore Events

    Zolotas, A., Barmpis, K., Medhat, F., Neubauer, P., Kolovos, D. & Paige, R. F., 4 Mar 2021, Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2020 and DMAH 2020, Revised Selected Papers. Gadepally, V., Mattson, T., Stonebraker, M., Kraska, T., Wang, F., Luo, G., Kong, J. & Dubovitskaya, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 54-65 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12633 LNCS).

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

  33. An “As Desired” Model of the Software Safety Assurance Lifecycle

    Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

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

  34. A Human Ear Reconstruction Autoencoder: HERA

    Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: VISIGRAPP 2021. SCITEPRESS – Science and Technology Publications, Vol. 5. p. 136-145 10 p.

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

  35. An Initial Framework Assessing the Safety of Complex Systems

    McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. FatNet: A Feature-attentive Network for 3D Point Cloud Processing

    Kaul, C., Pears, N. E. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition. Springer International Publishing

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

  37. Penalizing small errors using an Adaptive Logarithmic Loss

    Kaul, C., Pears, N. E., Dai, H., Murray-Smith, R. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition: AIHA-2020 – ICPR International Workshop on Artificial Intelligence for Healthcare Applications. Springer International Publishing

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

  38. Region-based Non-local Operation for Video Classification

    Huang, G. & Bors, A. G., 10 Jan 2021, Proc. International Conference on Pattern Recognition (ICPR). Milan, Italy: IEEE, 8 p.

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

  39. HSS-GCN: A Hierarchical Spatial Structural Graph Convolutional Network for Vehicle Re-identification

    Xu, Z., Wei, L., Lang, C., Feng, S., Wang, T. & Bors, A. G., 9 Jan 2021, Proc. ICPR's Int. Workshop on Human and Vehicle Analysis for Intelligent Urban Computing (IUC). Milan, Italy: Springer, Vol. 12665. p. 356-364 8 p. (Lecture Notes in Computer Science).

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

  40. Open Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical Systems

    Bate, I. J. & Harney, L., 1 Jan 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium (SSS’21) 9th-11th February 2021. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, p. 63-82 19 p.

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

  41. Robot Narratives

    Walsh, R., Sanz Orell, M., Bown, J., Winfield, A. F. T. & Stepney, S., 2021, Handbook of Unconventional Computing: Volume 1 : Theory. Adamatzky, A. (ed.). World Scientific Publishing, Vol. 1. p. 221-246 (WSPC Book Series in Unconventional Computing).

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

  42. Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

    Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J., 2021, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12863 LNCS).

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

  43. 2020
  44. Learning safe neural network controllers with barrier certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 9 Nov 2020, Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 177-185 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12153 LNCS).

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

  45. Warwick Data Store: A Data Structure Abstraction Library

    Kirk, R. O., Nolten, M., Kevis, R., Law, T. R., Maheswaran, S., Wright, S. A., Powell, S., Mudalige, G. R. & Jarvis, S. A., Nov 2020, Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 71-85 15 p. 9307883. (Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

  46. Towards a low-code solution for monitoring machine learning model performance

    Kourouklidis, P., Kolovos, D., Matragkas, N. & Noppen, J., 26 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. Association for Computing Machinery, Inc, p. 423-430 8 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

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

  47. To build, or not to build: ModelFlow, a build solution for MDE projects

    Sanchez, B., Kolovos, D. & Paige, R., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020).

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

  48. Re-Thinking Mixed-Criticality Architecture for Automotive Industry

    Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).

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

  49. 3D Face Recognition

    Pears, N. E. & Mian, A., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 569-630 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. 3D Morphable Models: The Face, Ear and Head

    Dai, H., Pears, N. E., Huber, P. & Smith, W. A. P., 12 Sep 2020, 3D Imaging, Analysis and Applications. 2 ed. Springer International Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Introduction to 3D Imaging, Analysis and Applications

    Brunger, J., Koch, R., Pears, N. E., Liu, Y. & Rosin, P., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. London: Springer Nature Switzerland AG, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. Passive 3D Imaging

    Se, S. & Pears, N. E., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 39-107 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Estimating Facial Aging Using Light Scattering Photometry

    Dahlan, H. A. & Hancock, E. R., 1 Sep 2020, Advances in Photometric 3D-Reconstruction. Durou, J-D., Falcone, M., Quéau, Y. & Tozza, S. (eds.). Cham: Springer International Publishing, p. 205-232 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  54. How Systems Engineering and Systems Thinking Enable Innovation

    Beasley, R. & Ingram, C., 18 Jul 2020, 30th INCOSE International Symposium. International Council for Systems Engineering

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

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

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

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

  56. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Cavalcanti, A., 22 May 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. 3-5 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

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

  57. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

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

  58. Estimating Material Parameters Using Light Scattering Model and Polarization

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Jan 2020, Computational Science and Technology - 6th ICCST 2019. Alfred, R., Lim, Y., Haviluddin, H. & On, C. K. (eds.). Springer-Verlag, p. 405-414 10 p. (Lecture Notes in Electrical Engineering; vol. 603).

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

  59. HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

    Camara Moreno, J., 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).

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

  60. Intelligent Run-Time Partitioning of Low-Code System Models

    Jahanbin, S., Kolovos, D. & Gerasimou, S., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: Association for Computing Machinery (ACM), (MODELS '20).

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

  61. Model-Based Analysis of Microservice Resiliency Patterns

    Camara Moreno, J., Garlan, D., Nabor, M. & Mendes Aderaldo, C., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  62. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

    Camara Moreno, J., Muccini, H. & Vaidhyanathan, K., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  63. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems

    Camara Moreno, J., Garlan, D., Schmerl, B. & Li, N., 2020, Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS 2020).

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

  64. Safety of Artificial Intelligence: A Collaborative Model

    McDermid, J. A. & Jia, Y., 2020, AISafety@IJCAI. CEUR Workshop Proceedings

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

  65. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots

    Camara Moreno, J., Garlan, D. & Schmerl, B., 2020, Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020).

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

  66. 2019
  67. Linear-Time Graph Algorithms in GP 2

    Campbell, G., Courtehoute, B. & Plump, D., 25 Nov 2019, Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPICS); vol. 139).

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

  68. Improving Local Trajectory Optimisation using Probabilistic Movement Primitives

    Shyam, RB., Lightbody, P., Das, G., Liu, P., Gomez-Gonzalez, S. & Neumann, G., 6 Nov 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE

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

  69. Modelflow: Towards reactive model management workflows

    Sanchez, B., Kolovos, D. S. & Paige, R., 20 Oct 2019, DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. Rossi, M. & Sprinkle, J. (eds.). Association for Computing Machinery, Inc, p. 30-39 10 p. (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019).

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

  70. Testing Robots Using CSP

    Cavalcanti, A., Baxter, J., Hierons, R. M. & Lefticaru, R., 23 Sep 2019, Tests and Proofs - 13th International Conference, TAP 2019, held as part of the 3rd World Congress on Formal Methods 2019, Proceedings. Beyer, D. & Keller, C. (eds.). Springer, p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11823 LNCS).

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

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

  72. Engineering hybrid graphical-textual languages with sirius and xtext: Requirements and challenges

    Cooper, J. & Kolovos, D., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 322-325 4 p. 8904580. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).

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

  73. On the challenges of model decorations for capturing complex metadata

    Hoyos Rodriguez, H., Zolotas, A., Kolovos, D. & Paige, R. F., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 347-353 7 p. 8904658. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).

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

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

  75. Development and Evaluation of a Novel Robotic System for Search and Rescue

    Cachia, A., Huda, M. N., Liu, P., Saha, C., Tickle, A. J., Arvanitakis, I. & Aziz, S. M., 17 Jul 2019, 20th Towards Autonomous Robotic Systems Conference.

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

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

  77. Graph Edge Entropy in Maxwell-Boltzmann Statistics for Alzheimer's Disease Analysis

    Wang, J., Wilson, R. C. & Hancock, E. R., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. p. 56-66 11 p.

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

  78. Network Embedding by Walking on the Line Graph

    Lozano, M. A., Curado, M., Escolano, F. & Hancock, E. R., 11 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Foggia, P., Conte, D. & Ramel, J-Y. (eds.). Springer, Vol. 11510. p. 215-225 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11510 LNCS).

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

  79. Network Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 11 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Conte, D., Ramel, J-Y. & Foggia, P. (eds.). Springer, Vol. 11510. p. 194-203 10 p. (Lecture Notes in Computer Science).

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

  80. Hidden Markov Models: an application to Ecological Momentary Assessment of Schizophrenia

    Hulme, W., Stockton-Powdrell, C., Lewis, S., Habli, I., Martin, G., Bucci, S., Parsia, B., Casson, A. & Peek, N., 5 Jun 2019, 32th IEEE CBMS International Symposium on Computer-Based Medical Systems.

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

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

  82. Towards systematic engineering of collaborative heterogeneous robotic systems

    Gerasimou, S., Matragkas, N. & Calinescu, R., 27 May 2019, 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE). IEEE, p. 25-28 4 p.

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

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

  84. Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots

    Camara Moreno, J., Jamshidi, P., Kästner, C., Garlan, D. & Schmerl, B., May 2019, Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) .

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

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

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

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

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

  89. 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)peer-review

  90. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, (E-pub ahead of print) 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

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

  92. Energy-efficient design and control of a vibro-driven robot

    Liu, P., Neumann, G., Fu, Q., Pearson, S. & Yu, H., 7 Jan 2019, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 1464-1469 6 p.

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

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

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

  95. 2018
  96. Cyber-physical systems engineering: An introduction

    Gibson, J. P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 407-410 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11246 LNCS).

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

  97. How do we teach modelling and model-driven engineering? A survey

    Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 122-129 8 p.

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

  98. Towards a body of knowledge for model-based software engineering

    Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 82-89 8 p.

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

  99. Evolutionary MCTS for Multi-Action Adversarial Games

    Baier, H. & Cowling, P. I., 11 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490403

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

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

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

  102. BlueVisor: A scalable real-time hardware hypervisor for many-core embedded systems

    Jiang, Z., Audsley, N. C. & Dong, P., 8 Aug 2018, Proceedings - 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018. Pellizzoni, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 75-84 10 p. 8430067

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

  103. Security verification for vacuum fluctuation based quantum random number generator

    Kordts, A., Lupo, C., Nikolic, D. S., Pedersen, T. B., Gehring, T. & Andersen, U. L., 6 Aug 2018, 2018 Conference on Lasers and Electro-Optics, CLEO 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8426874

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

  104. A Preliminary Survey of Analyzing Dynamic Time-Varying Financial Networks Using Graph Kernels

    Cui, L., Bai, L., Rossi, L., Zhang, Z., Jiao, Y. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 237-247 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  105. Deep Supervised Hashing with Information Loss

    Zhang, X., Zhou, L., Bai, X. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 395-405 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  106. Directed Network Analysis Using Transfer Entropy Component Analysis

    Wu, M., Zeng, Y., Zhang, Z., Hong, H., Xu, Z., Cui, L., Bai, L. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 491-500 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  107. Plenoptic Imaging for Seeing Through Turbulence

    Wilson, R. C. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 367-375 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  108. Quantum Edge Entropy for Alzheimer's Disease Analysis

    Wang, J., Wilson, R. C. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 449-459 11 p.

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

  109. Reservoir Computing with Computational Matter

    Konkoli, Z., Nichele, S., Dale, M. & Stepney, S., 20 Jul 2018, Computational Matter. Stepney, S., Amos, M. & Rasmussen, S. (eds.). 1 ed. Springer, Vol. 1. p. 269-293 25 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  113. Neuroevolution of hierarchical reservoir computers

    Dale, M., 2 Jul 2018, Genetic and Evolutionary Computation Conference: GECCO '18: Proceedings of the Genetic and Evolutionary Computation Conference. ACM Digital Library, p. 410-417 8 p.

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

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

  115. Structuring Clinical Decision Support rules for drug safety using Natural Language Processing

    Despotou, G., Korkontzelos, I., Matragkas, N., Bilici, E. & Arvanitis, T. N., 3 Jun 2018, Data, Informatics and Technology: An Inspiration for Improved Healthcare. Hasman, A., Gallos, P., Liaskos, J., Househ, M. S. & Mantas, J. (eds.). IOS Press, p. 89-92 4 p. (Studies in Health Technology and Informatics (HTI); vol. 251).

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

  116. Security verification for vacuum fluctuation based quantum random number generator

    Kordts, A., Lupo, C., Nikolic, D. S., Pedersen, T. B., Gehring, T. & Andersen, U. L., May 2018, CLEO: Applications and Technology, CLEO_AT 2018. OSA - The Optical Society, Vol. Part F92-CLEO_AT 2018.

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

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

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

  119. 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)peer-review

  120. 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. (IEEE Real-Time Systems Symposium (RTSS)).

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

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

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

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

  124. Modelling and verification for swarm robotics

    Cavalcanti, A., Miyazawa, A., Sampaio, A., Li, W., Ribeiro, P. & Timmis, J., 1 Jan 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings. Springer-Verlag, Vol. 11023 LNCS. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11023 LNCS).

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

  125. A Mixed Entropy Local-Global Reproducing Kernel for Attributed Graphs

    Cui, L., Bai, L., Rossi, L., Zhang, Z., Xu, L. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 501-511 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

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

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

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

  129. Dirichlet Densifiers: Beyond Constraining the Spectral Gap

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 512-521 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  130. From Formalised State Machines to Implementations of Robotic Controllers

    Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  135. Iterative Deep Subspace Clustering

    Zhou, L., Wang, S., Bai, X., Zhou, J. & 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. 42-51 10 p.

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

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

  137. Printable Soft Grippers with Integrated Bend Sensing for Handling of Crops

    Elgeneidy, K., Liu, P., Pearson, S., Lohse, N. & Neumann, G., 2018, Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. Vol. 10965. p. 479 1 p.

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

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

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

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

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

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

  143. Towards real-time robotic motion planning for grasping in cluttered and uncertain environments

    Liu, P., ElGeneidy, K., Pearson, S., Huda, M. N. & Neumann, G., 2018, Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. Vol. 10965. p. 481 1 p.

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

  144. 2017
  145. Mixed Type Multi-attribute Pairwise Comparisons Learning

    Qomariyah, N. N. & Kazakov, D. L., 18 Dec 2017, Proc. of the 16th IEEE International Conference on Machine Learning and Applications (ICMLA 2017). IEEE, p. 1094-1097

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

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

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

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

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

  150. 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)peer-review

  151. Avoiding Useless Mutants

    Fernandes, L., Gheyi, R., Cavalcanti, A., Ribeiro, M., Mongiovi, M., Ferrari, F., Carvalho, L., Santos, A. & Maldonado, J. C., 23 Oct 2017, GPCE 2017 - Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2017. Association for Computing Machinery, Inc, p. 187-198 12 p.

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

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

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

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

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

  156. 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)peer-review

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

  158. Model-connected safety cases

    Matragkas, N., Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D. & Shavria, S., 2 Aug 2017, Model-Based Safety and Assessment. Bozzano, M. & Papadopoulos, Y. (eds.). Springer, p. 50-63 14 p. (Lecture Notes in Computer Science ; vol. 10437).

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

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

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

  161. Hybridisation of Artificial Bee Colony Algorithm on Four Classes of Real-valued Optimisation Functions

    Sharma, M. & Kazakov, D. L., 15 Jul 2017, GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion. p. 1439-1442 4 p. (GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion).

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

  162. Harmonic analysis and resynthesis of Sliding-Tile Puzzle heuristics

    Swan, J., 5 Jul 2017, 2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 516-524 9 p. 7969355

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

  163. Reservoir computing in materio: A computational framework for in materio computing

    Dale, M., Stepney, S., Miller, J. F. & Trefzer, M. A., 3 Jul 2017, International Joint Conference on Neural Networks (IJCNN). IEEE, p. 2178-2185

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

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

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

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

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

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

  169. 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)peer-review

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

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

  172. Exploring techniques to improve large-scale drainage system maintenance scheduling using a risk driven model

    Chen, Y., Polack, F., Cowling, P., Mourdjis, P. & Remde, S., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Vitoriano, B. & Parlier, G. H. (eds.). Springer-Verlag, Vol. 695. p. 161-179 19 p. (Communications in Computer and Information Science; vol. 695).

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

  173. Quantifying Correlation between Financial News and Stocks

    Qu, H. & Kazakov, D. L., 13 Feb 2017, IEEE Symposium on Computational Intelligence for Financial Engineering and Economics (CIFEr). Athens: IEEE

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

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

  175. A stepwise approach to linking theories

    Ribeiro, P., Cavalcanti, A. & Woodcock, J., 11 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer-Verlag, p. 134-154 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

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

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

  177. UTP semantics of reactive processes with continuations

    Ngondi, G. E. & Woodcock, J., 11 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer-Verlag, p. 114-133 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

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

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

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

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

  181. 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, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

  190. 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)peer-review

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

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

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

  194. 2016
  195. 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

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

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

    Kriege, N., Giscard, P-L. & Wilson, R. C., 6 Dec 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). 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

  198. Modelling and dynamic analysis of underactuated capsule systems with friction-induced hysteresis

    Liu, P., Yu, H. & Cang, S., 1 Dec 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 549-554 6 p.

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

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

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

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

  202. Model-based design of resource-efficient automotive control software

    Chang, W., Roy, D., Zhang, L. & Chakraborty, S., Nov 2016, International Conference on Computer-Aided Design (ICCAD). 9 p.

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

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

  204. Robot-assisted smart firefighting and interdisciplinary perspectives

    Liu, P., Yu, H., Cang, S. & Vladareanu, L., 24 Oct 2016, 2016 22nd International Conference on Automation and Computing (ICAC). p. 395-401 7 p.

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

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

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

  207. Human factors in the adoption of model-driven engineering: An educator’s perspective

    Cabot, J. & Kolovos, D. S., 14 Oct 2016, Advances in Conceptual Modeling - ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Proceedings. Link, S. & Trujillo, J. C. (eds.). Springer-Verlag, p. 207-217 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9975 LNCS).

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

  208. Heterogeneous semantics and unifying theories

    Woodcock, J., Foster, S. & Butterfield, A., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 374-394 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

  209. Collaborative modeling and simulation for cyber-physical systems

    Larsen, P. G., Fitzgerald, J., Woodcock, J. & Lecomte, T., 3 Oct 2016, Trustworthy Cyber-Physical Systems Engineering. CRC Press, p. 177-198 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

    Law, S. A. & Bate, I., 1 Sep 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

  216. 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, (E-pub ahead of print) 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

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

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

  219. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

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

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

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

  233. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 18 Jan 2016, 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

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

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

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

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

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

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

  240. 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)peer-review

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

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

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

  244. 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)peer-review

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

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

  247. 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)peer-review

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

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

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

  251. Multi-objective co-optimization of FlexRay-based distributed control systems

    Roy, D., Zhang, L., Chang, W., Goswami, D. & Chakraborty, S., 2016, IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

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

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

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

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

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

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

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

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

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

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

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

  263. Using Process Models in System Assurance

    Hawkins, R., Richardson, T. & Kelly, T., 2016, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings. Skavhaug, A., Guiochet, J. & Bitsch, F. (eds.). p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9922 LNCS).

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

  264. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply

    Mourdjis, P., Chen, Y., Polack, F., Cowling, P. & Robinson, M., 2016, Hybrid Metaheuristics - 10th International Workshop, HM 2016, Proceedings: 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings. Cangelosi, A., Talbi, E-G., Blum, C., Cutello, V., Pavone, M., Blesa, M. J. & di Nuovo, A. (eds.). Springer-Verlag, Vol. 9668. p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 9668).

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

  265. 2015
  266. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  296. Comparative study of different output metrics for a three weakly coupled resonator sensor

    Zhao, C., Wood, G. S., Xie, J., Chang, H., Pu, S. H. & Kraft, M., 5 Aug 2015, 2015 Transducers - 2015 18th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2015. Institute of Electrical and Electronics Engineers Inc., p. 2196-2199 4 p. 7181396. (2015 Transducers - 2015 18th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2015).

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

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

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

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

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

  301. Type inference in flexible model-driven engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 17 Jul 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  321. 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)peer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  338. 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)peer-review

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

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

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

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

  343. 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)peer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  363. On periodically pendulum-diven systems for underactuated locomotion: A viscoelastic jointed model

    Liu, P., Yu, H. & Cang, S., 2015, 2015 21st International Conference on Automation and Computing (ICAC). p. 1-6 6 p.

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

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

  365. Predicting Purchase Decisions in Mobile Free-to-Play Games

    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-85 7 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  383. 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)peer-review

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

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

  386. Theory and practice of model transformations: 8th International Conference, ICMT 2015 held as part of STAF 2015 L’Aquila, Italy, July 20-21, 2015 proceedings

    Kolovos, D. & Wimmer, M., 2015, Theory and Practice of Model Transformations - 8th International Conference, ICMT 2015 held as Part of STAF 2015, Proceedings. Kolovos, D. & Wimmer, M. (eds.). Springer-Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9152).

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

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

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

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

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

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

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

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

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

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

  396. 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)peer-review

  397. 2014
  398. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  425. Models of OSS project meta-information: A dataset of three forges

    Williams, J. R., Di Ruscio, D., Matragkas, N., Di Rocco, J. & Kolovos, D. S., 31 May 2014, 11th Working Conference on Mining Software Repositories, MSR 2014 - Proceedings. Association for Computing Machinery (ACM), p. 408-411 4 p. (11th Working Conference on Mining Software Repositories, MSR 2014 - Proceedings).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  459. Battery- and aging-aware embedded control systems for electric vehicles

    Chang, W., Proebstl, A., Goswami, D., Zamani, M. & Chakraborty, S., 2014, IEEE Real-Time Systems Symposium (RTSS).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  480. How did systems get so safe without adequate analysis methods

    McDermid, J. A. & Rae, A. J., 2014, 9th IET International Conference on System Safety and Cyber Security. London: IET

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

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

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

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

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

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

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

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

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

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

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

  491. Modelling and control of an elastically joint-actuated cart-pole underactuated system

    Liu, P., Yu, H. & Cang, S., 2014, 2014 20th International Conference on Automation and Computing. p. 26-31 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 Next