Search research publications and outputs

  1. 2019
  2. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 7 Oct 2019, (Accepted/In press).

    Research output: Contribution to conferencePaper

  3. MetaChem: An Algebraic Framework for Artificial Chemistries

    Faulkner Rainford, P. S. M., Stepney, S. & Sebald, A. A-M., 30 Sep 2019, (Accepted/In press)

    Article in Artificial Life

  4. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 16 Sep 2019, (Accepted/In press) Integrated Formal Methods: Proceedings of the 15th International Conference. 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

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

  9. A 65nm CMOS lossless bio-signal compression circuit with 250 femtoJoule performance per bit.

    Crispin-Bailey, C., Dai, C. & Austin, J., 30 Aug 2019, p. 1-14. 14 p.

    Research output: Contribution to conferencePaper

  10. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 22 Aug 2019, (Accepted/In press) 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. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  11. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 22 Aug 2019, (Accepted/In press) 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

  12. “One of the baddies all along”: Moments that Challenge a Player’s Perspective

    Whitby, M. A., Deterding, C. S. & Iacovides, I., 20 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

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

  14. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

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

  16. “Horror, guilt and shame” - Uncomfortable Experiences in Digital Games

    Gowler, C. & Iacovides, I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019.

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

  17. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

    Chester, D., Wright, S. A., Hammond, S. D., Law, T. R., Smedley-Stevenson, R., Maheswaran, S. & Jarvis, S. A., 15 Aug 2019.

    Research output: Contribution to conferencePoster

  18. Miniature Untethered EEG Recorder Improves Advanced Neuroscience Methodologies

    Crispin-Bailey, C., Austin, J., Moulds, A., Platt, B. & Crouch, B., 14 Aug 2019, p. 1-12. 12 p.

    Research output: Contribution to conferencePaper

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

  20. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  21. Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

    Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

    Research output: Contribution to conferencePaper

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