Research output per year
Research output per year
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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
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 proceeding › Conference contribution
Open AccessFile -
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 AccessFile1 Citation (Scopus)43 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 International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile -
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 proceeding › Chapter
Open AccessFile1 Citation (Scopus)45 Downloads (Pure)