Search research publications and outputs

  1. Conference contribution › Research
  2. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

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

  4. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

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

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

  6. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  7. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  8. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

  9. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  10. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer

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

  11. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

  12. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

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

  13. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  14. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

  15. Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors

    Fang, X., Bate, I. J. & Griffin, D. J., 26 Nov 2020, (Accepted/In press) 11th EAI International Conference on Sensor Systems and Software.

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

  16. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

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

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

  18. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

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

  19. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

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

  20. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

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

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

  23. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

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

  24. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

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

  25. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

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

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

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

  28. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 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

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

  30. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

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

  32. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

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

  33. Fast Parametric Model Checking through Model Fragmentation

    Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 18 Dec 2020, (Accepted/In press) 43rd International Conference on Software Engineering. ACM

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

  34. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

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

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

    Foster, S., Hur, C-K. & Woodcock, J., 23 Jun 2021, (Accepted/In press) International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  36. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

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

  38. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

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

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

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

  40. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  41. Linear Differential Constraints for Photo-polarimetric Height Estimation

    Tozza, S., Smith, W. A. P., Zhu, D., Ramamoorthi, R. & Hancock, E. R., 17 Jul 2017, (Accepted/In press) 2017 IEEE International Conference on Computer Vision (ICCV) . IEEE Computer Society Press, 9 p.

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

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

  43. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  44. Naive Mesh-to-Mesh Coloured Model Generation using 3D GANs

    Spick, R. J., Demediuk, S. P. & Walker, J. A., 11 Nov 2019, (Accepted/In press) Proceedings of Australasian Computer Science Week (ACSW’20). ACM

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

  45. Network Edge Entropy from Maxwell-Boltzmann Statistics

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Jun 2017, (Accepted/In press) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 11 p.

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

  46. On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

    Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  47. On-the-fly Translation and Execution of OCL-like Queries on Simulink Models

    Sanchez Pina, B. A., Zolotas, A., Hoyos Rodriguez, H., Kolovos, D. & Paige, R. F., 19 Jun 2019, (Accepted/In press) Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

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

  48. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 1 May 2021, (Accepted/In press) International Symposium on Human Aspects of Information Security & Assurance, Proceedings.

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

  49. Player Style Clustering without Game Variables

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 28 May 2020, (Accepted/In press) Proceedings of the International Conference on the Foundations of Digital Games (FDG) 2020. ACM

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

  50. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

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

  51. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

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

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

  53. Realistic and Textured Terrain Generation using GANs

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

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

  54. Reconstructing Creative Lego Models

    Tattersall, G., Zhu, D., Smith, W. A. P., Deterding, C. S. & Huber, P., 16 Sep 2020, (Accepted/In press) Computer Vision – ACCV 2020.

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

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

  56. SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems

    Lesage, B. M. J-R. & Alexander, R., 1 Jun 2021, (Accepted/In press) Proceedings of SafeComp 2021.

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

  57. Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

    Yan, F., Foster, S. & Habli, I., 4 Mar 2021, (Accepted/In press) The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , 4 p.

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

  58. Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

    Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). Association for Computing Machinery (ACM), p. 7:1-7:26 26 p.

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

  59. Scheduling of Smart Factories using Edge Computing and Clouds

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 20 Oct 2018, (Accepted/In press) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS). 4 p.

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

  60. Self-Adaptive Role-Based Access Control for Business Processes

    da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

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

  61. Self-supervised Outdoor Scene Relighting

    Yu, Y., Meka, A., Elgharib, M., Seidel, H-P., Theobalt, C. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  62. Service Humanoid Robotics: Review and Design of A Novel Bionic-Companionship Framework

    Yang, J., Chew, E. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

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

  64. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

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

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

  66. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  67. The Convergence of Gaming and Gambling Research: What Can We Learn from Each Other?

    Deterding, C. S., Karlsen, F., Macey, J., Mortensen, T. E., Wardle, H. & Zendle, D., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract: Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  68. The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory

    Kumari, S., Deterding, C. S. & Freeman, J., 16 Aug 2019, (Accepted/In press) CHI PLAY'19. ACM

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

  69. The Visual Inheritance Structure to Support the Design of Visual Notations

    Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

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

  70. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  71. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

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

  72. TwitchChat: A Dataset for Exploring Livestream Chat

    Ringer, C., Nicolaou, M. & Walker, J. A., 23 Jul 2020, (Accepted/In press) THE 16TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INTERACTIVE DIGITAL ENTERTAINMENT (AIIDE). AAAI Press

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

  73. UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

    Calinescu, R. C., Gerasimou, S., Shevtsov, S. & Weyns, D., 22 Feb 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, p. 1-7 7 p.

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

  74. Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

    Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

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

  75. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

    Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  76. Value-Based Manufacturing Optimisation in Serverless Clouds for Industry 4.0

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference.

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