Search research publications and outputs

  1. 2015
  2. Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava

    Burles, N., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A., Swan, J. & Veerapen, N., 2015, Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Springer, p. 255-261 7 p. (Lecture Notes in Computer Science; vol. 9275).

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

  3. Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings. Rout, T., O'Connor, R. V. & Dorling, A. (eds.). Springer, p. 159-173 15 p. (Communications in Computer and Information Science; vol. 526).

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

  4. Patterns for integrating agile development processes and user centred design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, EuroPLoP '15: Proceedings of the 20th European Conference on Pattern Languages of Programs. ACM, p. 19:1-19:10 10 p.

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

  5. Predicting player disengagement and first purchase with event-frequency based data representation

    Xie, H., Devlin, S., Kudenko, D. & Cowling, P., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). p. 230-237 8 p.

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

  6. PredictingPurchaseDecisionsinMobileFree-to-PlayGames

    Sifa, R., Hadiji, F., Runge, J., Drachen, A., kersting, K. & bauckhage, C., 2015, Proceedings, The Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15). AAAI Press, p. 79-86

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

  7. Prefetching to Improve the Worst-case Execution Time of Real-Time Big-Data Tasks

    Garside, J., Gray, I. & Audsley, N. C., 2015, Workshop on Reconfigurable Computing for HPC and HPDA.

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

  8. Property access traces for source incremental model-to-text transformation

    Ogunyomi, B., Rose, L. M. & Kolovos, D. S., 2015, Modelling Foundations and Applications - 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 187-202 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

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

  9. Re-writing the City: Negotiating and Reflecting on Data Streams

    Abel, P., Fox, M., Potts, R., Hemment, D., Thomson, C., Gajdos, P., Li, S., Vazquez, A. D., Barraclough, R., Schliwa, G., Lindley, J., Turner, S., Devitt, J., MacDonald, J., Lee, A., Trueblood, C., Maxwell, D., Mehrpouya, H., Woods, M., Walsh, V. & 12 othersMoisy, A., Islamoglu, G., Sherriff, G., Thomas, V., Devitt, L., Jennings, K., Speed, C., Tynan-O'Mahony, F., Gebhardt, V-K., Trimble, L., Raikes, R. & Monsen, K., 2015, Proceedings of the 2015 British HCI Conference. New York, NY, USA: ACM, p. 147-156 10 p. (British HCI '15).

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

  10. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 2015, Proceedings - Real-Time Systems Symposium. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. p. 295-304 10 p. 7383586

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

  11. Refinement-Based Verification of the FreeRTOS Scheduler in VCC

    Woodcock, J. C. P., Divakaran, S., D'Souza, D., Kushwah, A., Sampath, P. & Sridhar, N., 2015, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. Butler, M., Conchon, S. & Zaidi, F. (eds.). Lecture Notes in Computer Science, Vol. 9407. p. 170-186 16 p.

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

  12. Safety-Critical Java Virtual Machine Services

    Baxter, J., Cavalcanti, A. L. C., Wellings, A. J. & Freitas, L., 2015, Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. Ziarek, L. (ed.). ACM, 10 p. 7

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

  13. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

    Gerasimou, S., Tamburrelli, G. & Calinescu, R., 2015, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). 12 p.

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

  14. Self-Adaptive Software with Decentralised Control Loops

    Calinescu, R., Gerasimou, S. & Banks, A., 2015, 18th International Conference on Fundamental Approaches to Software Engineering (FASE). Springer Berlin / Heidelberg, Vol. 9033. p. 235-251 15 p. (Lecture Notes in Computer Science; vol. 9033).

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

  15. SemEval-2015 Task 12: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Manandhar, S. & Androutsopoulos, I., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 486-495 10 p.

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

  16. SemEval-2015 Task 14: Analysis of Clinical Text

    Elhadad, N., Pradhan, S., Gorman, S. L., Manandhar, S., Chapman, W. W. & Savova, G. K., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 303-310 8 p.

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

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

  18. Simultaneous optimisation of task mapping and priority assignment for real-time embedded nocs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Parallel, Distributed and Network-Based Processing (PDP): 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Institute of Electrical and Electronics Engineers Inc., p. 692-695 4 p.

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

  19. Skeletal Graphs from Schrödinger Magnitude and Phase

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 335-344 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  20. Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

    Maxim, D., Soboczenski, F., Bate, I. & Tovar, E., 2015, RTNS '15: Proceedings of the 23rd International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 55-64 10 p.

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

  21. Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment

    Zhao, S., Wellings, A. & Korsholm, S. E., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 1. ( ACM International Conference Proceeding Series).

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

  22. Swimming the Channels: An Analysis of Online Archival Reference Enquiries

    Pugh, J. & Power, C. D., 2015, Human-Computer Interaction. p. 99-115 17 p.

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

  23. Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach

    Ruiz, A., Melzi, A. & Kelly, T., 2015, DATE '15 Proceedings of the 2015 Design, Automation and Test in Europe Conference & Exhibition. p. 393-396 4 p.

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

  24. Tele Assistance: A Self-Adaptive Service-Based System Exemplar

    Weyns, D. & Calinescu, R., 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). p. 88-92 5 p.

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

  25. The Need for a Confidence View of CPS Support Environments (Fast Abstract)

    Asplund, F., Torngren, M., Hawkins, R. D. & McDermid, J. A., 2015, High Assurance Systems Engineering.

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

  26. The `Blackboard' Pattern for Metaheuristics

    Graham, K., Swan, J. & Martin, S., 2015, Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. p. 1265-1267 3 p.

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