default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCliff B. Jones
Clifford B. Jones
Person information
- affiliation: Newcastle University, Newcastle upon Tyne, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2020
[b7]Cliff B. Jones
:
Understanding Programming Languages. Springer 2020, ISBN 978-3-030-59256-1, pp. 1-229- 2006
- [b6]Denis Besnard, Cristina Gacek, Clifford B. Jones:
Structure for dependability - computer-based systems from an interdisciplinary perspective. Springer 2006, ISBN 978-1-84628-110-5, pp. I-XII, 1-305 - 1991
- [b5]Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore:
Mural - a formal development support system. Springer 1991, ISBN 3-540-19651-X, pp. I-XIII, 1-421 - [b4]Clifford B. Jones:
Systematic software development using VDM (2. ed.). Prentice Hall International Series in Computer Science, Prentice Hall 1991, ISBN 978-0-13-880733-7, pp. I-XIV, 1-333 - 1986
- [b3]Clifford B. Jones:
Systematic software development using VDM. Prentice Hall International Series in Computer Science, Prentice Hall 1986, ISBN 978-0-13-880725-2, pp. I-XVI, 1-300 - 1981
- [b2]Cliff B. Jones:
Developing methods for computer programs including a notion of interference. University of Oxford, UK, 1981 - 1980
- [b1]Clifford B. Jones:
Software development - a rigorous approach. Prentice Hall international series in computer science, Prentice Hall 1980, ISBN 978-0-13-821884-3, pp. 1-382
Journal Articles
- 2024
- [j59]Cliff B. Jones, Alan Burns:
Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. 62(1): 119-140 (2024) - [j58]Cliff B. Jones:
Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. 34(1): 73-92 (2024) - 2022
- [j57]Cliff B. Jones, Martyn Thomas:
The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. 34(1): 1-21 (2022) - 2020
- [j56]Alan Burns, Ian J. Hayes, Cliff B. Jones:
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63(5): 774-790 (2020) - 2019
- [j55]Cliff B. Jones, Nisansala Yatapanage:
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects Comput. 31(3): 353-374 (2019) - [j54]Cliff B. Jones, José Oliveira:
Editorial. Formal Aspects Comput. 31(6): 661 (2019) - 2017
- [j53]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): 1121-1122 (2017) - 2016
- [j52]Cliff B. Jones, Ian J. Hayes:
Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. 85(5): 972-984 (2016) - 2015
- [j51]Cliff B. Jones:
In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects Comput. 27(2): 237 (2015) - [j50]Cliff B. Jones, Ian J. Hayes, Robert J. Colvin:
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27(3): 475-497 (2015) - [j49]Jim Woodcock, Cliff B. Jones:
Editorial. Formal Aspects Comput. 27(5-6): 751-752 (2015) - 2014
- [j48]Cliff B. Jones:
Editorial. Formal Aspects Comput. 26(3): 433 (2014) - [j47]Cliff B. Jones:
Editorial. Formal Aspects Comput. 26(5): 861 (2014) - [j46]Cliff B. Jones, Alexander B. Romanovsky:
Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. 82: 1 (2014) - [j45]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: 238-252 (2014) - 2013
- [j44]Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones:
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56(6): 741-755 (2013) - 2012
- [j43]Cliff B. Jones:
John McCarthy (1927-2011). Formal Aspects Comput. 24(3): 305-306 (2012) - 2011
- [j42]Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j41]Cliff B. Jones, Ken G. Pierce:
Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects Comput. 23(3): 289-306 (2011) - [j40]Cliff B. Jones, Matthew J. Lovert:
Semantic Models for a Logic of Partial Functions. Int. J. Softw. Informatics 5(1-2): 55-76 (2011) - 2008
- [j39]John Robert Derek Hughes, Cliff B. Jones:
Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. 15(3-4): 299-312 (2008) - [j38]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 20(1): 1-3 (2008) - [j37]Cliff B. Jones:
Valediction. Formal Aspects Comput. 20(6): 561 (2008) - [j36]John S. Fitzgerald, Cliff B. Jones:
The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008) - 2007
- [j35]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 19(4): 415-416 (2007) - [j34]Joey W. Coleman, Cliff B. Jones:
Atomicity: A Unifying Concept in Computer Science. J. Univers. Comput. Sci. 13(8): 1042-1043 (2007) - [j33]Joey W. Coleman, Cliff B. Jones:
A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007) - [j32]Cliff B. Jones:
Splitting atoms safely. Theor. Comput. Sci. 375(1-3): 109-119 (2007) - 2006
- [j31]Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock:
Verified Software: A Grand Challenge. Computer 39(4): 93-95 (2006) - 2005
- [j30]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): 634-635 (2005) - [j29]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
The Atomic Manifesto. J. Univers. Comput. Sci. 11(5): 636-651 (2005) - [j28]Jon Burton, Cliff B. Jones:
Investigating Atomicity and Observability. J. Univers. Comput. Sci. 11(5): 661-686 (2005) - [j27]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): 63-69 (2005) - [j26]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): 41-46 (2005) - 2004
- [j25]Cliff B. Jones, John Cooke:
Editorial. Formal Aspects Comput. 16(1): 1- (2004) - [j24]Cliff B. Jones, D. J. Cooke, Christiane Notarmarco:
Online First Publication. Formal Aspects Comput. 16(1): 4- (2004) - [j23]Cliff B. Jones, Michael R. Hansen:
Editorial. Formal Aspects Comput. 16(2): 95- (2004) - 2003
- [j22]Cliff B. Jones:
The Early Search for Tractable Ways of Reasoning about Programs. IEEE Ann. Hist. Comput. 25(2): 26-49 (2003) - [j21]Cliff B. Jones:
Operational semantics: Concepts and their expression. Inf. Process. Lett. 88(1-2): 27-32 (2003) - 2002
- [j20]Cliff B. Jones:
Editorial. Formal Aspects Comput. 14(2): 91 (2002) - 2001
- [j19]M. Lonergan, Cliff B. Jones:
An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30(2): 287-301 (2001) - [j18]Cliff B. Jones:
The Transition from VDL to VDM. J. Univers. Comput. Sci. 7(8): 631-640 (2001) - 2000
- [j17]Cliff B. Jones:
Editorial. Formal Aspects Comput. 12(6): 417 (2000) - 1996
- [j16]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): 16-30 (1996) - [j15]Cliff B. Jones:
Formal Methods Light. ACM Comput. Surv. 28(4es): 121 (1996) - [j14]Cliff B. Jones:
Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods Syst. Des. 8(2): 105-122 (1996) - 1995
- [j13]Cliff B. Jones:
Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995) - 1994
- [j12]Cliff B. Jones, Cornelis A. Middelburg:
A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 31(5): 399-430 (1994) - [j11]Ian J. Hayes, Cliff B. Jones, John E. Nicholls:
Understanding the differences between VDM and Z. ACM SIGSOFT Softw. Eng. Notes 19(3): 75-81 (1994) - 1988
- [j10]Cliff B. Jones:
Theorem proving and software engineering. Softw. Eng. J. 3(1) (1988) - 1984
- [j9]Howard Barringer, J. H. Cheng, Cliff B. Jones:
A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251-269 (1984) - [j8]F. Lockwood Morris, Cliff B. Jones:
An Early Program Proof by Alan Turing. IEEE Ann. Hist. Comput. 6(2): 139-143 (1984) - [j7]Cliff B. Jones:
A Significance Rule for Multiple-Precision Arithmetic. ACM Trans. Math. Softw. 10(1): 97-107 (1984) - 1983
- [j6]Cliff B. Jones:
Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. 5(4): 596-619 (1983) - 1981
- [j5]Cliff B. Jones:
An efficient coding system for long source sequences. IEEE Trans. Inf. Theory 27(3): 280-291 (1981) - 1979
- [j4]Cliff B. Jones:
Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica 11: 119-137 (1979) - 1971
- [j3]Cliff B. Jones:
A New Approach to the 'Hidden Line' Problem. Comput. J. 14(3): 232-237 (1971) - [j2]Wolfgang Henhapl, Cliff B. Jones:
A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971) - 1965
- [j1]Cliff B. Jones:
A special-purpose compiler. Comput. J. 8(2): 109-112 (1965)
Conference and Workshop Papers
- 2024
- [c66]Alan Burns, Cliff B. Jones:
Specifying Fault-Tolerant Mixed-Criticality Scheduling. The Application of Formal Methods 2024: 22-42 - [c65]Cliff B. Jones:
Clarifying Assumptions. The Application of Formal Methods 2024: 43-70 - 2023
- [c64]Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods 2023: 110-135 - 2022
- [c63]Alan Burns, Cliff B. Jones:
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS 2022: 14:1-14:23 - 2019
- [c62]Cliff B. Jones:
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) 2019: 54-72 - 2017
- [c61]Cliff B. Jones:
Turing's 1949 Paper in Context. CiE 2017: 32-41 - [c60]Ian J. Hayes, Cliff B. Jones:
A Guide to Rely/Guarantee Thinking. SETSS 2017: 1-38 - [c59]Cliff B. Jones, Troy K. Astarte:
Challenges for Formal Semantic Description: Responses from the Main Approaches. SETSS 2017: 176-217 - [c58]Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage:
General Lessons from a Rely/Guarantee Development. SETTA 2017: 3-22 - 2015
- [c57]Cliff B. Jones, Nisansala Yatapanage:
Reasoning about Separation Using Abstraction and Reification. SEFM 2015: 3-19 - 2014
- [c56]Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside:
A Model for Capturing and Replaying Proof Strategies. VSTTE 2014: 183-199 - 2013
- [c55]Cliff B. Jones, Leo Freitas, Andrius Velykis:
Ours Is to Reason Why. Theories of Programming and Formal Methods 2013: 227-243 - [c54]Cliff B. Jones:
Expressiveness of Notations for Reasoning about Concurrency. ICECCS 2013: 1 - 2012
- [c53]Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ 2012: 252-265 - [c52]Cliff B. Jones:
Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM 2012: 1-15 - 2010
- [c51]Cliff B. Jones:
Abstractions Before Proofs. VERIFY@IJCAR 2010: 2 - 2008
- [c50]Cliff B. Jones, Ken G. Pierce:
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377 - [c49]Cliff B. Jones:
Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8 - 2007
- [c48]Cliff B. Jones:
Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235 - [c47]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: 364-390 - [c46]Cliff B. Jones, Ken G. Pierce:
What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306 - 2006
- [c45]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: 221-236 - [c44]Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky:
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98 - 2005
- [c43]Cliff B. Jones:
Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69 - [c42]Cliff B. Jones:
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5 - [c41]Cliff B. Jones:
Reasoning About Partial Functions in the Formal Development of Programs. AVoCS 2005: 3-25 - [c40]Cliff B. Jones:
An Approach to Splitting Atoms Safely: Extended Abstract. MFPS 2005: 43-60 - 2003
- [c39]Ian J. Hayes, Michael A. Jackson, Cliff B. Jones:
Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169 - 2002
- [c38]Cliff B. Jones, Alexander B. Romanovsky, Ian Welch:
A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005 - [c37]Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch:
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002: 73-86 - [c36]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: 704-705 - [c35]Cliff B. Jones:
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206 - 2001
- [c34]Cliff B. Jones:
Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130 - 2000
- [c33]Pierre Collette, Cliff B. Jones:
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction 2000: 277-308 - [c32]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: 789-794 - [c31]Cliff B. Jones:
Formal Methods and Dependability. MPC 2000: 140-143 - [c30]Cliff B. Jones:
Dependability of Computer-Based Systems. SBES 2000: 16-20 - 1999
- [c29]Cliff B. Jones:
Scientific Decisions which Characterize VDM. World Congress on Formal Methods 1999: 28-47 - 1998
- [c28]Cliff B. Jones:
Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20 - 1997
- [c27]Cliff B. Jones:
Whither Formal Methods: A Plea to Investigate New Applications. ICFEM 1997: 5- - 1996
- [c26]Cliff B. Jones:
Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17 - 1995
- [c25]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: 1-22 - [c24]Cliff B. Jones:
Granularity and the development of concurrent programs. MFPS 1995: 302-306 - [c23]Cliff B. Jones:
Fixing the semantics of some concurrent object-oriented concepts. MFPS 1995: 307-312 - 1993
- [c22]Cliff B. Jones:
A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR 1993: 158-172 - [c21]Cliff B. Jones:
Reasoning about Interference in an Object-Based Design Method. FME 1993: 1-18 - [c20]Cliff B. Jones:
Constraining Inference in an Object-Based Design Model. TAPSOFT 1993: 136-150 - 1990
- [c19]John S. Fitzgerald, Cliff B. Jones:
Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210 - [c18]Cliff B. Jones:
Interference Revisited. Z User Workshop 1990: 58-73 - 1989
- [c17]Cliff B. Jones:
Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955 - 1988
- [c16]Cliff B. Jones, Peter A. Lindsay:
A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152 - [c15]Cliff B. Jones, Richard C. Moore:
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375 - 1987
- [c14]Cliff B. Jones:
VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286 - 1986
- [c13]Cliff B. Jones:
Software Development Based on Formal Methods. System Development and Ada 1986: 153-172 - 1985
- [c12]Cliff B. Jones:
The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 1985: 27-41 - 1984
- [c11]Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas:
On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155 - 1983
- [c10]Cliff B. Jones:
Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332 - 1981
- [c9]Cliff B. Jones:
Specification as a Design Base (Extended Abstract). ECI 1981: 103-105 - 1980
- [c8]Cliff B. Jones:
Towards More Formal Specifictations. Software Engineering 1980: 19-45 - 1979
- [c7]Cliff B. Jones:
Models of Programming Language Concepts. Abstract Software Specifications 1979: 100-143 - 1978
- [c6]Cliff B. Jones:
The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language 1978: 218-277 - [c5]Cliff B. Jones:
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language 1978: 278-304 - [c4]Wolfgang Henhapl, Cliff B. Jones:
A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336 - 1977
- [c3]Cliff B. Jones:
Program Specifications and Formal Development. International Computing Symposium 1977: 537-553 - 1974
- [c2]Cliff B. Jones:
Formal Definition in Program Development. Programming Methodology 1974: 387-443 - 1972
- [c1]Cliff B. Jones:
Formal development of correct algorithms: An example based on earley's recogniser. Proving Assertions About Programs 1972: 150-169
Parts in Books or Collections
- 2021
- [p11]Cliff B. Jones, Jayadev Misra:
Preface. Theories of Programming 2021 - [p10]Cliff B. Jones, Jayadev Misra:
Finding Effective Abstractions. Theories of Programming 2021: 23-40 - [p9]Cliff B. Jones:
List of Tony Hoare's Publications. Theories of Programming 2021: 395-410 - 2018
- [p8]Cliff B. Jones:
Concurrency: Handling Interference Formally. Symposium on Real-Time and Hybrid Systems 2018: 26-43 - 2014
- [p7]Leo Freitas, Cliff B. Jones, Andrius Velykis:
Can a system learn from interactive proofs? HOWARD-60 2014: 124-139 - 2013
- [p6]Rainer Gmehlich, Cliff B. Jones:
Experience of Deployment in the Automotive Industry. Industrial Deployment of System Engineering Methods 2013: 13-26 - 2010
- [p5]Clifford B. Jones, A. W. Roscoe:
Insight, Inspiration and Collaboration. Reflections on the Work of C. A. R. Hoare 2010: 1-32 - [p4]Clifford B. Jones:
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs. Reflections on the Work of C. A. R. Hoare 2010: 167-187 - 2006
- [p3]Cliff B. Jones:
The DIRC Project as the Context of this Book. Trust in Technology 2006: 217-221 - 1998
- [p2]John S. Fitzgerald, Cliff B. Jones:
Proof in the Analysis of a Model of a Tracking System. Proof in VDM 1998: 1-29 - 1971
- [p1]Cliff B. Jones, P. Lucas:
Proving correctness of implementation techniques. Symposium on Semantics of Algorithmic Languages 1971: 178-211
Editorship
- 2021
- [e19]Cliff B. Jones, Jayadev Misra:
Theories of Programming: The Life and Works of Tony Hoare. ACM Books 39, ACM / Morgan & Claypool 2021, ISBN 978-1-4503-8728-6 [contents] - 2018
- [e18]Cliff B. Jones, Ji Wang, Naijun Zhan:
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5 [contents] - 2014
- [e17]Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents] - 2011
- [e16]Cliff B. Jones, John L. Lloyd:
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 6875, Springer 2011, ISBN 978-3-642-24540-4 [contents] - 2010
- [e15]A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood:
Reflections on the Work of C. A. R. Hoare. Springer 2010, ISBN 978-1-84882-911-4 [contents] - 2009
- [e14]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents] - 2007
- [e13]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
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. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents] - [e12]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents] - 2006
- [e11]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Dagstuhl Seminar Proceedings 06121, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e10]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents] - 2005
- [e9]Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders:
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. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents] - 2004
- [e8]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity in System Design and Execution, 25.04. - 30.04.2004. Dagstuhl Seminar Proceedings 04181, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 1997
- [e7]John S. Fitzgerald, Cliff B. Jones, Peter Lucas:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, ISBN 3-540-63533-5 [contents] - 1996
- [e6]Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek:
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995). Kluwer Academic Publishers 1996, ISBN 0-7923-9770-3 [contents] - 1992
- [e5]Cliff B. Jones, Roger C. Shaw, B. Tim Denvir:
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, Springer London 1992, ISBN 978-3-540-19752-2 [contents] - 1990
- [e4]Manfred Broy, Cliff B. Jones:
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. North-Holland 1990, ISBN 0-444-88545-5 [contents] - 1987
- [e3]Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold:
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3 [contents] - 1984
- [e2]Cliff B. Jones:
Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177, Springer 1984, ISBN 3-540-13378-X [contents] - 1978
- [e1]Dines Bjørner, Cliff B. Jones:
The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4 [contents]
Informal and Other Publications
- 2024
- [i13]Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones:
Data reification in a concurrent rely-guarantee algebra. CoRR abs/2405.05546 (2024) - [i12]Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Handling expression evaluation under interference. CoRR abs/2409.07741 (2024) - 2023
- [i11]Nisansala P. Yatapanage, Cliff B. Jones:
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. CoRR abs/2311.15189 (2023) - [i10]Cliff B. Jones, Alan Burns:
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR abs/2312.00171 (2023) - 2020
- [i9]Cliff B. Jones, Martyn Thomas:
The development and deployment of formal methods in the UK. CoRR abs/2006.06327 (2020) - [i8]Cliff B. Jones, Alan Burns:
A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR abs/2012.01493 (2020) - 2016
- [i7]Cliff B. Jones, Ian J. Hayes:
Possible values: exploring a concept for concurrency. CoRR abs/1601.02132 (2016) - [i6]Manuel Mazzara, Cliff B. Jones, Alexei Iliasov:
Lessons from DEPLOYment. CoRR abs/1607.00475 (2016) - 2012
- [i5]Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore:
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012) - 2006
- [i4]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 - [i3]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 - 2004
- [i2]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 - 1985
- [i1]Cliff B. Jones, T. N. Nipkow, Mario Wolczko:
MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings 1985: 25-34
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-21 00:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
