| |
| 2009 | ||
|---|---|---|
| 5 | EE | Philippa Conmy, Iain Bate: Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175 |
| 2005 | ||
| 4 | EE | Iain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88 |
| 2003 | ||
| 3 | EE | Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78 |
| 2001 | ||
| 2 | EE | Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22 |
| 1 | EE | Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001) |
| 1 | Iain Bate (I. J. Bate) | [1] [4] [5] |
| 2 | Tim Kelly (Tim P. Kelly) | [1] |
| 3 | John A. McDermid | [1] [2] [3] |
| 4 | Mark Nicholson | [3] |