Roderick Chapman

ORCID

Publication Activity (10 Years)

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

Top Venues

Commun. ACM

Ada-Europe

ITP

Int. J. Softw. Tools Technol. Transf.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy
Co-Developing Programs and Their Proof of Correctness. Commun. ACM 67 (3) (2024)
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