| 2008 |
|---|
| 28 | EE | Gudmund Grov,
Robert F. Pointon,
Greg Michaelson,
Andrew Ireland:
Preserving coordination properties when transforming concurrent system components.
SAC 2008: 126-127 |
| 2007 |
|---|
| 27 | EE | Gudmund Grov,
Greg Michaelson,
Andrew Ireland:
Formal verification of concurrent scheduling strategies using TLA.
ICPADS 2007: 1-6 |
| 26 | EE | Benjamin Gorry,
Andrew Ireland,
Peter King:
PARTES: Performance Analysis of Real-Time Embedded Systems.
QEST 2007: 271-272 |
| 2006 |
|---|
| 25 | EE | Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic.
ASE 2006: 309-312 |
| 24 | EE | 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 | EE | Andrew Ireland,
Jamie Stark:
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.
Autom. Softw. Eng. 13(1): 65-105 (2006) |
| 22 | EE | 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 | EE | Andrew Ireland:
Tool Integration for Reasoned Programming.
VSTTE 2005: 422-427 |
| 20 | EE | 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 | EE | Bill J. Ellis,
Andrew Ireland:
An Integration of Program Analysis and Automated Theorem Proving.
IFM 2004: 67-86 |
| 18 | EE | Andrew Ireland,
Bill J. Ellis,
Tommy Ingulfsen:
Invariant Patterns for Program Reasoning.
MICAI 2004: 190-201 |
| 2003 |
|---|
| 17 | EE | Bill J. Ellis,
Andrew Ireland:
Automation for Exception Freedom Proofs.
ASE 2003: 343-346 |
| 2001 |
|---|
| 16 | EE | 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 | EE | Jamie Stark,
Andrew Ireland:
Towards Automatic Imperative Program Synthesis Through Proof Planning.
ASE 1999: 44-51 |
| 13 | EE | 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 | EE | 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 |
