Logic and Theory Repair in Legal Modification. - Lu, Yiwei; Lin, Yuhui; Li, Xue; Bundy, Alan; Schäfer, Burkhard; Ireland, Andrew (2023)

A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. - Lu, Yiwei; Yu, Zhe; Lin, Yuhui; Schafer, Burkhard; Ireland, Andrew; Urquhart, Lachlan (2023)

Anticipating Accidents through Reasoned Simulation. - Innes, Craig; Ireland, Andrew; Lin, Yuhui; Ramamoorthy, Subramanian (2023)

Anticipating Accidents through Reasoned Simulation. - Innes, Craig; Ireland, Andrew; Lin, Yuhui; Ramamoorthy, Subramanian (CoRR, 2023)

An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. - Lu, Yiwei; Yu, Zhe; Lin, Yuhui; Schafer, Burkhard; Ireland, Andrew; Urquhart, Lachlan (2022)

The Use of Automated Theory Formation in Support of Hazard Analysis. - Ireland, Andrew; Llano, Maria Teresa; Colton, Simon (2018)

Preface of the special issue for AVoCS 2015. - Grov, Gudmund; Ireland, Andrew (Sci. Comput. Program., 2017)

Proof automation for functional correctness in separation logic. - Maclean, Ewen; Ireland, Andrew; Grov, Gudmund (J. Log. Comput., 2016)

Semi-Automated Design Space Exploration for Formal Modelling. - Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon; Gow, Jeremy (2016)

UC-B: Use Case Modelling with Event-B. - Murali, Rajiv; Ireland, Andrew; Grov, Gudmund (2016)

Semi-Automated Design Space Exploration for Formal Modelling. - Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon; Gow, Jeremy (CoRR, 2016)

Preface. - Grov, Gudmund; Ireland, Andrew (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. - Murali, Rajiv; Ireland, Andrew; Grov, Gudmund (2015)

Discovery of invariants through automated theory formation. - Llano, Maria Teresa; Ireland, Andrew; Pease, Alison (Formal Aspects Comput., 2014)

A Verification Condition Visualizer. - Jami, Madiha; Ireland, Andrew (2014)

Reasoned modelling critics: Turning failed proofs into modelling guidance. - Ireland, Andrew; Grov, Gudmund; Llano, Maria Teresa; Butler, Michael J. (Sci. Comput. Program., 2013)

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. - Murali, Rajiv; Ireland, Andrew (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Refinement Plans for Informed Formal Design. - Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa (2012)

Mutation in Linked Data Structures. - Maclean, Ewen; Ireland, Andrew (2011)

The CORE system: Animation and functional correctness of pointer programs. - Maclean, Ewen; Ireland, Andrew; Grov, Gudmund (2011)

Discovery of Invariants through Automated Theory Formation - Llano, Maria Teresa; Ireland, Andrew; Pease, Alison (2011)

Guest Editorial. - Ireland, Andrew; Visser, Willem (Autom. Softw. Eng., 2010)

Introduction. - Giese, Martin; Ireland, Andrew; Kovács, Laura (J. Symb. Comput., 2010)

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. - Ireland, Andrew; Grov, Gudmund; Butler, Michael J. (2010)

Towards Automated Property Discovery within Hume. - Grov, Gudmund; Ireland, Andrew (2010)

Refinement and Term Synthesis in Loop Invariant Generation. - Maclean, Ewen; Ireland, Andrew; Dixon, Lucas; Atkey, Robert (2010)

Synthesising Functional Invariants in Separation Logic. - Maclean, Ewen; Ireland, Andrew; Grov, Gudmund (2010)

Preserving coordination properties when transforming concurrent system components. - Grov, Gudmund; Pointon, Robert F.; Michaelson, Greg; Ireland, Andrew (2008)

Formal verification of concurrent scheduling strategies using TLA. - Grov, Gudmund; Michaelson, Greg; Ireland, Andrew (2007)

PARTES: Performance Analysis of Real-Time Embedded Systems. - Gorry, Benjamin; Ireland, Andrew; King, Peter (2007)

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. - Ireland, Andrew; Stark, Jamie (Autom. Softw. Eng., 2006)

An Integrated Approach to High Integrity Software Verification. - Ireland, Andrew; Ellis, Bill J.; Cook, Andrew; Chapman, Roderick; Barnes, Janet (J. Autom. Reason., 2006)

Low-Level Programming in Hume: An Exploration of the HW-Hume Level. - Hammond, Kevin; Grov, Gudmund; Michaelson, Greg; Ireland, Andrew (2006)

Towards Automatic Assertion Refinement for Separation Logic. - Ireland, Andrew (2006)

Rippling - meta-level guidance for mathematical reasoning. - Bundy, Alan; Basin, David A.; Hutter, Dieter; Ireland, Andrew (Cambridge University Press, 2005)

Discovering applications of higher order functions through proof planning. - Cook, Andrew; Ireland, Andrew; Michaelson, Greg; Scaife, Norman (Formal Aspects Comput., 2005)

Tool Integration for Reasoned Programming. - Ireland, Andrew (2005)

An Integration of Program Analysis and Automated Theorem Proving. - Ellis, Bill J.; Ireland, Andrew (2004)

Invariant Patterns for Program Reasoning. - Ireland, Andrew; Ellis, Bill J.; Ingulfsen, Tommy (2004)

Automation for Exception Freedom Proofs. - Ellis, Bill J.; Ireland, Andrew (2003)

Higher Order Function Synthesis Through Proof Planning. - Cook, Andrew; Ireland, Andrew; Michaelson, Greg (2001)

Proof planning for strategy development. - Ireland, Andrew; Stark, Jamie (Ann. Math. Artif. Intell., 2000)

Interactive Proof Critics. - Ireland, Andrew; Jackson, Mike; Reid, Gordon (Formal Aspects Comput., 1999)

Automatic Verification of Functions with Accumulating Parameters. - Ireland, Andrew; Bundy, Alan (J. Funct. Program., 1999)

Towards Automatic Imperative Program Synthesis Through Proof Planning. - Stark, Jamie; Ireland, Andrew (1999)

Invariant Discovery via Failed Proof Attempts. - Stark, Jamie; Ireland, Andrew (1998)

Productive Use of Failure in Inductive Proof. - Ireland, Andrew (J. Autom. Reason., 1996)

Extensions to a Generalization Critic for Inductive Proof. - Ireland, Andrew; Bundy, Alan (1996)

Proof Plans for the Correction of False Conjectures. - Monroy, Raúl; Bundy, Alan; Ireland, Andrew (1994)

Rippling: A Heuristic for Guiding Inductive Proofs. - Bundy, Alan; Stevens, Andrew; Harmelen, Frank van; Ireland, Andrew; Smaill, Alan (Artif. Intell., 1993)

On Exploiting the Structure of Martin-Löf's Theory of Types. - Ireland, Andrew (Comput. J., 1993)

Incresing the Versatility of Heuristic Based Theorem Provers. - Manning, Alistair; Ireland, Andrew; Bundy, Alan (1993)

The Use of Planning Critics in Mechanizing Inductive Proofs. - Ireland, Andrew (1992)

On the Use of the Constructive Omega-Rule within Automated Deduction. - Baker, Siani; Ireland, Andrew; Smaill, Alan (1992)

On Exploiting the Structure of Martin-Löf's Theory of Types. - Ireland, Andrew (1991)

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. - Bundy, Alan; Harmelen, Frank van; Smaill, Alan; Ireland, Andrew (1990)

Mechanization of program construction in Martin-Loef's theory of types. - Ireland, Andrew (1989)