Search research publications and outputs

  1. 2022
  2. 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

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

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

  5. 2021
  6. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  28. 2020
  29. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  49. 2019
  50. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...22 Next