Roderick Chapman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2024

Co-Developing Programs and Their Proof of CorrectnessRoderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy. CACM, 67(3):84-94, March 2024. [doi]

2017

What can agile methods bring to high-integrity software development?Roderick Chapman, Neil White, Jim Woodcock. CACM, 60(10):38-41, 2017. [doi]

Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...)Roderick Chapman. adaEurope 2017: 37-52 [doi]

2015

SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compilerDuc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman. STTT, 17(6):695-707, 2015. [doi]

2014

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARKRoderick Chapman, Florian Schanda. itp 2014: 17-26 [doi]

2011

OOT, DO-178C and SPARKRoderick Chapman, Trevor Jennings. Ada-Europe 2011: 206-210 [doi]

SPARKSkein: A Formal and Fast Reference Implementation of SkeinRoderick Chapman, Eric Botcazou, Angela Wallenburg. sbmf 2011: 16-27 [doi]

2006

An Integrated Approach to High Integrity Software VerificationAndrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes. JAR, 36(4):379-410, 2006. [doi]

2005

Smart Certification of Mixed Criticality SystemsPeter Amey, Roderick Chapman, Neil White. Ada-Europe 2005: 144-155 [doi]

2004

Enforcing security and safety models with an information flow analysis toolRoderick Chapman, Adrian Hilton. sigada 2004: 39-46 [doi]

2003

Static verification and extreme programmingPeter Amey, Roderick Chapman. sigada 2003: 4-9 [doi]

2002

Industrial strength exception freedomPeter Amey, Roderick Chapman. sigada 2002: 1-9 [doi]

Correctness by Construction: Developing a Commercial Secure SystemAnthony Hall, Roderick Chapman. IEEE Software, 19(1):18-25, 2002. [doi]

2000

Is Proof More Cost-Effective Than Testing?Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor. TSE, 26(8):675-686, 2000. [doi]

1999

Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORTRoderick Chapman, Robert Dewar. Ada-Europe 1999: 39-51 [doi]

The Value of Verification: Positive Experience of Industrial ProofSteve King, Jonathan Hammond, Roderick Chapman, Andy Pryor. FM 1999: 1527-1545 [doi]

1996

Combining Static Worst-Case Timing Analysis and Program ProofRoderick Chapman, Alan Burns, Andy J. Wellings. rts, 11(2):145-171, 1996.

1995

Static timing analysis and program proofRoderick Chapman. PhD thesis, University of York, UK, 1995. [doi]

Sign in or sign up to see more results.

runs on WebDSL