default search action
Andrew Ireland
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c36]Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland:
Logic and Theory Repair in Legal Modification. COGAI@IJCLR 2023 - [c35]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: 347-352 - [c34]Craig Innes
, Andrew Ireland
Anticipating Accidents through Reasoned Simulation. TAS 2023: 4:1-4:11 - [i2]Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy:
Anticipating Accidents through Reasoned Simulation. CoRR abs/2306.04499 (2023) - 2022
- [c33]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: 213-218
2010 – 2019
- 2018
- [c32]Andrew Ireland, Maria Teresa Llano, Simon Colton:
The Use of Automated Theory Formation in Support of Hazard Analysis. NFM 2018: 237-243 - 2017
- [j17]Gudmund Grov, Andrew Ireland:
Preface of the special issue for AVoCS 2015. Sci. Comput. Program. 148: 1-2 (2017) - 2016
- [j16]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Proof automation for functional correctness in separation logic. J. Log. Comput. 26(2): 641-675 (2016) - [c31]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. ABZ 2016: 282-289 - [c30]Rajiv Murali, Andrew Ireland, Gudmund Grov:
UC-B: Use Case Modelling with Event-B. ABZ 2016: 297-302 - [i1]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. CoRR abs/1603.00636 (2016) - 2015
- [j15]Gudmund Grov, Andrew Ireland:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [c29]Rajiv Murali, Andrew Ireland, Gudmund Grov:
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios. NFM 2015: 263-278 - 2014
- [j14]Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of invariants through automated theory formation. Formal Aspects Comput. 26(2): 203-249 (2014) - [c28]Madiha Jami, Andrew Ireland:
A Verification Condition Visualizer. VSTTE 2014: 72-86 - 2013
- [j13]Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78(3): 293-309 (2013) - 2012
- [j12]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) - [c27]Gudmund Grov, Andrew Ireland, Maria Teresa Llano:
Refinement Plans for Informed Formal Design. ABZ 2012: 208-222 - 2011
- [c26]Ewen Maclean, Andrew Ireland:
Mutation in Linked Data Structures. ICFEM 2011: 275-290 - [c25]Ewen Maclean, Andrew Ireland, Gudmund Grov:
The CORE system: Animation and functional correctness of pointer programs. ASE 2011: 588-591 - [c24]Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of Invariants through Automated Theory Formation. Refine@FM 2011: 1-19 - 2010
- [j11]Andrew Ireland, Willem Visser:
Guest Editorial. Autom. Softw. Eng. 17(2): 117-118 (2010) - [j10]Martin Giese, Andrew Ireland, Laura Kovács
Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010) - [c23]Andrew Ireland, Gudmund Grov, Michael J. Butler
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM 2010: 189-202 - [c22]Gudmund Grov, Andrew Ireland:
Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR 2010: 111-127 - [c21]Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey:
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR 2010: 167-182 - [c20]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR 2010: 183-184
2000 – 2009
- 2008
- [c19]Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland:
Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127 - 2007
- [c18]Gudmund Grov, Greg Michaelson, Andrew Ireland:
Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6 - [c17]Benjamin Gorry, Andrew Ireland, Peter King:
PARTES: Performance Analysis of Real-Time Embedded Systems. QEST 2007: 271-272 - 2006
- [j9]Andrew Ireland, Jamie Stark:
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Autom. Softw. Eng. 13(1): 65-105 (2006) - [j8]Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36(4): 379-410 (2006) - [c16]Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107 - [c15]Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic. ASE 2006: 309-312 - 2005
- [b2]Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland:
Rippling - meta-level guidance for mathematical reasoning. Cambridge tracts in theoretical computer science 56, Cambridge University Press 2005, ISBN 978-0-521-83449-0, pp. I-XIII, 1-202 - [j7]Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife:
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17(1): 38-57 (2005) - [c14]Andrew Ireland:
Tool Integration for Reasoned Programming. VSTTE 2005: 422-427 - 2004
- [c13]Bill J. Ellis, Andrew Ireland:
An Integration of Program Analysis and Automated Theorem Proving. IFM 2004: 67-86 - [c12]Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen:
Invariant Patterns for Program Reasoning. MICAI 2004: 190-201 - 2003
- [c11]Bill J. Ellis, Andrew Ireland:
Automation for Exception Freedom Proofs. ASE 2003: 343-346 - 2001
- [c10]Andrew Cook, Andrew Ireland, Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310 - 2000
- [j6]Andrew Ireland, Jamie Stark:
Proof planning for strategy development. Ann. Math. Artif. Intell. 29(1-4): 65-97 (2000)
1990 – 1999
- 1999
- [j5]Andrew Ireland, Mike Jackson, Gordon Reid:
Interactive Proof Critics. Formal Aspects Comput. 11(3): 302-325 (1999) - [j4]Andrew Ireland, Alan Bundy:
Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9(2): 225-245 (1999) - [c9]Jamie Stark, Andrew Ireland:
Towards Automatic Imperative Program Synthesis Through Proof Planning. ASE 1999: 44-51 - 1998
- [c8]Jamie Stark, Andrew Ireland:
Invariant Discovery via Failed Proof Attempts. LOPSTR 1998: 271-288 - 1996
- [j3]Andrew Ireland:
Productive Use of Failure in Inductive Proof. J. Autom. Reason. 16(1-2): 79-111 (1996) - [c7]Andrew Ireland, Alan Bundy:
Extensions to a Generalization Critic for Inductive Proof. CADE 1996: 47-61 - 1994
- [c6]Raúl Monroy, Alan Bundy, Andrew Ireland:
Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68 - 1993
- [j2]Alan Bundy, Andrew Stevens, Frank van Harmelen
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993) - [j1]Andrew Ireland:
On Exploiting the Structure of Martin-Löf's Theory of Types. Comput. J. 36(4): 387-298 (1993) - [c5]Alistair Manning, Andrew Ireland, Alan Bundy:
Incresing the Versatility of Heuristic Based Theorem Provers. LPAR 1993: 194-204 - 1992
- [c4]Andrew Ireland:
The Use of Planning Critics in Mechanizing Inductive Proofs. LPAR 1992: 178-189 - [c3]Siani Baker, Andrew Ireland, Alan Smaill:
On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225 - 1991
- [c2]Andrew Ireland:
On Exploiting the Structure of Martin-Löf's Theory of Types. ÖGAI 1991: 126-136 - 1990
- [c1]Alan Bundy, Frank van Harmelen
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146
1980 – 1989
- 1989
- [b1]Andrew Ireland:
Mechanization of program construction in Martin-Loef's theory of types. University of Stirling, UK, 1989
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: