Search research publications and outputs

  1. 2017
  2. Competition and cooperation in pickup and multiple delivery problems

    Mourdjis, P., Polack, F., Cowling, P., Chen, Y. & Robinson, M., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 142-160 19 p. (Communications in Computer and Information Science; vol. 695).

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

  3. Replicating HPC I/O workloads with proxy applications

    Dickson, J., Wright, S., Maheswaran, S., Herdman, A., Miller, M. C. & Jarvis, S. A., 2 Feb 2017, Proceedings of PDSW-DISCS 2016: 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 7836562

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

  4. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

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

  5. Supporting custom quality models to analyse and compare open-source software

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N. & Vinju, J., 11 Jan 2017, Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016. Institute of Electrical and Electronics Engineers Inc., p. 94-99 6 p. 7814523

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

  6. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

    Foster, S. D. & Woodcock, JAMES. C. P., 9 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Vol. 10160. p. 39-64 25 p.

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

  7. Towards a UTP semantics for modelica

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

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

  8. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

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

  9. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

  10. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

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

  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. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

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

  13. Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

    Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

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

  14. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

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

  15. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

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

  16. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

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

  17. Detecting Alzheimer's Disease using Directed Graphs

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 94-104 11 p.

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

  18. Exploration and Skill Acquisition in a Major Online Game

    Stafford, T., Devlin, S., Sifa, R. & Drachen, A., 2017, The 39th Annual Meeting of the Cognitive Science Society (CogSci).

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

  19. Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

    Griffin, D. J., Lesage, B. M. J-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

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

  20. Issues of using wireless sensor network to monitor urban air quality

    Fang, X. & Bate, I. J., 2017, International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). ACM, 8 p.

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

  21. Memory-Bounded Monte Carlo Tree Search

    Powley, E. J., Cowling, P. I. & Whitehouse, D., 2017, 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17), 5-9 October 2017, Snowbird, Utah, USA. .

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

  22. Minimising Entropy Changes in Dynamic Network Evolution

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 255-265 11 p.

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

  23. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

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

  24. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

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

  25. Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

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

  26. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

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