Roderick Chapman

ORCID

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 3

Top Venues

Ada-Europe

ITP

Int. J. Softw. Tools Technol. Transf.

Commun. ACM

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Roderick Chapman, Neil White, Jim Woodcock
What can agile methods bring to high-integrity software development? Commun. ACM 60 (10) (2017)
Roderick Chapman
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). Ada-Europe (2017)
Duc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Roderick Chapman, Florian Schanda
Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. ITP (2014)
Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. TAP@STAF (2014)
Roderick Chapman, Eric Botcazou, Angela Wallenburg
SPARKSkein: A Formal and Fast Reference Implementation of Skein. SBMF (2011)
Roderick Chapman, Trevor Jennings
OOT, DO-178C and SPARK. Ada-Europe (2011)
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36 (4) (2006)
Peter Amey, Roderick Chapman, Neil White
Smart Certification of Mixed Criticality Systems. Ada-Europe (2005)
Roderick Chapman, Adrian Hilton
Enforcing security and safety models with an information flow analysis tool. SIGAda (2004)
Peter Amey, Roderick Chapman
Static verification and extreme programming. SIGAda (2003)
Anthony Hall, Roderick Chapman
Correctness by Construction: Developing a Commercial Secure System. IEEE Softw. 19 (1) (2002)
Peter Amey, Roderick Chapman
Industrial strength exception freedom. SIGAda (2002)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
Is Proof More Cost-Effective Than Testing? IEEE Trans. Software Eng. 26 (8) (2000)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods (1999)
Roderick Chapman, Robert Dewar
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. Ada-Europe (1999)
Roderick Chapman, Alan Burns, Andy J. Wellings
Combining Static Worst-Case Timing Analysis and Program Proof. Real Time Syst. 11 (2) (1996)

Roderick Chapman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roderick Chapman