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.

Theorem proving Engineering & Materials Science
Planning Engineering & Materials Science
Failure analysis Engineering & Materials Science
Automation Engineering & Materials Science
Formal methods Engineering & Materials Science
modeling Earth & Environmental Sciences
Specifications Engineering & Materials Science
Automatic Verification Mathematics

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1996 2018

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 International Publishing, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).

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

Open Access
File
hazard
safety
simulation
analysis
experiment

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 journalEditorial

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 journalArticle

Open Access
File

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 International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Formal methods

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 International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Specifications