No photo of Andrew Ireland

View Scopus Profile

Andrew Ireland

Prof

  • EH14 4AS

    United Kingdom

19962018

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Andrew Ireland is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • The Use of Automated Theory Formation in Support of Hazard Analysis

    Ireland, A., Llano, M. T. & Colton, S., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    31 Downloads (Pure)

  • Preface of the special issue for AVoCS 2015

    Grov, G. & Ireland, A., 15 Nov 2017, In: Science of Computer Programming. 148, p. 1-2 2 p.

    Research output: Contribution to journal › Editorial

    1 Citation (Scopus)

  • Proof automation for functional correctness in separation logic

    Maclean, E., Ireland, A. & Grov, G., Apr 2016, In: Journal of Logic and Computation. 26, 2, p. 641-675 35 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    1 Citation (Scopus)
    76 Downloads (Pure)

  • Semi-Automated Design Space Exploration for Formal Modelling

    Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    26 Downloads (Pure)

  • UC-B: Use case modelling with Event-B

    Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    1 Citation (Scopus)
    103 Downloads (Pure)
View all 36 research outputs