Roderick Chapman

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