| 2006 |
|---|
| 10 | 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 |
|---|
| 9 | EE | Peter Amey,
Roderick Chapman,
Neil White:
Smart Certification of Mixed Criticality Systems.
Ada-Europe 2005: 144-155 |
| 2004 |
|---|
| 8 | EE | Roderick Chapman,
Adrian Hilton:
Enforcing security and safety models with an information flow analysis tool.
SIGAda 2004: 39-46 |
| 2003 |
|---|
| 7 | EE | Peter Amey,
Roderick Chapman:
Static verification and extreme programming.
SIGAda 2003: 4-9 |
| 2002 |
|---|
| 6 | EE | Peter Amey,
Roderick Chapman:
Industrial strength exception freedom.
SIGAda 2002: 1-9 |
| 5 | EE | Anthony Hall,
Roderick Chapman:
Correctness by Construction: Developing a Commercial Secure System.
IEEE Software 19(1): 18-25 (2002) |
| 2000 |
|---|
| 4 | EE | Steve King,
Jonathan Hammond,
Roderick Chapman,
Andy Pryor:
Is Proof More Cost-Effective Than Testing?
IEEE Trans. Software Eng. 26(8): 675-686 (2000) |
| 1999 |
|---|
| 3 | EE | Roderick Chapman,
Robert Dewar:
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT.
Ada-Europe 1999: 39-51 |
| 2 | EE | Steve King,
Jonathan Hammond,
Roderick Chapman,
Andy Pryor:
The Value of Verification: Positive Experience of Industrial Proof.
World Congress on Formal Methods 1999: 1527-1545 |
| 1996 |
|---|
| 1 | | Roderick Chapman,
Alan Burns,
Andy J. Wellings:
Combining Static Worst-Case Timing Analysis and Program Proof.
Real-Time Systems 11(2): 145-171 (1996) |
