Search research publications and outputs

  1. Multi-core Cyclic Executives for Safety-Critical Systems

    Burns, A., Deutschbein, C., Fleming, T. D. & Baruah, S., Oct 2017, p. 94-109. 16 p.

    Research output: Contribution to conferencePaper

  2. Music Genre Classification using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 14 Nov 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Springer, (Lecture Notes in Computer Science).

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

  3. Network Edge Entropy from Maxwell-Boltzmann Statistics

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Jun 2017, (Accepted/In press) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 11 p.

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

  4. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

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

  5. On the Digital Certificate Management in Advanced Metering Infrastructure Networks

    Vasilakis, V., Moscholios, I., Vardakas, J. & Logothetis, M., 30 Apr 2017, (Accepted/In press). 5 p.

    Research output: Contribution to conferencePaper

  6. On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling

    Chen, J. J., Bruggen, G. V. D., Huang, W-H. & Davis, R. I., Jun 2017, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Bertogna, M. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 9:1-9:25 25 p. (LIPIcs – Leibniz International Proceedings in Informatics; vol. 76).

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

  7. Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time

    Jimenez Gil, S., Bate, I., Lima, G., Santinelli, L., Gogonel, A. & Cucu-Grosjean, L., 1 Sep 2017

    Article in IEEE Embedded Systems Letters

  8. Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures

    Brown, D., Wright, S. A. & Jarvis, S. A., 20 Nov 2017, UK Performance Engineering Workshop (UKPEW'17).

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

  9. Performance of second order particle-in-cell methods on modern many-core architectures

    Brown, D., Bettencourt, M. T., Wright, S. A., Jones, J. P. & Jarvis, S. A., 1 Oct 2017, (Accepted/In press).

    Research output: Contribution to conferencePaper

  10. Playing Catch-up - The Fate of Safety Engineering?

    McDermid, J. A., Feb 2017, Developments in System Safety Engineering. Parsons, M. & Kelly, T. (eds.). Safety Critical Systems Club, Vol. 25. p. 1-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Polyhedral approaches to learning Bayesian networks

    Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics: Contemporary Mathematics. Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Polytypic Genetic Programming

    Swan, J., Krawiec, K. & Ghani, N., 1 Jul 2017, 20th European Conference on the Applications of Evolutionary Computation. Squillero, G. (ed.). Amsterdam: Springer, Vol. 10200. p. 66-81 16 p. (LNCS).

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

  13. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

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

  14. Predicting Player Experience without the Player

    Guckelsberger, C., Salge, C., Gow, J. & Cairns, P. A., Oct 2017, ACM CHI Play 2017. ACM, p. 305-315

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

  15. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

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

  16. Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems

    Dai, X. & Burns, A., 30 May 2017, Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Bader, M. & Blieberger, J. (eds.). Vol. 10300. p. 87-101 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10300 LNCS).

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

  17. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

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

  18. Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., 4 Oct 2017. 10 p.

    Research output: Contribution to conferencePaper

  19. Probabilistic Graph Programming

    Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

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