Search research publications and outputs

  1. 2018
  2. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A. 4 Jul 2018 Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

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

  3. Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

    Davis, R. I., Bate, I. J., Bernat, G., Broster, I., Burns, A., Colin, A., Hutchesson, S. G. & Tracey, N. 3 Jul 2018 23 p.

    Research output: Contribution to conferencePaper

  4. Parallel model validation with epsilon

    Madani, S., Kolovos, D. S. & Paige, R. F. 25 Jun 2018 Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS, p. 115-131 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS)

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

  5. Towards automatic generation of UML profile graphical editors for papyrus

    Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F. 25 Jun 2018 Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS, p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS)

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

  6. Local-global nested graph kernels using nested complexity traces

    Bai, L., Cui, L., Rossi, L., xu, L., Xiao, B. & Hancock, E. R. 19 Jun 2018

    Article in Pattern Recognition Letters

  7. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

    Atkinson, T., Plump, D. & Stepney, S. 19 Jun 2018 Proceedings 11th International Conference on Graph Transformation (ICGT 2018). Lambers, L. & Weber, J. (eds.). Springer, 15 p. (Lecture Notes in Computer Science; vol. 10887)

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

  8. Polar Transformation on Image Features for Orientation-Invariant Representations

    Chen, J., Lue, Z., Zhang, Z., Huang, F., Ye, Z., Tagiuchi, T. & Hancock, E. R. 15 Jun 2018

    Article in IEEE Transactions on Multimedia

  9. Interconversion of intrinsic defects in $SrTiO_3(001)$

    Chambers, S. A., Du, Y., Zhu, Z., Wang, J., Wahila, M. J., Piper, L. F. J., Prakash, A., Yue, J., Jalan, B., Spurgeon, S. R., Kepaptsoglou, D. M., Ramasse, Q. M. & Sushko, P. V. 12 Jun 2018

    Article in Physical Review B

  10. A Signature-based Intrusion Detection System for the Internet of Things

    Ioulianou, P., Vasilakis, V., Moscholios, I. & Logothetis, M. 8 Jun 2018 6 p.

    Research output: Contribution to conferencePaper

  11. Why Game Designers Should Study Magic

    Kumari, S., Deterding, C. S. & Kuhn, G. 8 Jun 2018 Foundations of Digital Games 2018 (FDG18). New York, NY: ACM Press

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

  12. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J. 1 Jun 2018 IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

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

Previous 1 2 3 4 5 6 7 8 ...231 Next