| |
| 2006 | ||
|---|---|---|
| 4 | 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) |
| 2004 | ||
| 3 | EE | Bill J. Ellis, Andrew Ireland: An Integration of Program Analysis and Automated Theorem Proving. IFM 2004: 67-86 |
| 2 | EE | Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen: Invariant Patterns for Program Reasoning. MICAI 2004: 190-201 |
| 2003 | ||
| 1 | EE | Bill J. Ellis, Andrew Ireland: Automation for Exception Freedom Proofs. ASE 2003: 343-346 |
| 1 | Janet Barnes | [4] |
| 2 | Roderick Chapman | [4] |
| 3 | Andrew Cook | [4] |
| 4 | Tommy Ingulfsen | [2] |
| 5 | Andrew Ireland | [1] [2] [3] [4] |