| 2022 | ECRTS | An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. | Alan Burns, Cliff B. Jones |
| 2019 | FM | Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. | Cliff B. Jones |
| 2017 | CiE | Turing's 1949 Paper in Context. | Cliff B. Jones |
| 2017 | SETTA | General Lessons from a Rely/Guarantee Development. | Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage |
| 2015 | SEFM | Reasoning about Separation Using Abstraction and Reification. | Cliff B. Jones, Nisansala Yatapanage |
| 2013 | ICECCS | Expressiveness of Notations for Reasoning about Concurrency. | Cliff B. Jones |
| 2012 | SEFM | Abstraction as a Unifying Link for Formal Approaches to Concurrency. | Cliff B. Jones |
| 2010 | CADE | Abstractions Before Proofs. | Cliff B. Jones |
| 2007 | ICECCS | What Can the pi-calculus Tell Us About the Mondex Purse System? | Cliff B. Jones, Ken G. Pierce |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
| 2006 | ISoLA | Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. | Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
| 2003 | FM | Determining the Specification of a Control System from That of Its Environment. | Ian J. Hayes, Michael A. Jackson, Cliff B. Jones |
| 2002 | COMPSAC | A Structured Approach to Handling On-Line Interface Upgrades. | Cliff B. Jones, Alexander B. Romanovsky, Ian Welch |
| 2002 | SAC | Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. | John E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams |
| 2000 | ICRA | Haptic Interface Control - Design Issues and Experiments with a Planar Device. | Mohammad Reza Sirouspour, Simon P. DiMaio, Septimiu E. Salcudean, Purang Abolmaesumi, Cliff B. Jones |
| 2000 | MPC | Formal Methods and Dependability. | Cliff B. Jones |
| 1999 | FM | Scientific Decisions which Characterize VDM. | Cliff B. Jones |
| 1998 | FASE | Some Mistakes I Have and What I Have Learned from Them. | Cliff B. Jones |
| 1997 | ICFEM | Whither Formal Methods: A Plea to Investigate New Applications. | Cliff B. Jones |
| 1996 | ESOP | Some Practical Problems and Their Influence on Semantics. | Cliff B. Jones |
| 1993 | CONCUR | A pi-Calculus Semantics for an Object-Based Design Notation. | Cliff B. Jones |
| 1993 | FM | Reasoning about Interference in an Object-Based Design Method. | Cliff B. Jones |
| 1990 | FM | Modularizing the Formal Description of a Database System. | John S. Fitzgerald, Cliff B. Jones |
| 1988 | FM | A Support System for Formal Reasoning: Requirements and Status. | Cliff B. Jones, Peter A. Lindsay |
| 1988 | FM | MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. | Cliff B. Jones, Richard C. Moore |
| 1987 | FM | VDM Proof Obligations and their Justification. | Cliff B. Jones |
| 1978 | FM | A Formal Definition of Algol 60 as Described in the 1975 Modified Report. | Wolfgang Henhapl, Cliff B. Jones |
| 1978 | FM | The META-Language: A Reference Manual. | Cliff B. Jones |
| 1978 | FM | Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. | Cliff B. Jones |