19962018

Research activity per year

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

Search results

  • 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
    28 Downloads (Pure)
  • 2014

    A verification condition visualizer

    Jami, M. & Ireland, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8471. p. 72-86 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8471).

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

    Open Access
    File
    2 Citations (Scopus)
    47 Downloads (Pure)
  • 2012

    Refinement plans for informed formal design

    Grov, G., Ireland, A. & Llano Rodriguez, M. T., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Berlin: Springer, Vol. 7316. p. 208-222 15 p. (Lecture Notes in Computer Science).

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

    7 Citations (Scopus)
  • 2011

    Discovery of invariants through automated theory formation

    Llano Rodriguez, M. T., Ireland, A. & Pease, A., 2011, EPTCS 55: Proceedings 15th International Refinement Workshop.

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

    5 Citations (Scopus)
  • Mutation in linked data structures

    Maclean, E. & Ireland, A., Oct 2011, Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011. Heidelberg: Springer, p. 275-290

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

    2 Citations (Scopus)
  • The CORE system: animation and functional correctness of pointer programs

    Maclean, E., Ireland, A. & Grov, G., 2011, Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. p. 588-591 4 p. (IEEE/ACM International Conference on Automated Software Engineering).

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

    5 Citations (Scopus)
  • 2010

    Reasoned modelling critics: turning failed proofs into modelling guidance

    Ireland, A., Grov, G. & Butler, M., 2010, Abstract State Machines, Alloy, B and Z: Proceedings of the Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Frappier, M., Glässer, U., Khurshid, S., Laleau, R. & Reeves, S. (eds.). Springer, p. 189-202 14 p. (Lecture Notes in Computer Science; vol. 5977).

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

    5 Citations (Scopus)
  • Reasoned modelling critics: Turning failed proofs into modelling guidance

    Ireland, A., Grov, G. & Butler, M., 2010, Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Proceedings. Vol. 5977 LNCS. p. 189-202 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5977 LNCS).

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

    5 Citations (Scopus)
  • 2007

    Cooperative reasoning for automatic software verification

    Ireland, A., 2007, AFM'07: 2nd Workshop on Automated Formal Methods. p. 51-54 4 p.

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

  • Formal verification of concurrent scheduling strategies using TLA

    Grov, G., Michaelson, G. & Ireland, A., 2007, The 13th International Conference on Parallel and Distributed Systems, ICPADS. Vol. 2.

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

    4 Citations (Scopus)
  • Low-level programming in Hume: An exploration of the HW-Hume level

    Hammond, K., Grov, G., Michaelson, G. & Ireland, A., 2007, Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers. Vol. 4449 LNCS. p. 91-107 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4449 LNCS).

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

    1 Citation (Scopus)
  • PARTES: Performance analysis of real-time embedded systems

    Gorry, B., Ireland, A. & King, P., 2007, Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007. p. 271-272 2 p.

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

    1 Citation (Scopus)
  • 2006

    Towards automatic assertion refinement for separation logic

    Ireland, A., 2006, Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006. p. 309-312 4 p.

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

    11 Citations (Scopus)