Cliff B. Jones

According to our database, Cliff B. Jones authored at least 144 papers between 1965 and 2024.

Collaborative distances:

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

2024

Extending rely-guarantee thinking to handle real-time scheduling.

Cliff B. Jones, Alan Burns

Formal Methods Syst. Des., June, 2024

Three Early Formal Approaches to the Verification of Concurrent Programs.

Cliff B. Jones

Minds Mach., February, 2024

Handling expression evaluation under interference.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

CoRR, 2024

Data reification in a concurrent rely-guarantee algebra.

Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones

CoRR, 2024

2023

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols.

Nisansala P. Yatapanage, Cliff B. Jones

CoRR, 2023

Specifying and Reasoning About Shared-Variable Concurrency.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

The Development and Deployment of Formal Methods in the UK.

Cliff B. Jones, Martyn Thomas

Formal Aspects Comput., 2022

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems.

Alan Burns, Cliff B. Jones

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

Finding Effective Abstractions.

Cliff B. Jones, Jayadev Misra

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

Preface.

Cliff B. Jones, Jayadev Misra

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

List of Tony Hoare's Publications.

Cliff B. Jones

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

2020

A Rely-Guarantee Specification of Mixed-Criticality Scheduling.

Cliff B. Jones, Alan Burns

CoRR, 2020

Deriving Specifications of Control Programs for Cyber Physical Systems.

Alan Burns, Ian J. Hayes, Cliff B. Jones

Comput. J., 2020

Understanding Programming Languages

Cliff B. Jones

Springer, ISBN: 978-3-030-59256-1, 2020

2019

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example.

Cliff B. Jones, Nisansala Yatapanage

Formal Aspects Comput., 2019

Editorial.

Cliff B. Jones, José Oliveira

Formal Aspects Comput., 2019

Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads.

Cliff B. Jones

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Concurrency: Handling Interference Formally.

Cliff B. Jones

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

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).

Cliff B. Jones

Formal Aspects Comput., 2017

General Lessons from a Rely/Guarantee Development.

Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Challenges for Formal Semantic Description: Responses from the Main Approaches.

Cliff B. Jones, Troy K. Astarte

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017

A Guide to Rely/Guarantee Thinking.

Ian J. Hayes, Cliff B. Jones

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017

Turing's 1949 Paper in Context.

Cliff B. Jones

Proceedings of the Unveiling Dynamics and Complexity, 2017

2016

Possible values: Exploring a concept for concurrency.

Cliff B. Jones, Ian J. Hayes

J. Log. Algebraic Methods Program., 2016

Lessons from DEPLOYment.

Manuel Mazzara, Cliff B. Jones, Alexei Iliasov

CoRR, 2016

2015

Balancing expressiveness in formal approaches to concurrency.

Cliff B. Jones, Ian J. Hayes, Robert J. Colvin

Formal Aspects Comput., 2015

In memoriam: Professor Heinz Zemanek (1920-2014).

Cliff B. Jones

Formal Aspects Comput., 2015

Reasoning about Separation Using Abstraction and Reification.

Cliff B. Jones, Nisansala Yatapanage

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Special issue on Automated Verification of Critical Systems (AVoCS'11).

Cliff B. Jones, Alexander B. Romanovsky

Sci. Comput. Program., 2014

Revising basic theorem proving algorithms to cope with the logic of partial functions.

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles

Sci. Comput. Program., 2014

A Model for Capturing and Replaying Proof Strategies.

Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Can a system learn from interactive proofs?

Leo Freitas, Cliff B. Jones, Andrius Velykis

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Comparing Degrees of Non-Determinism in Expression Evaluation.

Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones

Comput. J., 2013

Expressiveness of Notations for Reasoning about Concurrency.

Cliff B. Jones

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Ours Is to Reason Why.

Cliff B. Jones, Leo Freitas, Andrius Velykis

Proceedings of the Theories of Programming and Formal Methods, 2013

Experience of Deployment in the Automotive Industry.

Rainer Gmehlich, Cliff B. Jones

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

John McCarthy (1927-2011).

Cliff B. Jones

Formal Aspects Comput., 2012

AI meets Formal Software Development (Dagstuhl Seminar 12271).

Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore

Dagstuhl Reports, 2012

Abstraction as a Unifying Link for Formal Approaches to Concurrency.

Cliff B. Jones

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A Semantic Analysis of Logics That Cope with Partial Terms.

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Semantic Models for a Logic of Partial Functions.

Cliff B. Jones, Matthew J. Lovert

Int. J. Softw. Informatics, 2011

Elucidating concurrent algorithms via layers of abstraction and reification.

Cliff B. Jones, Ken G. Pierce

Formal Aspects Comput., 2011

Preface.

Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Abstractions Before Proofs.

Cliff B. Jones

Proceedings of the 6th International Verification Workshop, 2010

Insight, Inspiration and Collaboration.

Clifford B. Jones, A. W. Roscoe

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

The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.

Clifford B. Jones

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

2008

The connection between two ways of reasoning about partial functions.

John S. Fitzgerald, Cliff B. Jones

Inf. Process. Lett., 2008

Editorial.

Cliff B. Jones, Jim Woodcock

Formal Aspects Comput., 2008

Valediction.

Cliff B. Jones

Formal Aspects Comput., 2008

Reasoning about programs via operational semantics: requirements for a support system.

John Robert Derek Hughes, Cliff B. Jones

Autom. Softw. Eng., 2008

Reflections on, and Predictions for, Support Systems for the Development of Programs.

Cliff B. Jones

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.

Cliff B. Jones, Ken G. Pierce

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Splitting atoms safely.

Cliff B. Jones

Theor. Comput. Sci., 2007

A Structural Proof of the Soundness of Rely/guarantee Rules.

Joey W. Coleman, Cliff B. Jones

J. Log. Comput., 2007

Atomicity: A Unifying Concept in Computer Science.

Joey W. Coleman, Cliff B. Jones

J. Univers. Comput. Sci., 2007

What Can the pi-calculus Tell Us About the Mondex Purse System?

Cliff B. Jones, Ken G. Pierce

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Deriving Specifications for Systems That Are Connected to the Physical World.

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Understanding Programming Language Concepts Via Operational Semantics.

Cliff B. Jones

Proceedings of the Domain Modeling and the Duration Calculus, 2007

2006

The DIRC Project as the Context of this Book.

Cliff B. Jones

Proceedings of the Trust in Technology: A Socio-Technical Perspective, 2006

Verified Software: A Grand Challenge.

Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock

Computer, 2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.

Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky

Proceedings of the Leveraging Applications of Formal Methods, 2006

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

Proceedings of the Generative Programming and Component Engineering, 2006

06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science.

Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky

Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science.

Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky

Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

Structure for dependability - computer-based systems from an interdisciplinary perspective.

Denis Besnard, Cristina Gacek, Clifford B. Jones

Springer, ISBN: 978-1-84628-110-5, 2006

2005

The atomic manifesto: a story in four quarks.

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

SIGMOD Rec., 2005

The Atomic Manifesto.

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum

J. Univers. Comput. Sci., 2005

Investigating Atomicity and Observability.

Jon Burton, Cliff B. Jones

J. Univers. Comput. Sci., 2005

Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue.

Jon Burton, Cliff B. Jones

J. Univers. Comput. Sci., 2005

An Approach to Splitting Atoms Safely: Extended Abstract.

Cliff B. Jones

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Reasoning About Partial Functions in the Formal Development of Programs.

Cliff B. Jones

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.

Cliff B. Jones

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Some Interdisciplinary Observations about Getting the "Right" Specification.

Cliff B. Jones

Proceedings of the Verified Software: Theories, 2005

2004

Editorial.

Cliff B. Jones, Michael R. Hansen

Formal Aspects Comput., 2004

Online First Publication.

Cliff B. Jones, D. J. Cooke, Christiane Notarmarco

Formal Aspects Comput., 2004

Editorial.

Cliff B. Jones, John Cooke

Formal Aspects Comput., 2004

2003

Operational semantics: Concepts and their expression.

Cliff B. Jones

Inf. Process. Lett., 2003

The Early Search for Tractable Ways of Reasoning about Programs.

Cliff B. Jones

IEEE Ann. Hist. Comput., 2003

Determining the Specification of a Control System from That of Its Environment.

Ian J. Hayes, Michael A. Jackson, Cliff B. Jones

Proceedings of the FME 2003: Formal Methods, 2003

2002

Editorial.

Cliff B. Jones

Formal Aspects Comput., 2002

A Formal Basis for Some Dependability Notions.

Cliff B. Jones

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

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

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems.

Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

A Structured Approach to Handling On-Line Interface Upgrades.

Cliff B. Jones, Alexander B. Romanovsky, Ian Welch

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

The Transition from VDL to VDM.

Cliff B. Jones

J. Univers. Comput. Sci., 2001

An Iterative Displacement Method for Conflict Resolution in Map Generalization.

M. Lonergan, Cliff B. Jones

Algorithmica, 2001

Thinking Tools for the Future of Computing Science.

Cliff B. Jones

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

2000

Dependability of Computer-Based Systems.

Cliff B. Jones

Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Formal Methods and Dependability.

Cliff B. Jones

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

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

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.

Pierre Collette, Cliff B. Jones

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Scientific Decisions which Characterize VDM.

Cliff B. Jones

Proceedings of the FM'99 - Formal Methods, 1999

1998

Some Mistakes I Have and What I Have Learned from Them.

Cliff B. Jones

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Proof in the Analysis of a Model of a Tracking System.

John S. Fitzgerald, Cliff B. Jones

Proceedings of the Proof in VDM: Case Studies, 1998

1997

Whither Formal Methods: A Plea to Investigate New Applications.

Cliff B. Jones

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Accommodating Interference in the Formal Design of Concurrent Object-Based Programs.

Cliff B. Jones

Formal Methods Syst. Des., 1996

Formal Methods Light.

Cliff B. Jones

ACM Comput. Surv., 1996

An Invitation to Formal Methods.

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

Computer, 1996

Some Practical Problems and Their Influence on Semantics.

Cliff B. Jones

Proceedings of the Programming Languages and Systems, 1996

1995

Partial Functions and Logics: A Warning.

Cliff B. Jones

Inf. Process. Lett., 1995

Fixing the semantics of some concurrent object-oriented concepts.

Cliff B. Jones

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Granularity and the development of concurrent programs.

Cliff B. Jones

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics.

Steve J. Hodges, Cliff B. Jones

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

1994

Understanding the differences between VDM and Z.

Ian J. Hayes, Cliff B. Jones, John E. Nicholls

ACM SIGSOFT Softw. Eng. Notes, 1994

A Typed Logic of Partial Functions Reconstructed Classically.

Cliff B. Jones, Cornelis A. Middelburg

Acta Informatica, 1994

1993

Constraining Inference in an Object-Based Design Model.

Cliff B. Jones

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Reasoning about Interference in an Object-Based Design Method.

Cliff B. Jones

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

A pi-Calculus Semantics for an Object-Based Design Notation.

Cliff B. Jones

Proceedings of the CONCUR '93, 1993

1991

Mural - a formal development support system.

Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore

Springer, ISBN: 3-540-19651-X, 1991

Systematic software development using VDM (2. ed.).

Clifford B. Jones

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-880733-7, 1991

1990

Interference Revisited.

Cliff B. Jones

Proceedings of the Z User Workshop, 1990

Modularizing the Formal Description of a Database System.

John S. Fitzgerald, Cliff B. Jones

Proceedings of the VDM '90, 1990

1989

Position Statement for the Panel on Foundations of Software Engineering.

Cliff B. Jones

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Theorem proving and software engineering.

Cliff B. Jones

Softw. Eng. J., 1988

MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.

Cliff B. Jones, Richard C. Moore

Proceedings of the VDM '88, 1988

A Support System for Formal Reasoning: Requirements and Status.

Cliff B. Jones, Peter A. Lindsay

Proceedings of the VDM '88, 1988

1987

VDM Proof Obligations and their Justification.

Cliff B. Jones

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1986

Software Development Based on Formal Methods.

Cliff B. Jones

Proceedings of the Software Development and Ada, 1986

Systematic software development using VDM.

Clifford B. Jones

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-880725-2, 1986

1985

The Role of Proof Obligations in Software Design.

Cliff B. Jones

Proceedings of the Mathematical Foundations of Software Development, 1985

MDB: A Graph-Like Persistent Database.

Cliff B. Jones, T. N. Nipkow, Mario Wolczko

Proceedings of the Data Types and Persistence, 1985

1984

A Significance Rule for Multiple-Precision Arithmetic.

Cliff B. Jones

ACM Trans. Math. Softw., 1984

An Early Program Proof by Alan Turing.

F. Lockwood Morris, Cliff B. Jones

IEEE Ann. Hist. Comput., 1984

A Logic Covering Undefinedness in Program Proofs.

Howard Barringer, J. H. Cheng, Cliff B. Jones

Acta Informatica, 1984

On the Formal Definition of a PL/I Subset (Selected parts).

Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas

Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

1983

Tentative Steps Toward a Development Method for Interfering Programs.

Cliff B. Jones

ACM Trans. Program. Lang. Syst., 1983

Specification and Design of (Parallel) Programs.

Cliff B. Jones

Proceedings of the Information Processing 83, 1983

1981

Developing methods for computer programs including a notion of interference.

Cliff B. Jones

PhD thesis, 1981

An efficient coding system for long source sequences.

Cliff B. Jones

IEEE Trans. Inf. Theory, 1981

Specification as a Design Base (Extended Abstract).

Cliff B. Jones

Proceedings of the Trends in Information Processing Systems, 1981

1980

Towards More Formal Specifictations.

Cliff B. Jones

Proceedings of the Software Engineering, 1980

Software development - a rigorous approach.

Clifford B. Jones

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-821884-3, 1980

1979

Constructing a Theory of a Data Structure as an Aid to Program Development.

Cliff B. Jones

Acta Informatica, 1979

Models of Programming Language Concepts.

Cliff B. Jones

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978

Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.

Cliff B. Jones

Proceedings of the Vienna Development Method: The Meta-Language, 1978

The META-Language: A Reference Manual.

Cliff B. Jones

Proceedings of the Vienna Development Method: The Meta-Language, 1978

A Formal Definition of Algol 60 as Described in the 1975 Modified Report.

Wolfgang Henhapl, Cliff B. Jones

Proceedings of the Vienna Development Method: The Meta-Language, 1978

1977

Program Specifications and Formal Development.

Cliff B. Jones

Proceedings of the International Computing Symposium 1977, 1977

1974

Formal Definition in Program Development.

Cliff B. Jones

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1972

Formal development of correct algorithms: An example based on earley's recogniser.

Cliff B. Jones

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1971

Proving correctness of implementation techniques.

Cliff B. Jones, P. Lucas

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

A Run-Time Mechanism for Referencing Variables.

Wolfgang Henhapl, Cliff B. Jones

Inf. Process. Lett., 1971

A New Approach to the 'Hidden Line' Problem.

Cliff B. Jones

Comput. J., 1971

1965

A special-purpose compiler.

Cliff B. Jones

Comput. J., 1965