Search research publications and outputs

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

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

  4. Templar – A Framework for Template-Method Hyper-Heuristics

    Swan, J. & Burles, N. J., 2015, Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Machado, P., Heywood, M., McDermott, J., Castelli, M., Garcia-Sanchez, P., Burelli, P., Risi, S. & Sim, K. (eds.). Cham: Springer International Publishing, p. 205-216 (Lecture Notes in Computer Science; vol. 9025).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. The False Dichotomy between Positive and Negative Affect in Game Play

    Birk, M. V., Iacovides, I., Johnson, D. & Mandryk, R. L., 2015, p. 799-804. 6 p.

    Research output: Contribution to conferenceOther

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

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

  8. Thermodynamics of Time Evolving Networks

    Ye, C., Torsello, A., Wilson, R. C. & Hancock, E. R., 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. 315-324 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  9. Three Approaches to Timed External Choice in UTP

    Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).

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

  10. Towards Algebraic Semantics of Circus Time

    Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

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

  11. Towards a unified definition of web accessibility

    Petrie, H., Savva, A. & Power, C. D., 2015, Proceedings of the 12th Web for all Conference. ACM, p. 35 1 p.

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

  12. Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N. D., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015.. p. 22-31 10 p.

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

  13. Type inference in flexible model-driven engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 75-91 17 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

  14. Unsupervised Feature Selection by Graph Optimization

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Image Analysis and Processing - ICIAP 2015 :18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 130-140 11 p. (Lecture Notes in Computer Science; vol. 9279).

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

  15. User Name Disambiguation in Community Question Answering

    Yang, B. & Manandhar, S., 2015, Proceedings of Recent Advances in Natural Language Processing (RANLP 2015). The Association for Computational Linguistics, p. 707-713 7 p.

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

  16. Using Photo Diaries to Elicit User Requirements from Older Adults: A Case Study on Mobility Barriers

    Swallow, D., Petrie, H., Power, C. D. & Edwards, A. D. N., 2015, Human-Computer Interaction. Springer, p. 147-164 18 p.

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

  17. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Reliable Software Technologies – Ada-Europe. p. 162-176 15 p.

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

  18. Visualising Magnitude: Graphical Number Representations Help Users Detect Large Number Entry Errors

    Borghouts, J. W., Soboczenski, F., Cairns, P. & Brumby, D. P., 2015, HFES 2015 International Annual Meeting.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  19. Wallace: An efficient generic evolutionary framework

    Timperley, C. S. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 365-372

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  20. Weaving Parallel Threads

    Calderon Trilla, J. M., Poulding, S. M. & Runciman, C., 2015, Proceedings of International Symposium on Search-based Software Engineering. Barros, M. & Labiche, Y. (eds.). Bergamo, Italy: Springer, p. 62-76 14 p. (LNCS; vol. 9275).

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

Previous 1...7 8 9 10 11 Next