Cliff Jones

Q: What Schools Are Affiliated With Cliff Jones

Cliff Jones is affiliated with the following schools: University of York, Victoria University of Manchester, University of Oxford, Newcastle University, University of Manchester

Cliff Jones 's AcademicInfluence.com Rankings

Cliff Jones

Computer Science

#831

World Rank

#862

Historical Rank

Database

#786

World Rank

#825

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Cliff Jones Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.

(See a Problem?)

Cliff Jones 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Systematic software development using VDM (1986) (2411)
Tentative steps toward a development method for interfering programs (1983) (664)
Specification and Design of (Parallel) Programs (1983) (553)
Software development - a rigorous approach (1980) (427)
The Vienna Development Method: The Meta-Language (1978) (402)
Systematic software development using VDM (2. ed.) (1990) (350)
Developing methods for computer programs including a notion of interference (1981) (334)
Specifications are not (necessarily) executable (1989) (274)
Formal specification and software development (1982) (255)
mural: A Formal Development Support System (1991) (178)
An Invitation to Formal Methods (1996) (161)
RODIN (Rigorous Open Development Environment for Complex Systems) (2005) (146)
Verified software: a grand challenge (2006) (119)
An Early Program Proof by Alan Turing (1984) (114)
A pi-Calculus Semantics for an Object-Based Design Notation (1993) (114)
Object Orientation with Parallelism and Persistence (1996) (109)
The Early Search for Tractable Ways of Reasoning about Programs (2003) (108)
An efficient coding system for long source sequences (1981) (106)
On the Usability of Logics which Handle Partial Functions (1991) (105)
A logic covering undefinedness in program proofs (1984) (101)
A New Approach to the 'Hidden Line' Problem (1971) (99)
Roadmap for enhanced languages and methods to aid verification (2006) (90)
Accommodating interference in the formal design of concurrent object-based programs (1996) (89)
Essays in computing science (1989) (86)
A Structural Proof of the Soundness of Rely/guarantee Rules (2007) (85)
Case studies in systematic software development (1990) (81)
Determining the Specification of a Control System from That of Its Environment (2003) (77)
Rigorous Open Development Environment for Complex Systems ) (2005) (73)
Structure for dependability - computer-based systems from an interdisciplinary perspective (2005) (68)
Haptic interface control-design issues and experiments with a planar device (2000) (64)
A typed logic of partial functions reconstructed classically (1993) (59)
A Rigorous Approach to Formal Methods (1996) (57)
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations (2000) (55)
Methods, Models and Tools for Fault Tolerance (2009) (53)
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (2007) (52)
Formal methods light (1996) (49)
Modularizing the Formal Description of a Database System (1990) (48)
Wanted: a compositional approach to concurrency (2003) (47)
Rigorous Development of Complex Fault-Tolerant Systems (2006) (46)
Partial Functions and Logics: A Warning (1995) (45)
A formal definition of ALGOL 60 (1972) (43)
A formal definition of a PL/I subset (1984) (42)
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 (2007) (39)
Formal development of correct algorithms: An example based on earley's recogniser (1972) (39)
An Object-Based Design Method for Concurrent Programs (1992) (38)
Scientific Decisions which Characterize VDM (1999) (37)
Reasoning About Partial Functions in the Formal Development of Programs (2005) (36)
Deriving Specifications for Systems That Are Connected to the Physical World (2007) (35)
An Iterative Displacement Method for Conflict Resolution in Map Generalization (2001) (34)
Programming Languages and Their Definition (1984) (34)
Elucidating concurrent algorithms via layers of abstraction and reification (2011) (34)
Balancing expressiveness in formal approaches to concurrency (2015) (33)
Proving correctness of implementation techniques (1971) (32)
Operational semantics: Concepts and their expression (2003) (32)
Process algebraic foundations for an object-based design notation (1993) (30)
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] (2006) (30)
Splitting atoms safely (2007) (29)
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers (2005) (28)
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering (2006) (28)
VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 (1987) (28)
VDM '87 VDM — A Formal Method at Work (1987) (28)
Reasoning about Interference in an Object-Based Design Method (1993) (28)
Program specification and verification in VDM (1987) (27)
Formal development of programs (1973) (27)
A tracking system (1998) (26)
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday (2011) (25)
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997) (24)
Systematic Program Development (1986) (24)
Comparing Degrees of Non-Determinism in Expression Evaluation (2013) (24)
Communicating Sequential Processes. the First 25 Years (2008) (23)
The block concept and some possible implementations, with proofs of equivalence (1970) (22)
VDM Proof Obligations and their Justification (1987) (21)
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics (1996) (21)
A Formal Definition of Algol 60 as Described in the 1975 Modified Report (1978) (20)
Constraining Inference in an Object-Based Design Model (1993) (20)
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (2008) (19)
Laws and Semantics for Rely-Guarantee Refinement (2014) (19)
The Transition from VDL to VDM (2001) (18)
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (1978) (17)
Formal definition in compiler development (1976) (17)
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs (2010) (17)
The META-Language: A Reference Manual (1978) (15)
Revised Version of DSoS Conceptual Model (2001) (15)
Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages (1973) (15)
A Support System for Formal Reasoning: Requirements and Status (1988) (14)
On the Search for Tractable Ways of Reasoning about Programs (2001) (14)
Possible values: Exploring a concept for concurrency (2016) (14)
Comparing Models of Nondeterministic Expression Evaluation (2011) (14)
A Run-Time Mechanism for Referencing Variables (1971) (14)
The connection between two ways of reasoning about partial functions (2008) (14)
FM 2014: Formal Methods (2014) (13)
The atomic manifesto: a story in four quarks (2005) (13)
Process algebra arguments about an object-based design notation (1994) (13)
Dimensions of Dynamic Coalitions (2006) (13)
The Atomic Manifesto (2005) (12)
Learning from Experts to Aid the Automation of Proof Search. (2009) (11)
Specifying systems that connect to the physical world (2006) (11)
Reflections on the Work of C. A. R. Hoare (2010) (10)
A technique for showing that two functions preserve a relation between their domains (1970) (10)
A Guide to Rely/Guarantee Thinking (2017) (10)
Interference Revisited (1990) (10)
Reasoning about Separation Using Abstraction and Reification (2015) (10)
5th Refinement Workshop (1992) (9)
Ours Is to Reason Why (2013) (9)
Turing's "Checking a Large Routine" (2013) (9)
Some experiments with using a formal language definition in compiler development (1975) (9)
Refining rely-guarantee thinking (2012) (9)
Examples of how to Determine the Specifications of Control Systems (2005) (9)
A structured approach to handling on-line interface upgrades (2002) (9)
Semantic Models for a Logic of Partial Functions (2011) (9)
A Formal Basis for Some Dependability Notions (2002) (8)
Some Practical Problems and Their Influence on Semantics (1996) (8)
On the interpretation of GOTO statements in the ULD (1970) (8)
An Exegesis of Four Formal Descriptions of ALGOL 60 (2016) (8)
An Approach to Splitting Atoms Safely: Extended Abstract (2006) (8)
The Vienna Development Method: Examples of compiler development (1978) (8)
AI meets Formal Software Development (Dagstuhl Seminar 12271) (2012) (7)
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems (2002) (7)
Models of Programming Language Concepts (1979) (7)
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays (2007) (7)
The role of formal specifications in software development (1980) (7)
The Turing Guide (2017) (7)
TANSTAAFL (with partial functions) (1996) (7)
What Can the \pi-calculus Tell Us About the Mondex Purse System? (2007) (7)
Reasoning about programs via operational semantics: requirements for a support system (2008) (7)
Turing's 1949 Paper in Context (2017) (7)
Animation-based validation of a formal model of dynamic virtual organisations (2007) (7)
The Role of Proof Obligations in Software Design (1985) (7)
Constructing a theory of a data structure as an aid to program development (1979) (7)
More on Exception Mechanisms (1982) (6)
Operational semantics (2020) (6)
Abstraction as a Unifying Link for Formal Approaches to Concurrency (2012) (6)
Extending the Horizons of DSE (2004) (6)
Guaranteeing the soundness of rely/guarantee rules (2006) (6)
How to say why (in AI4FM) (2013) (6)
An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically (2009) (6)
Final Version of DSoS Conceptual Model (CSDA1) (2003) (6)
A Dynamic Coalitions Workbench: Final Report (2008) (5)
Formal Definition in Program Development (1974) (5)
Towards More Formal Specifictations (1980) (5)
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (1988) (5)
Proof in the Analysis of a Model of a Tracking System (1998) (5)
Ideas for a high-level proof strategy language (2010) (5)
Atomicity in System Design and Execution (2005) (5)
Programming Languages and Their Definition - Hans Bekic (1936-1982) (1984) (5)
A Semantic Analysis of Logics That Cope with Partial Terms (2012) (5)
Some Mistakes I Have and What I Have Learned from Them (1998) (5)
Learning from an expert's proof: AI4FM (2010) (4)
Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years (2004) (4)
On the Formal Definition of a PL/I Subset (Selected parts) (1984) (4)
Thinking Tools for the Future of Computing Science (2001) (4)
Mule: A support system for formal specification and rigorous software development (1983) (4)
Challenges for semantic description: Comparing responses from the main approaches (2017) (4)
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (2007) (4)
A Significance Rule for Multiple-Precision Arithmetic (1984) (4)
Towards a Mechanisation of a Logic that Copes with Partial Terms (2012) (4)
Digital communications and information systems (2016) (4)
Understanding Programming Language Concepts Via Operational Semantics (2007) (4)
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context (2018) (4)
Teaching notes for systematic software development using VDM (1986) (4)
Operations and formal development. (1972) (4)
General Lessons from a Rely/Guarantee Development (2017) (4)
A proof of the correctness of some optimising techniques (1969) (4)
Program Specifications and Formal Development (1977) (3)
Does the O-O community need formal methods? (1991) (3)
The Syntax Machine (1968) (3)
The role of structure: a dependability perspective (2006) (3)
Structured design and coding: Theory versus practice (1977) (3)
Deriving Specifications of Control Programs for Cyber Physical Systems (2019) (3)
Extending the Horizons of DSE (GC6) (2004) (3)
Theorem proving and software engineering (1988) (3)
Yet another proof of the block concept (1970) (3)
Formal Methods - Selected Historical References (1992) (3)
Atomicity: A Unifying Concept in Computer Science (2007) (3)
Can a system learn from interactive proofs? (2014) (3)
What can we do ( technically ) to get “ the right specification ” ? (2005) (3)
Black Tie Optional: Modelling Programming Language Concepts (2004) (3)
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (2011) (3)
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (2019) (3)
Insight, Inspiration and Collaboration (2010) (3)
The global-yet-personal information system (1996) (3)
From Problem Frames to HJJ (and its known unknowns) (2009) (3)
Software Development Based on Formal Methods (1986) (3)
Proof obligations for data reification (1986) (3)
Experience of Deployment in the Automotive Industry (2013) (2)
Mathematical semantics of goto: Exit formulation and its relation to continuations (1968) (2)
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue (2005) (2)
A small language definition (1990) (2)
Panelist position statement: reasoning about the design of programs (2005) (2)
The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project (2010) (2)
A Formal Development Support System (2011) (2)
Some observations on the implementation of reference mechanisms for automatic variables (1970) (2)
Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 (1990) (2)
Turing and Software Verification (2014) (2)
Lessons from DEPLOYment (2016) (2)
An Approach to Context Dependency (1967) (2)
Granularity and the development of concurrent programs (1995) (2)
A Model for Capturing and Replaying Proof Strategies (2014) (2)
Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems (2009) (2)
An experimental user interface for a theorem proving assistant (1987) (2)
The Development and Deployment of Formal Methods in the UK (2020) (2)
Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods (1997) (2)
The tactic language (1991) (2)
Investigating Atomicity and Observability (2005) (2)
Specification, verification and testing in software development (1986) (2)
Development of correct programs: An example based on Earley's recogniser (1971) (2)
Sequencing operations and creating objects (2005) (2)
The formal development of an algorithm (1973) (2)
Program Design by Data Refinement (1982) (1)
A Rely-Guarantee Specification of Mixed-Criticality Scheduling (2020) (1)
The syntax machine: A description (1969) (1)
A random generator for the automatic production of executable PL/I programs (APEX) (1966) (1)
Dependability of Computer-Based Systems (2000) (1)
A comparison of two approaches to language definition as bases for the construction of proofs (1969) (1)
Dynamic Coalitions : A position paper (1)
A special-purpose compiler (1965) (1)
Specification as a Design Base (Extended Abstract) (1981) (1)
MDB: A Graph-Like Persistent Database (1985) (1)
Fixing the semantics of some concurrent object-oriented concepts (1995) (1)
Some Interdisciplinary Observations about Getting the "Right" Specification (2005) (1)
AI4FM: A new project seeking challenges! (2010) (1)
Further Results on Architectures and Dependability Mechanisms for Dependable SoSs (2002) (1)
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract (2005) (1)
Special issue on Automated Verification of Critical Systems (AVoCS'11) (2014) (1)
Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442 (2014) (1)
Some requirements for specification languages (1976) (1)
A retrospective view of APEX (Automatic Production of Executable Programs) (1966) (1)
Proceedings of the 4th international conference on Theoretical aspects of computing (2004) (1)
Support tools for reification (1991) (1)
Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems (2002) (1)
Three Early Formal Approaches to the Verification of Concurrent Programs (2023) (1)
5th Automated Formal Methods workshop (AFM’10) (2010) (1)
An Early Program Proof by (1984) (1)
Reasoning about Separation using Abstraction and Reification (including proofs) (2015) (1)
Whither Formal Methods: A Plea To Investigate New Applications (1997) (1)
Lessons from the development of a concurrent program: formality as a guide to intuition (1995) (1)
Revising basic theorem proving algorithms to cope with the logic of partial functions (2014) (1)
Abstracting Interference in Postconditions (2014) (1)
Can computer programs be trusted (1991) (1)
A proof of the correctness of an interpreter based on axiom schema (1969) (1)
Comments on several years of teaching of modelling programming language concepts (2006) (1)
What inhibits the use of formal methods (1992) (1)
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (2005) (1)
IPSE 2.5 project proposal (1985) (1)
Rigorous design: Some experiments in top-down design (1983) (1)
Foundations of specification animation (1991) (1)
Compositionality, Inference and Concurrency (2000) (1)
Editorial (2015) (0)
Challenges for Formal Semantic Description: Responses from the Main Approaches (2017) (0)
Formal Methods and Dependability (2000) (0)
The DIRC Project as the Context of this Book (2006) (0)
In memoriam: Professor Heinz Zemanek (1920–2014) (2015) (0)
Combining implicit/explicit function definitions in the VDM protostandard (1988) (0)
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems (2022) (0)
Further issues in sequential languages (2020) (0)
Concurrent OOLs (2020) (0)
RODIN: Intermediate report on methodology (2006) (0)
Preface (2021) (0)
Constraining types (2020) (0)
Introduction to mural (1991) (0)
Recent books on Formal Methods (1996) (0)
Conclusions (2020) (0)
Position Statement for the Panel on Foundations of Software Engineering (1989) (0)
Fifth Refinement Workshop: Proceedings, Organized by BCS-FACS, London, 8-10 January 1992 (1993) (0)
Preface (2011) (0)
Editorial (2000) (0)
Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work (1987) (0)
Abstraction is all we've got: auxiliary variables considered harmful. (2009) (0)
SCHOOL OF COMPUTING Title : Challenges for semantic description : Comparing responses from the main approaches Names : (2017) (0)
Exceptional ordering (2020) (0)
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science (2006) (0)
John McCarthy (1927–2011) (2012) (0)
Sufficient properties for implementation correctness (1971) (0)
Proceedings of the 11th workshop on Automated Verification of Critical Systems (2011) (0)
Process Algebra Arguments about an Object-Based Notation (1994) (0)
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 (2006) (0)
John McCarthy (1927–2011) (2012) (0)
Delimiting a language (2020) (0)
In memoriam: Professor Heinz Zemanek (1920–2014) (2015) (0)
Balancing expressiveness in formal approaches to concurrency (2014) (0)
Tackling Separation via Abstraction (with proofs) (2015) (0)
Designing dependable systems needs interdisciplinarity (2004) (0)
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (2019) (0)
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads (2019) (0)
Specification before Satisfaction (2005) (0)
Concurrency: Handling Interference Formally (2018) (0)
Editorial (2002) (0)
5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992 (1992) (0)
The atomic manifesto: a story in four quarks (2005) (0)
Editorial (2014) (0)
Granularity and the Development of Concurrent Programs: Extended Abstract (2004) (0)
Atomicity: A Unifying Concept in Computer Science Papers from Dagstuhl Seminar 06121 J.UCS Special Issue (2007) (0)
The Turing Guide (2017) (0)
Abstractions Before Proofs (2010) (0)
CS-TR-1334 May , 2012 Refining rely-guarantee thinking (2012) (0)
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). (2007) (0)
Implementing the mural proof assistant (1991) (0)
Finding Effective Abstractions (2021) (0)
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science (2006) (0)
AI 4 FM : using AI to aid automation of proof search in Formal Methods (2009) (0)
Shared-variable concurrency (2020) (0)
Supporting formal software development (1991) (0)
Special Issue on Duration Calculus (2004) (0)
Fixing the Semantics of Some Concurrent Object-Oriented Concepts: Extended Abstract (2004) (0)
From problem frames to HJJ (2010) (0)
Editorial (2007) (0)
Editorial (2019) (0)
Model-Oriented Specifications (2006) (0)
The mural VDM Support Tool (1991) (0)
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 (1992) (0)
Operation quotation in VDM (1991) (0)
Editorial (2004) (0)
1 DEPENDABLE PERVASIVE SYSTEMS (2013) (0)
Expressiveness of Notations for Reasoning about Concurrency (2013) (0)
Online First Publication (2004) (0)
Invited Talks at BCTCS 2011 (2011) (0)
Valediction (2008) (0)
Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009) (2009) (0)
Reflections on, and Predictions for, Support Systems for the Development of Programs (2008) (0)
Specification and verification [Foreword] (1984) (0)
Programming languages and their description (2020) (0)
Other semantic approaches (2020) (0)
UKCRC Grand Challenges in Computing Research (GCCR‘10) (2010) (0)
Block structure (2020) (0)
DIRC: an interdisciplinary attack on problems of dependability (2005) (0)
Response to Arentoft and Larsen's 'Underspecification and non-determinism note' (1988) (0)
Understanding Programming Languages (2020) (0)
Editorial (2014) (0)

This paper list is powered by the following services:

Other Resources About Cliff Jones

en.wikipedia.org

What Schools Are Affiliated With Cliff Jones ?

Cliff Jones is affiliated with the following schools: