Search research publications and outputs

  1. Weaving an Assurance Case from Design: A Model-Based Approach

    Hawkins, R., Habli, I., Kolovos, D. S., Paige, R. F. & Kelly, T., Jan 2015, 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. IEEE, p. 110-117 8 p.

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

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

  3. Using Job Advertisements to inform curricula design for the Key Global Challenges

    Ward, T., Baruah, B. J. & Gbadebo, A., Jun 2015, 14th International Conference on Information Technology based Higher Education and Training (ITHET). Lisbon: IEEE, 6 p.

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

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

  5. The application of extreme ultra-violet lasers in plasma heating and diagnosis

    Tallents, G. J., Aslanyan, V., Rossall, A., Wilson, S. & Shahzad, M., 2015, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, Vol. 9589. 958903

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

  6. The Joys of Absence: Emotion, Emotion Display, and Interaction Tension in Video Game Play

    Deterding, C. S., 25 Jun 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015). Pacific Grove, CA: Society for the Advancement of the Science of Digital Games

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

  7. The European Project STRUCTURES: Challenges and Results

    Beek, S. V. D., Dawson, J., Dawson, L., Flintoft, I. D., Garbe, H., Leferink, F., Menssen, B., Mora, N., Rachidi, F., Righero, M., Rubinstein, M. & Stojilović, M., 2015, Electromagnetic Compatibility (EMC Europe), 2015 International Symposium on. IEEE, p. 1095-1100 6 p.

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

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

  9. Semantic Mutation Testing for Multi-Agent Systems

    Huang, Z. & Alexander, R., 20 May 2015, The International Workshop on Engineering Multi-Agent Systems (EMAS).

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

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

Previous 1 2 3 4 5 Next