1996 …2023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts

    Lu, Y., Yu, Z., Lin, Y., Schafer, B., Ireland, A. & Urquhart, L., 11 Dec 2023, Legal Knowledge and Information Systems. Sileno, G., Spanakis, J. & van Dijck, G. (eds.). IOS Press, p. 347-352 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 379).

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

    Open Access
    File
    71 Downloads (Pure)
  • Anticipating Accidents through Reasoned Simulation

    Innes, C., Ireland, A., Lin, Y. & Ramamoorthy, S., 11 Jul 2023, TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. Association for Computing Machinery, 4

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

    Open Access
    File
    52 Downloads (Pure)
  • 2022

    An Argumentation and Ontology Based Legal Support System for AI Vehicle Design

    Lu, Y., Yu, Z., Lin, Y., Schafer, B., Ireland, A. & Urquhart, L., 5 Dec 2022, Legal Knowledge and Information Systems. Francesconi, E., Borges, G. & Sorge, C. (eds.). IOS Press, p. 213-218 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 362).

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

    Open Access
    File
    3 Citations (Scopus)
    162 Downloads (Pure)
  • 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, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).

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

    Open Access
    File
    1 Citation (Scopus)
    72 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)
    90 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

    9 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

    6 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

    6 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

    5 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

    2 Citations (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)