| |
| 2006 | ||
|---|---|---|
| 9 | EE | Peter Amey: Why Programming Languages Still Matter. RODIN Book 2006: 391-402 |
| 2005 | ||
| 8 | EE | Peter Amey, Roderick Chapman, Neil White: Smart Certification of Mixed Criticality Systems. Ada-Europe 2005: 144-155 |
| 2004 | ||
| 7 | EE | Peter Amey, Neil White: High Integrity Ada in a UML and C World. Ada-Europe 2004: 225-236 |
| 2003 | ||
| 6 | EE | Peter Amey, Brian Dobbing: High Integrity Ravenscar. Ada-Europe 2003: 68-79 |
| 5 | EE | Peter Amey, Roderick Chapman: Static verification and extreme programming. SIGAda 2003: 4-9 |
| 2002 | ||
| 4 | EE | Peter Amey: Closing the Loop: The Influence of Code Analysis on Design. Ada-Europe 2002: 151-162 |
| 3 | EE | Peter Amey, Roderick Chapman: Industrial strength exception freedom. SIGAda 2002: 1-9 |
| 2001 | ||
| 2 | EE | Peter Amey: Logic versus Magic in Critical Systems. Ada-Europe 2001: 49-67 |
| 1 | EE | Peter Amey: A language for systems not just software. SIGAda 2001: 3-11 |
| 1 | Roderick Chapman | [3] [5] [8] |
| 2 | Brian Dobbing | [6] |
| 3 | Neil White | [7] [8] |