Search research publications and outputs

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

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

  4. Revisiting Domain Generalized Stereo Matching Networks from a Feature Consistency Perspective

    Zhang, J., Wang, X., Xiao, B., Wang, C., Huang, L., Cheng, Y., Gu, L., Zhou, J., Harada, T. & Hancock, E. R., 20 Feb 2022, (Accepted/In press) CVPR 2022. 8 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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