Andrew Ireland

	2011
34		Ewen Maclean, Andrew Ireland, Gudmund Grov: The CORE system: Animation and functional correctness of pointer programs. ASE 2011: 588-591
33		Ewen Maclean, Andrew Ireland: Mutation in Linked Data Structures. ICFEM 2011: 275-290
32		Maria Teresa Llano, Andrew Ireland, Alison Pease: Discovery of Invariants through Automated Theory Formation Refine 2011: 1-19
	2010
31		Andrew Ireland, Gudmund Grov, Michael Butler: Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM 2010: 189-202
30		Andrew Ireland, Willem Visser: Guest Editorial. Autom. Softw. Eng. 17(2): 117-118 (2010)
29		Martin Giese, Andrew Ireland, Laura Kovács: Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)
	2008
28		Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland: Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127
	2007
27		Gudmund Grov, Greg Michaelson, Andrew Ireland: Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6
26		Benjamin Gorry, Andrew Ireland, Peter King: PARTES: Performance Analysis of Real-Time Embedded Systems. QEST 2007: 271-272
	2006
25		Andrew Ireland: Towards Automatic Assertion Refinement for Separation Logic. ASE 2006: 309-312
24		Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107
23		Andrew Ireland, Jamie Stark: Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Autom. Softw. Eng. 13(1): 65-105 (2006)
22		Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes: An Integrated Approach to High Integrity Software Verification. J. Autom. Reasoning 36(4): 379-410 (2006)
	2005
21		Andrew Ireland: Tool Integration for Reasoned Programming. VSTTE 2005: 422-427
20		Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife: Discovering applications of higher order functions through proof planning. Formal Asp. Comput. 17(1): 38-57 (2005)
	2004
19		Bill J. Ellis, Andrew Ireland: An Integration of Program Analysis and Automated Theorem Proving. IFM 2004: 67-86
18		Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen: Invariant Patterns for Program Reasoning. MICAI 2004: 190-201
	2003
17		Bill J. Ellis, Andrew Ireland: Automation for Exception Freedom Proofs. ASE 2003: 343-346
	2001
16		Andrew Cook, Andrew Ireland, Greg Michaelson: Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310
	2000
15		Andrew Ireland, Jamie Stark: Proof planning for strategy development. Ann. Math. Artif. Intell. 29(1-4): 65-97 (2000)
	1999
14		Jamie Stark, Andrew Ireland: Towards Automatic Imperative Program Synthesis Through Proof Planning. ASE 1999: 44-51
13		Andrew Ireland, Michael Jackson, Gordon Reid: Interactive Proof Critics. Formal Asp. Comput. 11(3): 302-325 (1999)
12		Andrew Ireland, Alan Bundy: Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9(2): 225-245 (1999)
	1998
11		Jamie Stark, Andrew Ireland: Invariant Discovery via Failed Proof Attempts. LOPSTR 1998: 271-288
	1996
10		Andrew Ireland, Alan Bundy: Extensions to a Generalization Critic for Inductive Proof. CADE 1996: 47-61
9		Andrew Ireland: Productive Use of Failure in Inductive Proof. J. Autom. Reasoning 16(1-2): 79-111 (1996)
	1994
8		Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68
	1993
7		Alistair Manning, Andrew Ireland, Alan Bundy: Incresing the Versatility of Heuristic Based Theorem Provers. LPAR 1993: 194-204
6		Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill: Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993)
5		Andrew Ireland: On Exploiting the Structure of Martin-Löf's Theory of Types. Comput. J. 36(4): 387-298 (1993)
	1992
4		Andrew Ireland: The Use of Planning Critics in Mechanizing Inductive Proofs. LPAR 1992: 178-189
3		Siani Baker, Andrew Ireland, Alan Smaill: On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225
	1991
2		Andrew Ireland: On Exploiting the Structure of Martin-Löf's Theory of Types. ÖGAI 1991: 126-136
	1990
1		Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146

Coauthor Index

1	Siani Baker	[3]
2	Janet Barnes	[22]
3	Alan Bundy	[1] [6] [7] [8] [10] [12]
4	Michael Butler	[31]
5	Roderick Chapman	[22]
6	Andrew Cook	[16] [20] [22]
7	Bill J. Ellis	[17] [18] [19] [22]
8	Martin Giese	[29]
9	Benjamin Gorry	[26]
10	Gudmund Grov	[24] [27] [28] [31] [34]
11	Kevin Hammond	[24]
12	Frank van Harmelen	[1] [6]
13	Tommy Ingulfsen	[18]
14	Michael Jackson	[13]
15	Peter King	[26]
16	Laura Kovács (Laura Ildikó Kovács)	[29]
17	Maria Teresa Llano	[32]
18	Ewen Maclean	[33] [34]
19	Alistair Manning	[7]
20	Greg Michaelson	[16] [20] [24] [27] [28]
21	Raul Monroy (Raúl Monroy Borja)	[8]
22	Alison Pease	[32]
23	Robert F. Pointon	[28]
24	Gordon Reid	[13]
25	Norman Scaife	[20]
26	Alan Smaill	[1] [3] [6]
27	Jamie Stark	[11] [14] [15] [23]
28	Andrew Stevens	[6]
29	Willem Visser	[30]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page