|
Search the dblp DataBase
Roderick Chapman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Amey, Roderick Chapman, Neil White
Smart Certification of Mixed Criticality Systems. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2005, pp:144-155 [Conf]
- 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]
- 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]
- Peter Amey, Roderick Chapman
Industrial strength exception freedom. [Citation Graph (0, 0)][DBLP] SIGAda, 2002, pp:1-9 [Conf]
- Peter Amey, Roderick Chapman
Static verification and extreme programming. [Citation Graph (0, 0)][DBLP] SIGAda, 2003, pp:4-9 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
Search in 0.006secs, Finished in 0.007secs
|