Cliff B. Jones

ORCID

Publication Activity (10 Years)

Years Active: 1965-2024
Publications (10 Years): 22

Top Venues

Formal Aspects Comput.

CoRR

Sci. Comput. Program.

SETSS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Cliff B. Jones
Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. 34 (1) (2024)
Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
Data reification in a concurrent rely-guarantee algebra. CoRR (2024)
Cliff B. Jones, Alan Burns
Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. 62 (1) (2024)
Cliff B. Jones, Alan Burns
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR (2023)
Nisansala P. Yatapanage, Cliff B. Jones
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. CoRR (2023)
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods (2023)
Cliff B. Jones, Martyn Thomas
The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. 34 (1) (2022)
Alan Burns, Cliff B. Jones
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS (2022)
Cliff B. Jones, Martyn Thomas
The development and deployment of formal methods in the UK. CoRR (2020)
Cliff B. Jones, Alan Burns
A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR (2020)
Alan Burns, Ian J. Hayes, Cliff B. Jones
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63 (5) (2020)
Cliff B. Jones, José Oliveira
Editorial. Formal Aspects Comput. 31 (6) (2019)
Cliff B. Jones, Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects Comput. 31 (3) (2019)
Cliff B. Jones
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) (2019)
Ian J. Hayes, Cliff B. Jones
A Guide to Rely/Guarantee Thinking. SETSS (2017)
Cliff B. Jones
The Turing Guide - By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99). Formal Aspects Comput. 29 (6) (2017)
Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development. SETTA (2017)
Cliff B. Jones, Troy K. Astarte
Challenges for Formal Semantic Description: Responses from the Main Approaches. SETSS (2017)
Cliff B. Jones
Turing's 1949 Paper in Context. CiE (2017)
Cliff B. Jones, Ian J. Hayes
Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. 85 (5) (2016)
Cliff B. Jones, Ian J. Hayes
Possible values: exploring a concept for concurrency. CoRR (2016)
Manuel Mazzara, Cliff B. Jones, Alexei Iliasov
Lessons from DEPLOYment. CoRR (2016)
Cliff B. Jones
In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects Comput. 27 (2) (2015)
Cliff B. Jones, Ian J. Hayes, Robert J. Colvin
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27 (3) (2015)
Cliff B. Jones, Nisansala Yatapanage
Reasoning about Separation Using Abstraction and Reification. SEFM (2015)
Jim Woodcock, Cliff B. Jones
Editorial. Formal Aspects Comput. 27 (5-6) (2015)
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. 94 (2014)
Cliff B. Jones
Editorial. Formal Aspects Comput. 26 (5) (2014)
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
A Model for Capturing and Replaying Proof Strategies. VSTTE (2014)
Cliff B. Jones
Editorial. Formal Aspects Comput. 26 (3) (2014)
Cliff B. Jones, Alexander B. Romanovsky
Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. 82 (2014)
Cliff B. Jones
Expressiveness of Notations for Reasoning about Concurrency. ICECCS (2013)
Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56 (6) (2013)
Cliff B. Jones, Leo Freitas, Andrius Velykis
Ours Is to Reason Why. Theories of Programming and Formal Methods (2013)
Cliff B. Jones
John McCarthy (1927-2011). Formal Aspects Comput. 24 (3) (2012)
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ (2012)
Cliff B. Jones
Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM (2012)
Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2 (7) (2012)
Cliff B. Jones, Matthew J. Lovert
Semantic Models for a Logic of Partial Functions. Int. J. Softw. Informatics 5 (1-2) (2011)
Cliff B. Jones, Ken G. Pierce
Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects Comput. 23 (3) (2011)
Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Cliff B. Jones
Abstractions Before Proofs. VERIFY@IJCAR (2010)
John S. Fitzgerald, Cliff B. Jones
The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107 (3-4) (2008)
Cliff B. Jones
Valediction. Formal Aspects Comput. 20 (6) (2008)
Cliff B. Jones, Jim Woodcock
Editorial. Formal Aspects Comput. 20 (1) (2008)
Cliff B. Jones
Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE (2008)
Cliff B. Jones, Ken G. Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ (2008)
John R. D. Hughes, Cliff B. Jones
Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. 15 (3-4) (2008)
Cliff B. Jones
Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus (2007)
Cliff B. Jones
Splitting atoms safely. Theor. Comput. Sci. 375 (1-3) (2007)
Cliff B. Jones, Ken G. Pierce
What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS (2007)
Cliff B. Jones, Jim Woodcock
Editorial. Formal Aspects Comput. 19 (4) (2007)
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems (2007)
Joey W. Coleman, Cliff B. Jones
Atomicity: A Unifying Concept in Computer Science. J. Univers. Comput. Sci. 13 (8) (2007)
Joey W. Coleman, Cliff B. Jones
A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17 (4) (2007)
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
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock
Verified Software: A Grand Challenge. Computer 39 (4) (2006)
Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA (2006)
Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science (2006)
Cliff B. Jones
Reasoning About Partial Functions in the Formal Development of Programs. Electron. Notes Theor. Comput. Sci. 145 (2006)
Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science (2006)
Cliff B. Jones
Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE (2005)
Jon Burton, Cliff B. Jones
Investigating Atomicity and Observability. J. Univers. Comput. Sci. 11 (5) (2005)
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
The atomic manifesto: a story in four quarks. SIGMOD Rec. 34 (1) (2005)
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 39 (2) (2005)
Jon Burton, Cliff B. Jones
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. Univers. Comput. Sci. 11 (5) (2005)
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
The Atomic Manifesto. J. Univers. Comput. Sci. 11 (5) (2005)
Cliff B. Jones
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB (2005)
Cliff B. Jones
An Approach to Splitting Atoms Safely: Extended Abstract. MFPS (2005)
Cliff B. Jones, John Cooke
Editorial. Formal Aspects Comput. 16 (1) (2004)
Cliff B. Jones, D. J. Cooke, Christiane Notarmarco
Online First Publication. Formal Aspects Comput. 16 (1) (2004)
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution (2004)
Cliff B. Jones, Michael R. Hansen
Editorial. Formal Aspects Comput. 16 (2) (2004)
Cliff B. Jones
Operational semantics: Concepts and their expression. Inf. Process. Lett. 88 (1-2) (2003)
Cliff B. Jones
The Early Search for Tractable Ways of Reasoning about Programs. IEEE Ann. Hist. Comput. 25 (2) (2003)
Ian J. Hayes, Michael A. Jackson, Cliff B. Jones
Determining the Specification of a Control System from That of Its Environment. FME (2003)
Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI (2002)
Cliff B. Jones
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST (2002)
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC (2002)
Cliff B. Jones
Editorial. Formal Aspects Comput. 14 (2) (2002)
John E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams
Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. SAC (2002)
Cliff B. Jones
The Transition from VDL to VDM. J. Univers. Comput. Sci. 7 (8) (2001)
M. Lonergan, Cliff B. Jones
An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30 (2) (2001)
Cliff B. Jones
Thinking Tools for the Future of Computing Science. Informatics (2001)
Cliff B. Jones
Dependability of Computer-Based Systems. SBES (2000)
Cliff B. Jones
Editorial. Formal Aspects Comput. 12 (6) (2000)
Mohammad Reza Sirouspour, Simon P. DiMaio, Septimiu E. Salcudean, Purang Abolmaesumi, Cliff B. Jones
Haptic Interface Control - Design Issues and Experiments with a Planar Device. ICRA (2000)
Cliff B. Jones
Formal Methods and Dependability. MPC (2000)
Pierre Collette, Cliff B. Jones
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction (2000)
Cliff B. Jones
Scientific Decisions which Characterize VDM. World Congress on Formal Methods (1999)
Cliff B. Jones
Some Mistakes I Have and What I Have Learned from Them. FASE (1998)
Cliff B. Jones
Whither Formal Methods: A Plea to Investigate New Applications. ICFEM (1997)
Cliff B. Jones
Some Practical Problems and Their Influence on Semantics. ESOP (1996)
Cliff B. Jones
Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods Syst. Des. 8 (2) (1996)
Cliff B. Jones
Formal Methods Light. ACM Comput. Surv. 28 (4es) (1996)
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
An Invitation to Formal Methods. Computer 29 (4) (1996)
Cliff B. Jones
Granularity and the development of concurrent programs. MFPS (1995)
Cliff B. Jones
Partial Functions and Logics: A Warning. Inf. Process. Lett. 54 (2) (1995)
Steve J. Hodges, Cliff B. Jones
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. Object Orientation with Parallelism and Persistence (1995)
Cliff B. Jones
Fixing the semantics of some concurrent object-oriented concepts. MFPS (1995)

Cliff B. Jones.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cliff B. Jones