Publications, Talks and Presentations

My Google Scholar Profile and my ORCID Record.

Refereed Journals

R. Chapman, N. White, J. Woodcock, “What Can Agile Methods Bring to High-Integrity Software Development?” Communications of the ACM. Vol. 60, Number 10. pp. 38-41. DOI:10.1145/3133233

N. White, S. Matthews, R. Chapman, “Formal verification: will the seedling ever flower?” Phil Trans R Soc A, vol. 375, no. 2104, Oct 2017, doi: 10.1098/rsta.2015.0402 (Full text available by request – please email me.)

A. Burns et. al. “Ada and the software vulnerabilities project.” ACM SIGAda Ada Letters, Volume 30 (2), pp. 27-52. 2010.

A. Ireland, B. Ellis, A. Cook, R. Chapman, and J. Barnes, “An integrated approach to high integrity software verification” J Autom Reasoning, vol. 36, no. 4, April 2006, pp. 379–410, doi: 10.1007/s10817-006-9034-1

R. Chapman, “Panellist position statement: some industrial experience with program verification” Phil Trans R Soc A, vol. 363, no. 1835, Oct 2005, pp. 2393–2394, doi: 10.1098/rsta.2005.1652

P. Amey, and R. Chapman “Industrial strength exception freedom” ACM SIGAda Ada Letters, Volume 23(1), pp 1-9. 2003.

A. Hall, and R. Chapman “Correctness by construction: building a commercial secure system” IEEE Software, vol. 19, no. 1, Jan/Feb 2002, pp. 18–25, 10.1109/52.976937

Featured in P. Ross “The Exterminators” IEEE Spectrum, vol. 42, no. 9, Sept 2005, pp. 36–41, doi: 10.1109/MSPEC.2005.1502527

R. Chapman “Industrial Experience with SPARK.” ACM SIGAda Ada Letters, Volume 20(4), pp. 64-68. 2000.

S. King, J. Hammond, R. Chapman, and A. Pryor “Is proof more cost-effective than testing?” IEEE Trans Software Eng, vol. 26, no. 8, Aug 2000, pp. 675–686, doi: 10.1109/32.879807

R. Chapman, A. Burns, and A. Wellings “Combining static worst-case timing analysis and program proof” Real-Time Systems, vol. 11, no. 2, Sept 1996, pp. 145–171, doi: 10.1007/BF00365316

R. Chapman, A. Burns, and A. Wellings “Static worst-case timing analysis of Ada” ACM Ada Letters, vol. 14, no. 5, Sept/Oct 1994, pp. 88–91, doi: 10.1145/192867.192873

Book Chapters

J. Woodcock, E. Gökce Aydal, R. Chapman “The Tokeneer Experiments” in Reflections on the Work on C. A. R. Hoare. C. B. Jones et al. (Eds), Springer Verlag 2010. pp. 405–430. ISBN 978-1-84882-911-4

Conference & Workshop Papers

R. Chapman, “The Fumble Programmer” Invited Keynote Paper. Proc of the 26th Safety Critical Systems Symposium, York, UK, Feb 2018. pp. 143-154. Safety Critical Systems Club, UK. ISBN 978-1-9797-3361-8.

R. Chapman, “Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong).” Proc of Reliable Software Technologies – Ada Europe 2017. Vienna, Austria, June 2017. Springer LNCS Vol. 10300. DOI: 10.1007/978-3-319-60588-3_3.

     Winner – Best presentation award.

R. Chapman, “Industrial experience with Agile in high-integrity software development.” Proc of the 24th Safety Critical Systems Symposium, Brighton, UK, Feb 2016. pp. 143-154. Safety Critical Systems Club, UK. ISBN 978-1519420077.

R. Chapman and F. Schanda, “Are we there yet? 20 years of industrial theorem proving with SPARK.” Invited Keynote Paper, Proceedings of Interactive Theorem Proving (ITP) 2014. Springer-Verlag LNCS Vol. 8558, pp. 17-26.

J. Kanig et al, “Explicit Assumptions – A Prenup for Marrying Static and Dynamic Program Verification” Proc Tests and Proofs 2014. Springer-Verlag LNCS, vol. 8570, pp. 142 – 157. DOI: 10.1007/978-3-319-09099-3_11.

R. Chapman, E. Botcazou, and A. Wallenburg “SPARKSkein: a formal and fast reference implementation of Skein” Proc 14th Brazilian Symp on Formal Methods, Sao Paulo, Brazil, Sept 2011. Springer-Verlag LNCS, vol. 7021, pp. 16–27

R. Chapman, and T. Jennings “Panellist position statement: OOT, DO-178C and SPARK” Proc Reliable Software Technologies Conference (Ada Europe), Edinburgh, UK, June 2011. Springer-Verlag LNCS, vol. 6652, pp. 206–210

V. Klebanov et al. “The 1st verified software competition: experience report” Proc 17th Int’l Symp on Formal Methods, Limerick, Ireland, June 2011. Springer-Verlag LNCS, vol. 6664, pp. 154–168

Winner – Best paper award

J. Barnes, R. Chapman, R. Johnson, J. Widmaier, D. Cooper, and B. Everett “Engineering the Tokeneer enclave protection software” Proc IEEE Int’l Symp on Secure Software Engineering, Washington, USA, Sept 2006

SPARK team “Languages, ambiguity, and verification” Proc Verified Software: Theories, Tools, Experiments, ETH Zürich, Switzerland, Oct 2005

R. Chapman “Correctness by construction: a manifesto for high integrity software” Proc 10th Australian Workshop on Safety-Related Programmable Systems, Sydney, Australia, 2005. CRPIT, 55. T. Cant (Ed.) ACS. pp. 43–46

P. Amey, R. Chapman, and N. White “Smart certification of mixed criticality systems” Proc Reliable Software Technologies Conference (Ada Europe), York, UK, June 2005. Springer-Verlag LNCS, vol. 3555, pp. 144-155

Winner – Best paper award

R. Chapman, and A. Hilton “Enforcing security and safety models with an information flow analysis tool” Proc ACM SIGAda Conference, Atlanta, USA, Nov 2004

R. Chapman, and P. Amey “Static verification and extreme programming” Proc ACM SIGAda Conference, San Diego, USA, Dec 2003

R. Chapman “SPARK – A state-of-the-practice approach to the Common Criteria implementation requirements” Proc Int’l Common Criteria Conference, Brighton, UK, Sept 2001

R. Chapman, and R. Dewar “Re-engineering a safety-critical application using SPARK95 and GNORT” Proc Reliable Software Technologies Conference (Ada Europe), Santander, Spain, June 1999. Springer-Verlag LNCS, vol. 1622, pp. 39–51

Winner – Best presentation award

S. King, J. Hammond, R. Chapman, and A. Pryor “The value of verification: positive experience of industrial proof” Proc World Congress on Formal Methods, Toulouse, France, Sept 1999. Springer-Verlag LNCS, vol. 1709, pp. 1527–1545

R. Chapman, A. Burns, and A.J. Wellings “Regular path algebra applied to non-functional properties of critical software” in Mathematics of Dependable Systems II (Institute of Mathematics and its Application Conference Series), V. Stavridou (Ed), Clarendon Press 1997, pp. 95–112. ISBN 978-0198523826

R. Chapman, A. Burns, and A. Wellings “SPATS – A new toolset for high-integrity Ada development” Proc AdaUK Int’l Conference, London, UK, 1995. Ada User (Special Issue), vol. 16, no. 3, pp. 123-131

R. Chapman, A. Burns, and A. Wellings “Regular path algebra applied to non-functional properties of critical software” Proc Mathematics of Dependable Systems Conference, York, UK, Sept 1995

R. Chapman, A. Burns and A. Wellings “Integrated program proof and worst-case execution time analysis of SPARK Ada” Proc ACM Workshop on Language, Compiler and Tool Support for Real-Time Systems, Florida, USA, June 1994, pp. K1-K11

R. Chapman, A. Burns, and A. Wellings “Worst-case timing analysis of exception handling in Ada” Proc AdaUK Int’l Conference, London, UK, 1993

Invited Conference Presentations and Tutorials

Invited Keynote: “Delivering Agility and Discipline: Experiences with High-Assurance Software Engineering”. SEI TSP Symposium, St. Petersburg, Florida, September 2012.

Invited Tutorial: “Static Code Verification: Issues, Problems and Current Technologies” Embedded Systems Conference Silicon Valley, San Jose, California, USA, May 2011.

Invited Presentation: “Tokeneer –An Experiment in High-Assurance Software Engineering” Microsoft Research Software Summit, Paris, France, April 2011.

Invited Tutorial: “SPARK – The Libre Language and Toolset for High-Assurance Software” Reliable Software Technologies (Ada Europe) Conference, Valencia, Spain, June 2010

Invited Presentation: “The SEI’s PSP and TSP – Culture and Discipline for High-Assurance Software” Safety Critical Systems Club – Tools and Investment for Optimum Return on Investment. MoD Abbey Wood, Bristol, UK, June 2009

Keynote Presentation: “Correctness by Construction: Putting Engineering (back) into Software” ACM SIGAda Conference, Fairfax, Virginia, USA, November 2007

Invited Tutorial: “Security by Construction” ACM SIGAda Conference, Fairfax, Virginia, USA, November 2007

Invited Tutorial: “SPARK – a High-Integrity Programming Language and its Verification Environment” LASER Summer School on Software Engineering, Elba, Italy, September 2007.

Keynote Presentation: “Correctness by Construction: Putting Engineering into Software” Reliable Software Technologies (Ada Europe), Porto, Portugal, June 2006

Invited Tutorial: “SPARK – An intensive overview” ACM SIGAda Conference, Houston, Texas, USA, December 2002

Invited Tutorial: “Practical Experiences of Safety-Critical Ada Technologies” Ada Europe, Leuven, Belgium, June 2001

Conference Committee Involvement

2002 – 2011 Reliable Software Technologies (Ada Europe)

                 2011                     Co-General Chair and Programme Committee Member

                 2010                     Industrial and General Programme Committee Member

                 2006, 2007, 2009   Industrial Programme Committee Member

                 2005                     Exhibition Chair

                 2002 – 2004          Programme Committee Member

2001          ACM SIGAda Conference – Programme Committee Member