Roderick Chapman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ITP | Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. | Roderick Chapman, Florian Schanda |
| 2014 | TAP | Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. | Johannes Kanig, Roderick Chapman, Cyrille Comar, Jrme Guitton, Yannick Moy, Emyr Rees |
| 1999 | FM | The Value of Verification: Positive Experience of Industrial Proof. | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |