Search the dblp DataBase

Publications of Author

1. Peter Amey, Roderick Chapman, Neil White
   Smart Certification of Mixed Criticality Systems. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2005, pp:144-155 [Conf]
   
2. Roderick Chapman, Robert Dewar
   Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 1999, pp:39-51 [Conf]
   
3. Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
   The Value of Verification: Positive Experience of Industrial Proof. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1527-1545 [Conf]
   
4. Peter Amey, Roderick Chapman
   Industrial strength exception freedom. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2002, pp:1-9 [Conf]
   
5. Peter Amey, Roderick Chapman
   Static verification and extreme programming. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2003, pp:4-9 [Conf]
   
6. Roderick Chapman, Adrian Hilton
   Enforcing security and safety models with an information flow analysis tool. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2004, pp:39-46 [Conf]
   
7. Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
   An Integrated Approach to High Integrity Software Verification. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:4, pp:379-410 [Journal]
   
8. Roderick Chapman, Alan Burns, Andy J. Wellings
   Combining Static Worst-Case Timing Analysis and Program Proof. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1996, v:11, n:2, pp:145-171 [Journal]
   
9. Anthony Hall, Roderick Chapman
   Correctness by Construction: Developing a Commercial Secure System. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 2002, v:19, n:1, pp:18-25 [Journal]
   
10. Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
    Is Proof More Cost-Effective Than Testing? [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:675-686 [Journal]