Author Info
Name
Affiliation
Papers
RODERICK CHAPMAN
Praxis High Integrity Systems Ltd, Bath, England BA1 1PX
6
Collaborators
Citations 
PageRank 
12
120
10.62
Referers 
Referees 
References 
245
136
65
Search Limit
100245
Title
Citations
PageRank
Year
What can agile methods bring to high-integrity software development?20.372017
SPARKSkein: a formal and fast reference implementation of skein20.432011
OOT, DO-178C and SPARK00.342011
An Integrated Approach to High Integrity Software Verification60.432006
Correctness by Construction: Developing a Commercial Secure System774.902002
Combining static worst-case timing analysis and program proof334.161996