Static timing analysis and program proof. - Roderick Chapman (1995)

Combining Static Worst-Case Timing Analysis and Program Proof. - Roderick Chapman; Alan Burns 001; Andy J. Wellings (Real Time Syst., 1996)

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. - Roderick Chapman; Robert Dewar (Ada-Europe, 1999)

The Value of Verification: Positive Experience of Industrial Proof. - Steve King 001; Jonathan Hammond; Roderick Chapman; Andy Pryor (World Congress on Formal Methods, 1999)

Is Proof More Cost-Effective Than Testing? - Steve King 001; Jonathan Hammond; Roderick Chapman; Andy Pryor (IEEE Trans. Software Eng., 2000)

Industrial strength exception freedom. - Peter Amey; Roderick Chapman (SIGAda, 2002)

Correctness by Construction: Developing a Commercial Secure System. - Anthony Hall; Roderick Chapman (IEEE Softw., 2002)

Static verification and extreme programming. - Peter Amey; Roderick Chapman (SIGAda, 2003)

Enforcing security and safety models with an information flow analysis tool. - Roderick Chapman; Adrian Hilton 002 (SIGAda, 2004)

Smart Certification of Mixed Criticality Systems. - Peter Amey; Roderick Chapman; Neil White (Ada-Europe, 2005)

Engineering the Tokeneer Enclave Protection Software. - Janet Barnes; Rod Chapman; Randy Johnson; James C. Widmaier; Bill Everett; David Cooper (ISSSE, 2006)

An Integrated Approach to High Integrity Software Verification. - Andrew Ireland; Bill J. Ellis; Andrew Cook; Roderick Chapman; Janet Barnes (J. Autom. Reason., 2006)

MF1: security by construction. - Rod Chapman (SIGAda, 2007)

Correctness by construction: putting engineering (back) into software. - Rod Chapman (SIGAda, 2007)

A Framework for Developing Feature-Rich Software Systems. - Thein Than Tun; Rod Chapman; Charles B. Haley; Robin C. Laney; Bashar Nuseibeh (ECBS, 2009)

The Tokeneer Experiments. - Jim Woodcock 001; Emine Gökçe Aydal; Rod Chapman (Reflections on the Work of C. A. R. Hoare, 2010)

OOT, DO-178C and SPARK. - Roderick Chapman; Trevor Jennings (Ada-Europe, 2011)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

SPARKSkein: A Formal and Fast Reference Implementation of Skein. - Roderick Chapman; Eric Botcazou; Angela Wallenburg (SBMF, 2011)

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. - Roderick Chapman; Florian Schanda (ITP, 2014)

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. - Johannes Kanig; Roderick Chapman; Cyrille Comar; Jérôme Guitton; Yannick Moy; Emyr Rees (TAP@STAF, 2014)

SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. - Duc Hoang; Yannick Moy; Angela Wallenburg; Roderick Chapman (Int. J. Softw. Tools Technol. Transf., 2015)

Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). - Roderick Chapman (Ada-Europe, 2017)

What can agile methods bring to high-integrity software development? - Roderick Chapman; Neil White; Jim Woodcock 001 (Commun. ACM, 2017)

Verification in the Grand Challenge. - Jim Woodcock 001; Janet Barnes; Rod Chapman; Simon Foster 001; Thomas Santen (Theories of Programming, 2021)

Co-Developing Programs and Their Proof of Correctness. - Roderick Chapman; Claire Dross; Stuart Matthews; Yannick Moy (Commun. ACM, 2024)

Formal Methods in Industry. - Maurice H. ter Beek; Rod Chapman; Rance Cleaveland; Hubert Garavel; Rong Gu; Ivo ter Horst; Jeroen J. A. Keiren; Thierry Lecomte; Michael Leuschel; Kristin Yvonne Rozier; Augusto Sampaio 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 2025)