Roderick Chapman

According to our database, Roderick Chapman authored at least 26 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Co-Developing Programs and Their Proof of Correctness.

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy

Commun. ACM, March, 2024

2021

Verification in the Grand Challenge.

Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2017

What can agile methods bring to high-integrity software development?

Roderick Chapman, Neil White, Jim Woodcock

Commun. ACM, 2017

Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...).

Roderick Chapman

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2015

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

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

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK.

Roderick Chapman, Florian Schanda

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2011

SPARKSkein: A Formal and Fast Reference Implementation of Skein.

Roderick Chapman, Eric Botcazou, Angela Wallenburg

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

The 1st Verified Software Competition: Experience Report.

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß

Proceedings of the FM 2011: Formal Methods, 2011

OOT, DO-178C and SPARK.

Roderick Chapman, Trevor Jennings

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

The Tokeneer Experiments.

Jim Woodcock, Emine Gökçe Aydal, Rod Chapman

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

A Framework for Developing Feature-Rich Software Systems.

Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2007

Correctness by construction: putting engineering (back) into software.

Rod Chapman

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

MF1: security by construction.

Rod Chapman

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

2006

An Integrated Approach to High Integrity Software Verification.

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

J. Autom. Reason., 2006

Engineering the Tokeneer Enclave Protection Software.

Janet Barnes, Rod Chapman, Randy Johnson, James C. Widmaier, Bill Everett, David Cooper

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

Smart Certification of Mixed Criticality Systems.

Peter Amey, Roderick Chapman, Neil White

Proceedings of the Reliable Software Technology, 2005

2004

Enforcing security and safety models with an information flow analysis tool.

Roderick Chapman, Adrian Hilton

Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004

2003

Static verification and extreme programming.

Peter Amey, Roderick Chapman

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

2002

Correctness by Construction: Developing a Commercial Secure System.

Anthony Hall, Roderick Chapman

IEEE Softw., 2002

Industrial strength exception freedom.

Peter Amey, Roderick Chapman

Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, 2002

2000

Is Proof More Cost-Effective Than Testing?

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

IEEE Trans. Software Eng., 2000

1999

The Value of Verification: Positive Experience of Industrial Proof.

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

Proceedings of the FM'99 - Formal Methods, 1999

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.

Roderick Chapman, Robert Dewar

Proceedings of the Reliable Software Technologies, 1999

1996

Combining Static Worst-Case Timing Analysis and Program Proof.

Roderick Chapman, Alan Burns, Andy J. Wellings

Real Time Syst., 1996

1995

Static timing analysis and program proof.

Roderick Chapman

PhD thesis, 1995