Search research publications and outputs

  1. 2016
  2. Unifying heterogeneous state-spaces with lenses

    Foster, S., Zeyda, F. & Woodcock, J., 24 Oct 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 295-314 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

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

  3. Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling

    Melani, A., Bertogna, M., Davis, R. I., Bonifaci, V., Marchetti-Spaccamela, A. & Buttazzo, G. C., 3 Oct 2016

    Article in IEEE Transactions on Computers

  4. Models from code or code as a model?

    Garcia-Dominguez, A. & Kolovos, D. S., 2 Oct 2016, Proceedings of the 16th International Workshop on OCL and Textual Modelling: CEUR Workshop Proceedings. Vol. 1756. p. 137-148 12 p.

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

  5. Towards flexible parsing of structured textual model representations

    Kolovos, D. S., Matragkas, N. & Garcia-Dominguez, A., 2 Oct 2016, Proceedings of the 2nd Workshop on Flexible Model Driven Engineering: CEUR Workshop Proceedings. Vol. 1694. p. 22-31 10 p.

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

  6. Designing for Emotional Complexity in Games: The Interplay of Positive and Negative Affect

    Mekler, E., Rank, S., Steinemann, S., Birk, M. & Iacovides, I., 1 Oct 2016.

    Research output: Contribution to conferenceOther

  7. Squeezy Green Balls: Promoting Environmental Awareness through Playful Interactions

    Jennett, C., Iacovides, I., Cox, A. L., Vikhanova, A., Weigold, E., Mostaghimi, L., Jones, G., Jenkins, J., Gallacher, S. & Rogers, Y., 1 Oct 2016, Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play - CHI PLAY '16. p. 389-400 12 p.

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

  8. A Systematic Approach for Designing Mutation Operators for MDE languages

    Alhwikem, F. H. M., Paige, R. F., Rose, L. M. & Alexander, R. D., Oct 2016.

    Research output: Contribution to conferencePaper

  9. Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing

    Soares Indrusiak, L., Dziurzanski, P. & Singh, A. K., Oct 2016, Delft: River Publishers. 178 p.

    Research output: Book/ReportBook

  10. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. D., Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 171-186 16 p.

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

  11. Using Association Rule Mining to Predict Opponent Deck Content in Android: Netrunner

    Sephton, N. J., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016.

    Research output: Contribution to conferencePaper

  12. Element specific spin and orbital moments of nanoscale CoFeB amorphous thin films on GaAs(100)

    Yan, Y., Lu, C., Tu, H., Lu, X., Liu, W., Wang, J., Ye, L., Will, I., Kuerbanjiang, B., Lazarov, V. K., Wu, J., Wong, J., You, B., Du, J., Zhang, R. & Xu, Y., 13 Sep 2016

    Article in RSC Advances

  13. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 5 Sep 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Netherlands: SPRINGER, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  14. Exploring intrinsic and extrinsic motivations to participate in a crowdsourcing project to support blind and partially sighted students

    Layas, F. A. M. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 545 - 556 11 p.

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