Andrew Ireland

According to our database, Andrew Ireland authored at least 53 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Anticipating Accidents through Reasoned Simulation.

Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts.

Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart

Proceedings of the Legal Knowledge and Information Systems, 2023

Logic and Theory Repair in Legal Modification.

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

2022

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

Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart

Proceedings of the Legal Knowledge and Information Systems, 2022

2018

The Use of Automated Theory Formation in Support of Hazard Analysis.

Andrew Ireland, Maria Teresa Llano, Simon Colton

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Preface of the special issue for AVoCS 2015.

Gudmund Grov, Andrew Ireland

Sci. Comput. Program., 2017

2016

Proof automation for functional correctness in separation logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

J. Log. Comput., 2016

UC-B: Use Case Modelling with Event-B.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Semi-Automated Design Space Exploration for Formal Modelling.

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Preface.

Gudmund Grov, Andrew Ireland

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios.

Rajiv Murali, Andrew Ireland, Gudmund Grov

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

A Verification Condition Visualizer.

Madiha Jami, Andrew Ireland

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Reasoned modelling critics: Turning failed proofs into modelling guidance.

Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler

Sci. Comput. Program., 2013

2012

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs.

Rajiv Murali, Andrew Ireland

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Refinement Plans for Informed Formal Design.

Gudmund Grov, Andrew Ireland, Maria Teresa Llano

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Discovery of Invariants through Automated Theory Formation

Maria Teresa Llano, Andrew Ireland, Alison Pease

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

The CORE system: Animation and functional correctness of pointer programs.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Mutation in Linked Data Structures.

Ewen Maclean, Andrew Ireland

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Introduction.

Martin Giese, Andrew Ireland, Laura Kovács

J. Symb. Comput., 2010

Guest Editorial.

Andrew Ireland, Willem Visser

Autom. Softw. Eng., 2010

Synthesising Functional Invariants in Separation Logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the Second International Workshop on Invariant Generation, 2010

Refinement and Term Synthesis in Loop Invariant Generation.

Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey

Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards Automated Property Discovery within Hume.

Gudmund Grov, Andrew Ireland

Proceedings of the Second International Workshop on Invariant Generation, 2010

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.

Andrew Ireland, Gudmund Grov, Michael J. Butler

Proceedings of the Abstract State Machines, 2010

2008

Preserving coordination properties when transforming concurrent system components.

Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

PARTES: Performance Analysis of Real-Time Embedded Systems.

Benjamin Gorry, Andrew Ireland, Peter King

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Formal verification of concurrent scheduling strategies using TLA.

Gudmund Grov, Greg Michaelson, Andrew Ireland

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

2006

An Integrated Approach to High Integrity Software Verification.

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

J. Autom. Reason., 2006

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Andrew Ireland, Jamie Stark

Autom. Softw. Eng., 2006

Towards Automatic Assertion Refinement for Separation Logic.

Andrew Ireland

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Low-Level Programming in Hume: An Exploration of the HW-Hume Level.

Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Discovering applications of higher order functions through proof planning.

Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife

Formal Aspects Comput., 2005

Tool Integration for Reasoned Programming.

Andrew Ireland

Proceedings of the Verified Software: Theories, 2005

Rippling - meta-level guidance for mathematical reasoning.

Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland

Cambridge tracts in theoretical computer science 56, Cambridge University Press, ISBN: 978-0-521-83449-0, 2005

2004

Invariant Patterns for Program Reasoning.

Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

An Integration of Program Analysis and Automated Theorem Proving.

Bill J. Ellis, Andrew Ireland

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Automation for Exception Freedom Proofs.

Bill J. Ellis, Andrew Ireland

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2001

Higher Order Function Synthesis Through Proof Planning.

Andrew Cook, Andrew Ireland, Greg Michaelson

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Proof planning for strategy development.

Andrew Ireland, Jamie Stark

Ann. Math. Artif. Intell., 2000

1999

Automatic Verification of Functions with Accumulating Parameters.

Andrew Ireland, Alan Bundy

J. Funct. Program., 1999

Interactive Proof Critics.

Andrew Ireland, Mike Jackson, Gordon Reid

Formal Aspects Comput., 1999

Towards Automatic Imperative Program Synthesis Through Proof Planning.

Jamie Stark, Andrew Ireland

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Invariant Discovery via Failed Proof Attempts.

Jamie Stark, Andrew Ireland

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1996

Productive Use of Failure in Inductive Proof.

Andrew Ireland

J. Autom. Reason., 1996

Extensions to a Generalization Critic for Inductive Proof.

Andrew Ireland, Alan Bundy

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994

Proof Plans for the Correction of False Conjectures.

Raúl Monroy, Alan Bundy, Andrew Ireland

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993

On Exploiting the Structure of Martin-Löf's Theory of Types.

Andrew Ireland

Comput. J., 1993

Rippling: A Heuristic for Guiding Inductive Proofs.

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill

Artif. Intell., 1993

Incresing the Versatility of Heuristic Based Theorem Provers.

Alistair Manning, Andrew Ireland, Alan Bundy

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

The Use of Planning Critics in Mechanizing Inductive Proofs.

Andrew Ireland

Proceedings of the Logic Programming and Automated Reasoning, 1992

On the Use of the Constructive Omega-Rule within Automated Deduction.

Siani Baker, Andrew Ireland, Alan Smaill

Proceedings of the Logic Programming and Automated Reasoning, 1992

1990

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.

Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Mechanization of program construction in Martin-Loef's theory of types.

Andrew Ireland

PhD thesis, 1989