Search research publications and outputs

  1. Conference contribution › Research
  2. Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory

    Baruah, S. & Burns, A., 11 Jul 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, p. 155-162 8 p. (nternational Symposium on Real-Time Distributed Computing (ISORC)).

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

  3. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

    Law, S. A., Bate, I. J. & Lesage, B. M. J-R., 8 Jul 2019, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019).

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

  4. Influencers in Multiplayer Online Shooters Evidence of Social Contagion in Playtime and Social Play

    Canossa, A., Azadvar, A., Harteveld, C., Drachen, A. & Deterding, C. S., 2 May 2019, CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York : ACM, 12 p.

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

  5. Integrated Process Planning and Scheduling in Commercial Smart Kitchens

    Dziurzanski, P., Zhao, S. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). 6 p.

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

  6. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

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

  7. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  8. Naive Mesh-to-Mesh Coloured Model Generation using 3D GANs

    Spick, R. J., Demediuk, S. P. & Walker, J. A., 11 Nov 2019, (Accepted/In press) Proceedings of Australasian Computer Science Week (ACSW’20). ACM

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

  9. On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

    Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  10. On-the-fly Translation and Execution of OCL-like Queries on Simulink Models

    Sanchez Pina, B. A., Zolotas, A., Hoyos Rodriguez, H., Kolovos, D. & Paige, R. F., 19 Jun 2019, (Accepted/In press) Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

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

  11. Performance evaluation of HEVC RCL applications mapped onto NoC-based embedded platforms

    Penny, W., Palomino, D., Porto, M., Zatt, B. & Indrusiak, L., 26 Aug 2019, Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019. Association for Computing Machinery, Inc, a7. (Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019).

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

  12. Perpetual Assurances for Self-Adaptive Systems

    Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J-M., Malek, S., Mirandola, R., Mori, M. & Tamburrelli, G., 12 Mar 2019, Software Engineering for Self-Adaptive Systems III. Assurances. SPRINGER, p. 31-63 33 p. (Lecture Notes in Computer Science; vol. 9640).

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

  13. Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning

    Picardi, C. & Habli, I., Jun 2019, AIME 2019: Artificial Intelligence in Medicine . SPRINGER, p. 365-370 (Lecture Notes in Artificial Intelligence; vol. 11526).

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

  14. Pointers inside lambda closure objects in OpenMP target offload regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S., 11 Feb 2019, Proceedings of LLVM-HPC 2018: 5th Workshop on the LLVM Compiler Infrastructure in HPC, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 10-17 8 p. 8639410. (Technical Consortium on High Performance Computing).

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

  15. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  16. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  17. Realistic and Textured Terrain Generation using GANs

    Spick, R. J. & Walker, J. A., 15 Oct 2019, (Accepted/In press) The 16th ACM SIGGRAPH European Conference on Visual Media Production (CVMP). ACM

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

  18. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  19. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

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

  20. Solving the Multi-Objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process

    Dziurzanski, P., Zhao, S., Swan, J., Soares Indrusiak, L., Scholze, S. & Krone, K., 24 Apr 2019, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. Kaufmann, P. & Castillo, P. A. (eds.). p. 33-48 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11454 LNCS).

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

  21. Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 7 Sep 2019, (Accepted/In press) Proceedings of the 40th IEEE Real-Time Systems Symposium.

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

  22. The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory

    Kumari, S., Deterding, C. S. & Freeman, J., 16 Aug 2019, (Accepted/In press) CHI PLAY'19. ACM

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

  23. The role of gaming during difficult life experiences

    Iacovides, I. & Mekler, E. D., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

  24. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  25. Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees

    Roy, D., Chang, W., Mitter, S. & Chakraborty, S., 22 Aug 2019, DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019. 10

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

  26. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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