Search research publications and outputs

  1. 2016
  2. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, (E-pub ahead of print) Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Springer, p. 48-63 16 p.

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

  3. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, (E-pub ahead of print) Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  4. 2017
  5. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, (E-pub ahead of print) Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

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

  6. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, (E-pub ahead of print) Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer International Publishing Switzerland, p. 35-48 14 p.

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

  7. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, (E-pub ahead of print) High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Springer-Verlag, Vol. 10266 LNCS. p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  8. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, (E-pub ahead of print) 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  9. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, (E-pub ahead of print) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

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

  10. 2018
  11. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, (E-pub ahead of print) CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  12. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, (E-pub ahead of print) Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

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

  13. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, (E-pub ahead of print) Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  14. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, (E-pub ahead of print) Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature, Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  15. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, (E-pub ahead of print) Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  16. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  17. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  18. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, (E-pub ahead of print) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  19. 2019
  20. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  21. 2020
  22. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

  23. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 5 Jun 2020, (E-pub ahead of print) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, p. 1-15 15 p. (LNAI; no. 11770).

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

  24. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, (E-pub ahead of print) Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  25. 2021
  26. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 8 Jul 2021, (E-pub ahead of print) International Symposium on Human Aspects of Information Security & Assurance, Proceedings. Springer, Vol. 613. p. 199 210 p.

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

  27. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  28. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

    Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.

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

  29. Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

    Ali, Q. U. A., Horváth, B., Kolovos, D., Barmpis, K. & Horváth, Á., 12 Oct 2021, (E-pub ahead of print) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE, 5 p.

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