1996 …2023

Research activity per year

Filter
Chapter (peer-reviewed)

Search results

  • 2015

    A rigorous approach to combining use case modelling and accident scenarios

    Murali, R., Ireland, A. & Grov, G., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer, Vol. 9058. p. 263-278 16 p. (Lecture Notes in Computer Science; vol. 9058).

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

    Open Access
    File
    5 Citations (Scopus)
    97 Downloads (Pure)
  • 2004

    An integration of program analysis and automated theorem proving

    Ellis, B. J. & Ireland, A., 2004, Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004. Proceedings. Vol. 2999. p. 67-86 20 p. (Lecture Notes in Computer Science; vol. 2999).

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

    6 Citations (Scopus)
  • Invariant patterns for program reasoning

    Ireland, A., Ellis, W. J. & Ingulfsen, T., 2004, MICAI 2004: Advances in Artificial Intelligence: Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004. Proceedings. Vol. 2972. p. 190-201 12 p. (Lecture Notes in Computer Science; vol. 2972).

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

    5 Citations (Scopus)