Andrew Ireland

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 11

Top Venues

University of Stirling, UK (PHD)

Education History

University of Stirling, UK

PHD

Publications

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
Logic and Theory Repair in Legal Modification. COGAI@IJCLR (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. CoRR (2023)
Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. JURIX (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. TAS (2023)
Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. JURIX (2022)
Andrew Ireland, Maria Teresa Llano, Simon Colton
The Use of Automated Theory Formation in Support of Hazard Analysis. NFM (2018)
Gudmund Grov, Andrew Ireland
Preface of the special issue for AVoCS 2015. Sci. Comput. Program. 148 (2017)
Ewen Maclean, Andrew Ireland, Gudmund Grov
Proof automation for functional correctness in separation logic. J. Log. Comput. 26 (2) (2016)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
Semi-Automated Design Space Exploration for Formal Modelling. CoRR (2016)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
Semi-Automated Design Space Exploration for Formal Modelling. ABZ (2016)
Rajiv Murali, Andrew Ireland, Gudmund Grov
UC-B: Use Case Modelling with Event-B. ABZ (2016)
Gudmund Grov, Andrew Ireland
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Rajiv Murali, Andrew Ireland, Gudmund Grov
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM (2015)
Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of invariants through automated theory formation. Formal Aspects Comput. 26 (2) (2014)
Madiha Jami, Andrew Ireland
A Verification Condition Visualizer. VSTTE (2014)
Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78 (3) (2013)
Gudmund Grov, Andrew Ireland, Maria Teresa Llano
Refinement Plans for Informed Formal Design. ABZ (2012)
Rajiv Murali, Andrew Ireland
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of Invariants through Automated Theory Formation Refine@FM (2011)
Ewen Maclean, Andrew Ireland
Mutation in Linked Data Structures. ICFEM (2011)
Ewen Maclean, Andrew Ireland, Gudmund Grov
The CORE system: Animation and functional correctness of pointer programs. ASE (2011)
Andrew Ireland, Gudmund Grov, Michael J. Butler
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM (2010)
Martin Giese, Andrew Ireland, Laura Kovács
Introduction. J. Symb. Comput. 45 (11) (2010)
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR (2010)
Gudmund Grov, Andrew Ireland
Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR (2010)
Andrew Ireland, Willem Visser
Guest Editorial. Autom. Softw. Eng. 17 (2) (2010)
Ewen Maclean, Andrew Ireland, Gudmund Grov
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR (2010)
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Preserving coordination properties when transforming concurrent system components. SAC (2008)
Benjamin Gorry, Andrew Ireland, Peter King
PARTES: Performance Analysis of Real-Time Embedded Systems. QEST (2007)
Gudmund Grov, Greg Michaelson, Andrew Ireland
Formal verification of concurrent scheduling strategies using TLA. ICPADS (2007)
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36 (4) (2006)
Andrew Ireland, Jamie Stark
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Autom. Softw. Eng. 13 (1) (2006)
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL (2006)
Andrew Ireland
Towards Automatic Assertion Refinement for Separation Logic. ASE (2006)
Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17 (1) (2005)
Andrew Ireland
Tool Integration for Reasoned Programming. VSTTE (2005)
Bill J. Ellis, Andrew Ireland
An Integration of Program Analysis and Automated Theorem Proving. IFM (2004)
Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
Invariant Patterns for Program Reasoning. MICAI (2004)
Bill J. Ellis, Andrew Ireland
Automation for Exception Freedom Proofs. ASE (2003)
Andrew Cook, Andrew Ireland, Greg Michaelson
Higher Order Function Synthesis Through Proof Planning. ASE (2001)
Andrew Ireland, Jamie Stark
Proof planning for strategy development. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Andrew Ireland, Alan Bundy
Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9 (2) (1999)
Andrew Ireland, Mike Jackson, Gordon Reid
Interactive Proof Critics. Formal Aspects Comput. 11 (3) (1999)
Jamie Stark, Andrew Ireland
Towards Automatic Imperative Program Synthesis Through Proof Planning. ASE (1999)
Jamie Stark, Andrew Ireland
Invariant Discovery via Failed Proof Attempts. LOPSTR (1998)
Andrew Ireland, Alan Bundy
Extensions to a Generalization Critic for Inductive Proof. CADE (1996)
Andrew Ireland
Productive Use of Failure in Inductive Proof. J. Autom. Reason. 16 (1-2) (1996)
Raúl Monroy, Alan Bundy, Andrew Ireland
Proof Plans for the Correction of False Conjectures. LPAR (1994)
Alistair Manning, Andrew Ireland, Alan Bundy
Incresing the Versatility of Heuristic Based Theorem Provers. LPAR (1993)
Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62 (2) (1993)
Andrew Ireland
On Exploiting the Structure of Martin-Löf's Theory of Types. Comput. J. 36 (4) (1993)
Andrew Ireland
The Use of Planning Critics in Mechanizing Inductive Proofs. LPAR (1992)
Siani Baker, Andrew Ireland, Alan Smaill
On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR (1992)
Andrew Ireland
On Exploiting the Structure of Martin-Löf's Theory of Types. ÖGAI (1991)
Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE (1990)

Andrew Ireland.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew Ireland