Search research publications and outputs

  1. 2019
  2. 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)

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

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

  5. Probabilistic Analysis

    Maxim, D., Cucu-Grosjean, L. & Davis, R. I., 18 Feb 2019, Handbook of Real-Time Computing. Springer, p. 1-23

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

  6. 2018
  7. Abstraction/Representation Theory and the Natural Science of Computation

    Horsman, D., Kendon, V. & Stepney, S., 17 May 2018, Physical Perspectives on Computation, Computational Perspectives on Physics. Cuffaro, M. E. & Fletcher, S. C. (eds.). CAMBRIDGE UNIV PRESS, p. 127-149

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

  8. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

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

  9. 2017
  10. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

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

  11. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

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

  12. UTP By Example: Designs

    Woodcock, JAMES. C. P. & Foster, S. D., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016 Chongqing. Jonathan P., B., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. LNCS 10215. p. 16-50 35 p.

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

  13. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

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

Previous 1 2 3 4 Next