Staff Profile
Emeritus Professor Cliff Jones
Emeritus Professor
- Personal Website: http://homepages.cs.ncl.ac.uk/cliff.jones
Background
Introduction
Cliff Jones is a Professor of Computing Science at Newcastle.
Room USB 6.036
Please see my personal web site:
http://homepages.cs.ncl.ac.uk/cliff.jones
Research
For more information, please see my personal web site.
Publications
-
Articles
- Jones CB. Three Early Formal Approaches to the Verification of Concurrent Programs. Minds and Machines 2024, 34, 73–92.
- Jones CB, Burns A. Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods in System Design 2024, 62, 119-140.
- Jones CB, Thomas M. The development and deployment of formal methods in the UK. Formal Aspects of Computing 2022, 34(1), 6.
- Jones CB, Yatapanage N. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects of Computing 2019, 31, 353-374.
- Burns A, Hayes IJ, Jones CB. Deriving specifications of control programs for cyber physical systems. The Computer Journal 2019, 63(5), 774-790.
- Jones CB, Hayes IJ. Possible values: exploring a concept for concurrency. Logical and Algebraic Methods in Programming 2016, 85(Issue 5 Part 2), 972-984.
- Jones CB, Hayes IJ, Colvin RJ. Balancing expressiveness in formal approaches to concurrency. Formal Aspects of Computing 2015, 27(3), 475-497.
- Jones CB, Lovert MJ, Steggles LJ. Revising basic theorem proving algorithms to cope with the logic of partial functions. Science of Computer Programming 2014, 94(2), 238-252.
- Hall JW, Henriques JJ, Hickford AJ, Nicholls RJ, Baruah P, Birkin M, Chaudry M, Curtis TP, Eyre N, Jones C, Kilsby CG, Leathard A, Lorenz A, Malleson N, McLeod F, Powrie W, Preston J, Rai N, Street R, Stringfellow A, Thoung C, Tyler P, Velykiene R, Watson G, Watson JW. Assessing the Long-Term Performance of Cross-Sectoral Strategies for National Infrastructure. Journal of Infrastructure Systems 2014, 20(3).
- Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Degrees of Non-Determinism in Expression Evaluation. The Computer Journal 2013, 56(6), 741-755.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing. Formal Aspects of Computing 2012. Submitted.
- Jones CB, Lovert MJ. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics 2011, 5(1-2, part I), 55-76.
- Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing 2011, 23(3), 289-306.
- Fitzgerald JS, Jones CB. The connection between two ways of reasoning about partial functions. Information Processing Letters 2008, 107(3-4), 128-132.
- Hughes JRD, Jones CB. Reasoning about programs via operational semantics: requirements for a support system. Automated Software Engineering 2008, 15(3-4), 299-312.
- Jones CB. Splitting atoms safely. Theoretical Computer Science 2007, 375(1-3), 109-119.
- Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation 2007, 17(4), 807-841.
- Jones C, O'Hearn P, Woodcock J. Verified Software: a Grand Challenge. Computer 2006, 39(4), 93-95.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. SIGMOD Record 2005, 34(1), 63-69.
- Jones CB. Panelist position statement: reasoning about the design of programs. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2005, 363(1835), 2395-2396.
- Burton J, Jones CB. Investigating Atomicity and Observability. Journal of Universal Computer Science 2005, 11(5), 661-686.
- Burton JI, Jones CB. Atomicity in System Design and Execution. Journal of Universal Computer Science 2005, 11(5), 634-635.
- Jones CB. The early search for tractable ways of reasoning about programs. IEEE Annals of the History of Computing 2003, 25(2), 26-49.
- Jones CB. Operational Semantics: concepts and their expression. Information Processing Letters 2003, 88(1-2), 27-32.
- Jones CB. The transition from VDL to VDM. Journal of Universal Computer Science 2001, 7(8), 631-640.
- Clarke EM, Wing JM, et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 1996, 28(4), 626-643.
- Jones CB. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 1996, 8(2), 105-122.
- Jones CB. A Rigorous Approach to Formal Methods. Computer 1996, 29(4), 20-21.
- Jones CB. Partial Functions and Logics: A Warning. Information Processing Letters 1995, 54(2), 65-67.
- Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. ACM SIGSOFT Software Engineering Notes 1994, 19(3), 75-81.
- Jones CB, Middelburg CA. A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 1994, 31(5), 399-430.
- Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) 1993, 1(1), 7-30.
- Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Software Engineering Journal 1989, 4(6), 330-338.
- Jones CB. Theorem proving and software engineering. Software Engineering Journal 1988, 3(1), 2-2.
- Jones CB. Specyfikacje a programy II. Informatyka 1987, 11, 2-6.
- Jones CB. Specyfikacje a programy I. Informatyka 1987, 10, 1-4.
- Jones CB. Specification and verification [Foreword]. IEEE Transactions on Software Engineering 1984, SE-10(2), 126-127.
- Morris FL, Jones CB. An Early Program Proof by Alan Turing. IEEE Annals of the History of Computing 1984, 6(2), 139-143.
- Barringer H, Cheng JH, Jones CB. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 1984, 21(3), 251-269.
- Jones CB. Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems 1983, 5(4), 596-619.
- Jones CB. Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica 1979, 11(2), 119-137.
- Jones CB. Structured design and coding: Theory versus practice. Informatie 1977, 19(6), 311-319.
- Hanford KV, Jones CB. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages. Annual Review in Automatic Programming 1973, 7, 115-140.
- Henhapl W, Jones CB. A Run-Time Mechanism for Referencing Variables. Information Processing Letters 1971, 1(1), 14-16.
- Jones CB. A special purpose compiler. The Computer Journal 1965, 8(2), 109-112.
-
Authored Books
- Jones CB. Understanding Programming Languages. Berlin: Springer, 2020.
- Jones CB. VDM: une méthode rigoureuse pour le développement du logiciel. Paris: Masson, 1993.
- Jones CB. Systematic Software Development using VDM (2nd edition). London: Prentice Hall, 1990.
- Jones CB. Systematic Software Development Using VDM (1st edition). Englewood Cliffs, NJ: Prentice Hall International, 1986.
- Jones CB. Konstruowanie oprogramowania metodą systematyczną. Warsaw: Wydawnictwa Naukowo-Techniczne, 1984.
- Bjørner D, Jones CB. Formal Specification and Software Development. Englewood Cliffs, NJ: Prentice Hall International, 1982.
- Jones CB. Software Development: A Rigorous Approach. Englewood Cliffs, NJ: Prentice Hall, 1980.
-
Book Chapters
- Burns A, Jones CB. Specifying Fault-Tolerant Mixed-Criticality Scheduling. In: The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.22-42.
- Freitas L, Buhagiar AJ, Scott III WE. SmartAudits: Applying Timebands to a Medical Device. In: Ana Cavalcanti, James Baxter, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Cham: Springer, 2024, pp.131-152.
- Jones CB. Clarifying Assumptions. In: Simon Foster, Augusto Sampaio, ed. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.43-70.
- Jones CB, Burns A. A Rely-Guarantee Specification of Mixed-Criticality Scheduling. In: Cassano, V; Aguirre, N; Castro, P; Demasi, R, ed. Mathematical Foundations of Software Engineering: Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement. College Publications, 2022.
- Jones CB, Misra J. Finding Effective Abstractions. In: Theories of programming: the life and works of Tony Hoare. ACM, 2021, pp.23-40. In Preparation.
- Astarte TK, Jones CB. Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context. In: Reflections on Programming Systems. Cham: Springer, 2018, pp.83-152.
- Jones CB. Concurrency: Handling interference formally. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cambridge, UK: Springer Verlag, 2018, pp.26-43.
- Oughton EJ, Tran M, Jones CB, Ebrahimy R. Digital communications and information systems. In: Jim W. Hall, Martino Tran, Adrian J. Hickford, Robert J. Nicholls, ed. The Future of National Infrastructure: A System-of-Systems Approach. Cambridge: Cambridge University Press, 2016, pp.181-202.
- Jones CB. Turing's "Checking a Large Routine". In: Cooper, S.B., van Leeuven, J, ed. Alan Turing: His Work and Impact. London: Elsevier, 2013, pp.455-460.
- Jones CB, Freitas L, Velykis A. Ours is to reason why. In: Liu, Z., Woodcock, J., Zhu, H, ed. Theories of Programming and Formal Methods. Berlin; New York: Springer Verlag, 2013, pp.227-243.
- Ghmehlich R, Jones C. Experience of Deployment in the Automotive Industry. In: Romanovsky, A; Thomas, M, ed. Industrial Deployment of System Engineering Methods. Springer Verlag, 2013. In Press.
- Jones CB. The role of auxiliary variables in the formal development of concurrent programs. In: Jones, C.B., Roscoe, A.W., Wood, K.R, ed. Reflections on the Work of C.A.R. Hoare. London: Springer, 2010, pp.167-188.
- Jones CB, Roscoe AW. Insight, inspiration and collaboration. In: Jones, C.B., Roscoe, A.W., Wood, K.R, ed. Reflections on the work of C.A.R. Hoare. London: Springer, 2010, pp.1-32.
- Jones CB. From Problem Frames to HJJ (and its known unknowns). In: Nuseibeh, B., Zave, P, ed. Software Requirements and Design: The Work of Michael Jackson. lulu.com: Good Friends Publishing Company, 2010, pp.357-372.
- Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. In: Jones CB; Liu Z; Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007, pp.364-390.
- Jones CB, Randell B. The role of structure: a dependability perspective. In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
- Jones CB. The DIRC Project as the context of this book. In: Clarke, K., Hardstone, G., Rouncefield, M., Sommerville, I, ed. Trust in Technology: a Socio-Technical Perspective. Dordrecht: Springer, 2006, pp.217-221.
- Jones CB, Randell B. Dependable Pervasive Systems. In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
- Jones CB. Wanted: a Compositional Approach to Concurrency. In: McIver, A. and Morgan, C, ed. Programming Methodology. New York: Springer-Verlag, 2003, pp.5-15.
- Collette P, Jones CB. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. In: Plotkin, G.D., Stirling, C.P. and Tofte, M, ed. Proof, Language and Interaction: Essays in Honour of Robin Milner. Cambridge, MA, USA: MIT Press, 2000, pp.277-307.
- Hayes IJ, Jones CB. Specifications are not (necessarily) executable. In: Bowen, J.P. and Hinchey, M.G, ed. High-Integrity System Specification and Design. London: Springer-Verlag, 1999, pp.563-581.
- Jones CB, Bjorner D. Foreword. In: Fitzgerald, J.S. and Larsen, P.G, ed. Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge: Cambridge University Press, 1998, pp.ix-x.
- Fitzgerald JS, Jones CB. A tracking system. In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
- Gurd JR, Jones CB. The Global-yet-Personal Information System. In: Wand, I. and Milner, R, ed. Computing Tomorrow: Future research directions in computer science. Cambridge: Cambridge University Press, 1996, pp.127-157.
- Jones CB. Foreword. In: Woodcock, J.C.P. and Davies, J, ed. Using Z: Specification, Refinement, and Proof. London: Prentice Hall, 1996.
- Jones CB. Process Algebra Arguments about an Object-Based Notation. In: Roscoe, A.W, ed. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall PTR, 1994, pp.231-246.
- Jones CB. Foreword. In: Bicarregui, J.C., Fitzgerald, J.S., Lindsay, P.A., Moore, R. and Ritchie, B, ed. Proof in VDM: A Practitioner's Guide. Berlin: Springer-Verlag, 1994, pp.v-vi.
- Jones CB. Can computer programs be trusted?. In: Calder, N, ed. Scientific Europe: Research and Technology in 20 Countries. Maastricht: Foundation Scientific Europe, 1991, pp.304-309.
- Jones CB. Consequences. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.220-225.
- Jones CB. A small language definition. In: Jones, C.B. and Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990, pp.235-256.
- Jones CB. Data reification. In: McDermid, J.A, ed. The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. London: Butterworths, 1989, pp.79-89.
- Jones CB. Systematic program development. In: Gehani, N. and McGettrick, A.D, ed. Software Specification Techniques. Wokingham: Addison-Wesley, 1986, pp.89-110.
- Jones CB. Foreword. In: Denvir, T, ed. Introduction to Discrete Mathematics for Software Engineering. Basingstoke: Macmillan Education, 1986, pp.vii-vii.
- Jones CB. Die Rolle abstrakter Modelle in der Informationsverarbeitung. In: Chroust, G, ed. Heinz Zemanek - ein Computerpionier. Wien: R. Oldenbourg Verlag, 1985.
- Jones CB. The role of formal specifications in software development. In: Life-Cycle Management. Maidenhead: Infotech Information Ltd, 1980, pp.117-133.
- Jones CB. The META-Language: A Reference Manual. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.218-277.
- Jones CB. Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.278-304.
- Henhapl W, Jones CB. A Formal Definition of Algol 60 as Described in the 1975 Modified Report. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.305-336.
- Jones CB, Lucas P. Proving Correctness of Implementation Techniques. In: Engeler, E, ed. Symposium on Semantics of Algorithmic Languages. Berlin: Springer-Verlag, 1971, pp.178-211.
-
Conference Proceedings (inc. Abstracts)
- Hayes IJ, Jones CB, Meinicke LM. Specifying and Reasoning about Shared Variable Concurrency. In: Theories of Programming and Formal Methods. 2023, Shanghai: Springer.
- Burns A, Jones CB. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). 2022, Modena: Leibniz-Zentrum für Informatik.
- Jones CB. Turing’s 1949 Paper in Context. In: 13th Conference on Computability in Europe (CiE 2017). 2017, Turku, Finland: Springer Verlag.
- Jones CB, Velykis A, Yatapanage N. General Lessons from a Rely/Guarantee Development. In: 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA). 2017, Changsha, China: Springer Verlag.
- Jones CB, Astarte TK. Challenges for Formal Semantic Description: Responses from the Main Approaches. In: Third International School on Engineering Trustworthy Software Systems (SETSS 2017). 2017, Chongqing, China: Springer.
- Jones CB, Yatapanage N. Reasoning about Separation Using Abstraction and Reification. In: 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). 2015, York, UK: Springer.
- Jones CB, Yatapanage N. Reasoning about Separation using Abstraction and Reification. In: Software Engineering and Formal Methods: 13th International Conference (SEFM 2015). 2015, York, UK: Springer International Publishing.
- Ciancia V, Martinelli F, Ilaria M, Morisset C. Quantitative evaluation of enforcement strategies position paper. In: 6th International Symposium on Foundations and Practice of Security (FPS 2013). 2014, La Rochelle, France: Springer.
- Iliasov A, Lopatkin I, Romanovsky A. Practical formal methods in railways - The SafeCap approach. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
- Satvat K, Forshaw M, Hao F, Toreini E. On the privacy of private browsing - A forensic approach. In: 8th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM 2013). 2014, Egham, UK: Springer.
- Morisset C, Gross T, van Moorsel A, Yevseyeva I. Nudging for quantitative access control systems. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer.
- Crampton J, Morisset C. Monotonicity and completeness in attribute-based access control. In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer Verlag.
- Coopamootoo KPL, Gross T. Mental models for usable privacy: A position paper. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer Verlag.
- Sinmai K, Andras P. Mapping on surfaces: Supporting collaborative work using interactive tabletop. In: 20th International Conference on Collaboration and Technology (CRIWG 2014). 2014, Santiago, Chile: Springer Verlag.
- Osorio C, Papagiannidis S. Main factors for joining new social networking sites. In: First International Conference on HCI in Business (HCIB 2014). 2014, Crete, Greece: Springer Verlag.
- Modesti P. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx . In: 10th International Workshop on Security and Trust Management (STM). 2014, Switzerland: Springer, Cham.
- Freitas L, Jones CB, Velykis A. Can a system learn from interactive proofs?. In: HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday. 2014, EasyChair.
- Freitas L, Jones CB, Velykis A, Whiteside I. A Model for Capturing and Replaying Proof Strategies. In: VSTTE 2014: Verified Software: Theories, Tools and Experiments. 2014, Vienna, Austria: Springer, Cham.
- Hao F. Verifiable classroom voting: Where cryptography meets pedagogy. In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
- Hao F, Clarke D, Shepherd C. Verifiable classroom voting: Where cryptography meets pedagogy. In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
- Dietrich D, Whiteside I, Aspinall D. Polar: A framework for proof refactoring. In: LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning. 2013, Stellenbosch, South Africa: Springer.
- Jones CB. Expressiveness of Notations for Reasoning about Concurrency. In: 18th International Conference on Engineering of Complex Computer Systems (ICECCS). 2013, Singapore, Southeast Asia: IEEE.
- Jones CB. Abstraction as a Unifying Link for Formal Approaches to Concurrency. In: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012. 2012, Thessaloniki, Greece: Springer Verlag.
- Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. In: Abstract State Machines, B and Z: First International Conference (ABZ 2008). 2008, London, UK: Springer-Verlag.
- Jones CB. Some Interdisciplinary Observations about Getting the "Right" Specification. In: Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference (VSTTE 2005). 2008, Zurich, Switzerland: Springer.
- Jones CB. Reflections on, and predictions for, support systems for the development of programs. In: 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. 2008, L'Aquila, Italy: IEEE.
- Jones CB. Understanding programming language concepts via operational semantics. In: 4th International Colloquium on Theoretical Aspects of Computing (ITAC 2007): Training School on Domain Modeling and the Duration Calculus. 2007, Shanghai, China: Springer.
- Leavens GT, Abrial J-R, Batory D, Butler M, Coglio A, Fisler K, Hehner E, Jones C, Miller D, Peyton-Jones S, Sitaraman M, Smith DR, Stump A. Roadmap for enhanced languages and methods to aid verification. In: Fifth International Conference on Generative Programming and Component Engineering (GPCE). 2006, Portland, Oregon: ACM Press.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
- Jones CB. Reasoning about partial functions in the formal development of programs. In: 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005). 2005, University of Warwick, UK: Electronic Notes in Theoretical Computer Science: Elsevier.
- Jones C, Periorellis P, Romanovsky A, Welch I. Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems. In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2003, Luxembourg-Kirchberg, Luxembourg: Springer.
- Jones C. Operational Semantics Revisited. In: 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering. 2003, Warsaw, Poland.
- Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. In: International Symposium of Formal Methods Europe (FME). 2003, Pisa, Italy: Springer.
- Jones CB. A formal basis for some dependability notions. In: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST. 2003, Lisbon, Portugal: Springer.
- Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. In: DIRC Workshop on Open Source Software Development. 2002, University of Newcastle upon Tyne, UK: Dependability Interdisciplinary Research Collaboration (DIRC).
- Dobson J, Jones C, Procter R, Rouncefield M, Williams R. Editorial message: Special track on inter-disciplinary approaches to the design of dependable computer systems. In: ACM Symposium on Applied Computing. 2002, Madrid, Spain: ACM Press.
- Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. In: 26th Annual International Computer Software and Applications Conference (COMPSAC). 2002, Oxford, UK: IEEE Computer Society Press.
- Jones CB. Thinking Tools for the Future of Computing Science. In: Informatics: 10 Years Back, 10 Years Ahead. 2001, Saarbrücken, Germany: Springer-Verlag.
- Randell B, Stroud R, Jones C et al. DSoS (Dependable Systems of Systems). In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Jones CB. Formal methods and dependability. In: Mathematics of Program Construction 2000. 2000, Oxford, UK: Springer.
- Jones CB. Dependability of Computer-Based Systems. In: XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000). 2000, Joao Pessoa, Paraiba, Brazil.
- Jones CB. Compositionality, Inference and Concurrency. In: 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science. 2000, St. Catherine's College, Oxford University, UK: Palgrave Macmillan.
- Jones CB. Scientific Decisions which Characterise VDM. In: FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. 1999, Toulouse, France: Springer-Verlag.
- Jones CB. Some mistakes I have made and what I have learned from them. In: Fundamental Approaches to Software Engineering: First International Conference (FASE'98). 1998, Lisbon, Portugal: Springer-Verlag.
- Jones CB. Whither formal methods? A plea to investigate new applications. In: 1st IEEE International Conference on Formal Engineering Methods (ICFEM '97). 1997, Hiroshima, Japan: IEEE Computer Society Press.
- Jones C. TANSTAAFL (with partial functions). In: CADE-13 Workshop on the Mechanization of Partial Functions. 1996, Rutgers University, New Brunswick, NJ, USA.
- Jones CB. Some Practical Problems and Their Influence on Semantics. In: 6th European Symposium on Programming (ESOP '96): Programming Languages and Systems. 1996, Linköping, Sweden: Springer-Verlag.
- Jones CB, Hodges SJ. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence. 1996, Schloss Dagstuhl, Germany: Kluwer Academic Publishers.
- Jones CB. Describing the Semantics of Concurrent Object-Oriented Languages. In: 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL 3). 1996, New Brunswick, New Jersey, USA.
- Jones CB. Lessons from the development of a concurrent program: formality as a guide to intuition. In: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95). 1995, Warsaw, Poland.
- Jones CB. Granularity and the development of concurrent programs. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
- Jones CB. Fixing the semantics of some concurrent object-oriented concepts. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
- Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93). 1993, Odense, Denmark: Springer-Verlag.
- Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 4th Nordic Workshop on Program Correctness. 1993, Bergen, Norway: University of Bergen, Department of Informatics.
- Jones CB. Constraining Interference in an Object-Based Design Model. In: 1993 International CAAP/FASE Joint Conference on Theory and Practice of Software Development (TAPSOFT '93). 1993, Orsay, France: Springer-Verlag.
- Jones CB. A pi-Calculus Semantics for an Object-Based Design Notation. In: 4th International Conference on Concurrency Theory (CONCUR '93). 1993, Hildesheim, Germany: Springer-Verlag.
- Jones CB. What inhibits the use of formal methods?. In: 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92). 1992, Oxford, UK.
- Jones CB. Support tools for reification. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
- Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
- Jones CB. Interference revisited. In: 5th Annual Z User Meeting: Z User Workshop. 1991, Oxford, UK: Springer-Verlag.
- Jones CB. Interference resumed. In: 6th Australian Software Engineering Conference: Engineering Safe Software (ASWEC '91). 1991, Sydney, Australia: Australian Computer Society.
- Jones CB. Does the O-O community need formal methods?. In: 4th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 4). 1991, Paris, France: Prentice-Hall.
- Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.
- Jones CB, Moore R. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
- Jones CB, Lindsay PA. A Support System for Formal Reasoning: Requirements and Status. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
- Jones CB. VDM Proof Obligations and their Justification. In: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87). 1987, Brussels, Belgium: Springer-Verlag.
- Jones CB. Software Development Based on Formal Methods. In: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada. 1987, Capri, Italy: Springer-Verlag.
- Jones CB. Program specification and verification in VDM. In: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design. 1987, Marktoberdorf, West Germany: Springer-Verlag.
- Jones CB. Systematic Program Development. In: 1983 CWI Symposium on Mathematics and Computer Science, Centrum voor Wiskunde en Informatica. 1986, Amsterdam: North-Holland.
- Jones CB. Proof obligations for data reification. In: Wissenschaftliches Symposium der IBM Deutschland GmbH: Der Informationsbegriff in Technik und Wissenschaft. 1986, Bad Neuenahr: R. Oldenbourg Verlag.
- Jones CB. The Role of Proof Obligations in Software Design. In: Colloquium on Software Engineering (CSE) at the International Joint Conference on Theory and Practice of Software Development: Mathematical Foundations of Software Development (TAPSOFT). 1985, Berlin, Germany: Springer-Verlag.
- Jones CB. Specification, verification and testing in software development. In: 1984 CSR Workshop on Software: Requirements, Specification and Testing. 1985, University of East Anglia, UK: Blackwell Scientific.
- Cottam ID, Jones CB, Nipkow T et al. Project support environments for formal methods. In: 1985 Conference on Integrated Project Support Environments. 1985, York, UK: Peter Peregrinus Ltd.
- Jones CB, Nipkow TN, Wolczo MI. MDB: A graph-like persistent database. In: Data Types and Persistence: Informal Proceedings of the First Workshop on Persistent Objects (POS -1). 1985, Appin, Scotland.
- Jones CB. Specification and Design of (Parallel) Programs. In: 9th IFIP World Computer Congress (Information Processing 83). 1983, Paris, France: North-Holland/IFIP.
- Jones CB. Rigorous design: Some experiments in top-down design. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Cottam ID, Jones CB, Nipkow T, Wills AC. Mule: A support system for formal specification and rigorous software development. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
- Jones CB. Towards more formal specifications. In: German ACM Symposium on 'Software Specifikation und Entwicklung' : Software Engineering – Entwurf und Specifikation. 1981, Berlin, Germany: Teubner Verlag.
- Jones CB. Specification as a Design Base (Extended Abstract). In: 3rd Conference of the European Cooperation in Informatics: Trends in Information Processing Systems (ECI 81). 1981, Munich, Germany: Springer-Verlag.
- Jones CB. Models of Programming Language Concepts. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1980, Copenhagen, Denmark: Springer-Verlag.
- Bjørner D, Jones CB. The Vienna Development Method: Software abstraction principles and software architecture. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1979, Copenhagen, Denmark.
- Jones CB. The Vienna Development Method: Examples of compiler development. In: 1978 EEC-IRIA-CREST Conference on State of the Art and Future Trends in Compilation: Le Point sur la Compilation. 1978, Montpellier, France: IRIA, Le Chesnay.
- Jones CB. Program Specifications and Formal Development. In: 1977 International Computing Symposium (ICS 77). 1977, Liège, Belgium: North-Holland.
- Jones CB. Some requirements for specification languages. In: 1976 IBM Programming Technology Symposium. 1976, IBM Yorktown Heights Research Center, USA: IBM.
- Jones CB. Formal Definition in Program Development. In: 4th Informatik Symposium: Programming Methodology. 1975, IBM Germany, Wildbad: Springer-Verlag.
- Jones CB. Formal development of correct algorithms: an example based on Earley’s recogniser. In: ACM Conference on Proving Assertions about Programs. 1972, New Mexico State University, Las Cruces, New Mexico: ACM.
- Glassover SN, Hanford KV, Jones CB. The Syntax Machine. In: 1968 IBM Programming Symposium. 1968, Atlantic City, New Jersey, USA: IBM.
- Hanford KV, Jones CB. An Approach to Context Dependency. In: 1967 IBM Programming Symposium. 1967, Swampscott, Mass.,USA: IBM.
-
Edited Books
- Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. Machine Learning, Optimization, and Data Science: Part II. Cham: Springer, 2022.
- Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. Machine Learning, Optimization, and Data Science: Part I. Cham: Springer, 2022.
- Jones CB, Misra J, ed. Theories of programming: the life and works of Tony Hoare. New York: ACM, 2021.
- Jones CB, Lloyd JL, ed. Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday. Berlin: Springer, 2011.
- Jones CB, Roscoe AW, Wood KR, ed. Reflections on the Work of C.A.R. Hoare. London: Springer, 2010.
- Jones CB, Liu Z, Woodcock J, ed. Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007. Berlin: Springer, 2007.
- Jones CB, Liu Z, Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007.
- Besnard D, Gacek C, Jones CB, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006.
- Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006.
- Abdallah AE, Jones CB, Sanders JW, ed. Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004. Berlin: Springer-Verlag, 2005.
- Fitzgerald JS, Jones CB, Lucas P, ed. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Berlin: Springer-Verlag, 1997.
- Freitag B, Jones CB, Lengauer C, Schek H-J, ed. Object Orientation with Parallelism and Persistence. Boston: Kluwer Academic Publishers, 1996.
- Jones CB, Shaw RC, Denvir T, ed. 5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992. New York: Springer-Verlag, 1992.
- Jones CB, Jones KD, Lindsay PA, Moore R, ed. MURAL: A Formal Development Support System. New York: Springer-Verlag, 1991.
- Broy M, Jones CB, ed. Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990. Amsterdam: North-Holland, 1990.
- Jones CB, Shaw RCF, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990.
- Jones CB, ed. Essays in Computing Science. Hemel Hempstead: Prentice Hall, 1989.
- Bjørner D, Jones CB, Mac an Airchinnigh M, Neuhold EJ, ed. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987. Berlin: Springer-Verlag, 1987.
- Jones CB, ed. Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers. Berlin: Springer-Verlag, 1984.
- Bjørner D, Jones CB, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978.
-
Editorials
- Jones C, Romanovsky A. Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface. Science of Computer Programming 2014, 82, 1-1.
- Coleman JW, Jones CB. Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue. Journal of Universal Computer Science 2007, 13(8), 1042-1043.
- Dobson J, Jones C, Proctor R, Rouncefield M, Williams R. Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems. SAC '02: Proceedings of the ACM Symposium on Applied Computing 2002, 704-705.
-
Note
- Jones CB. In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects of Computing 2015, 27(2), 237-237.
-
Reports
- Jones CB. Reasoning about shared-variable concurrency: interactions between research threads. Newcastle University, 2019. School of Computing Technical Report Series 1531.
- Jones C, Yatapanage Nisansala. Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example. Newcastle upon Tyne: School of Computing, Newcastle University, 2018. School of Computing Technical Report Series 1521.
- Bhattacharyya A, Koutny M, Randell B. Towards a Framework for Monotonic Approximations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1506.
- Jones CB, Astarte TK. Challenges for semantic description: Comparing responses from the main approaches. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1516.
- Astarte T, Jones C. An Exegesis of Four Formal Descriptions of ALGOL 60. Newcastle University: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1498.
- Li B, Koutny M. Unfolding CSPT-nets. University of Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1463.
- Jones C, Yatapanage N. Tackling Separation via Abstraction (with proofs). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1447.
- Li B, Randell B. SONCraft user manual. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
- Jones CB, Yatapanage N. Reasoning about Separation using Abstraction and Reification (including proofs). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1472.
- Jones CB. Turing and Software Verification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1441.
- Jones CB, Lovert MJ, Steggles LJ. Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1414.
- Hayes IJ, Jones CB, Colvin RJ. Laws and semantics for rely-guarantee refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1425.
- Janicki R, Kleijn J, Koutny M, Mikulski L. Generalising Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1436.
- Dias D, Freitas L, Jones C. Abstracting Interference in Postconditions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1415.
- Hayes IJ, Jones CB, Colvin RJ. Reasoning about concurrent programs: Refining rely-guarantee thinking. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1395.
- Freitas L, Jones CB, Velykis A, Whiteside I. How to say why (in AI4FM). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1398.
- Jones CB. Balancing Expressiveness in Formal Approaches to Concurrency. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1394.
- Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
- Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1317.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1334.
- Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
- Hao F, Clarke D. How to Delete a Secret. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1364.
- Jones CB. Abstraction as a unifying link for formal approaches to concurrency. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1339.
- Randell B. A Turing Enigma. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1342.
- Jones C. A specification for ACMs. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1360.
- Jones CB, Lovert MJ, Steggles LJ. A Semantic Analysis of Logics that Cope with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1310.
- Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
- Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Models of Nondeterministic Expression Evaluation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1273.
- Velykiene R, Jones CB. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1282.
- Jones CB, Pierce KG. What Can the pi-calculus Tell Us About the Mondex Purse System?. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1185.
- Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1186.
- Jones CB, Grov G, Bundy A. Ideas for a high-level proof strategy language. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1210.
- Grov G, Jones CB. AI4FM: A new project seeking challenges!. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1216.
- Jones CB. The role of auxiliary variables in the formal development of concurrent programs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1179.
- Jones CB. From Problem Frames to HJJ (and its known unknowns). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1163.
- Jones CB, Pierce KG. Elucidating Concurrent Algorithms via Layers of Abstraction and Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1166.
- Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
- Jones CB. Understanding programming language concepts via Operational Semantics. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1046.
- Fitzgerald JS, Jones CB. The Connection between Two Ways of Reasoning about Partial Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
- Butler M, Jones CB, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
- Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1045.
- Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules (revised). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1029.
- Jones CB, Hayes IJ, Jackson MA. Specifying systems that connect to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 964.
- Jones CB. RODIN: Intermediate report on methodology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 990.
- Coleman JW, Jones CB. Guaranteeing the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 955.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 981.
- Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Dimensions of Dynamic Coalitions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 963.
- Coleman JW, Jefferson NP, Jones CB. Comments on several years of teaching of modelling programming language concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 978.
- Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 987.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 886.
- Jones CB. Splitting Atoms Safely. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 883.
- Jones CB. Specification before Satisfaction. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 892.
- Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E. RODIN (Rigorous Open Development Environment for Complex Systems). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 896.
- Butler M, Jones C, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 915.
- Burton J, Jones CB. Investigating Atomicity and Observability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 920.
- Hoare T, Jones C, Randell B. Extending the Horizons of DSE (GC6). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 853.
- Jones C, Randell B. Dependable Pervasive Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 839.
- Coleman JW, Jefferson NP, Jones CB. Black Tie Optional: Modelling Programming Language Concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 844.
- Jones C. Operational Semantics: concepts and their expression. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 806.
- Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 782.
- Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 808.
- Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 762.
- Romanovsky A, Fabre JC, Issarny V, Jones C, Levy N, Marsden E, Periorellis P, Rodriguez M, Tartanoglu F, Welch I. Further Results on Architectures and Dependability Mechanisms for Dependable SoSs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 779.
- Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 770.
- Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
- Jones CB. On the Search for Tractable Ways of Reasoning about Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 740.
- Fitzgerald JS, Jones CB. Proof in the Analysis of a Model of a Tracking System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
- Collette P, Jones CB. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Manchester: Manchester University, 1995. UMCS-95-10-3.
- Gurd JR, Jones CB. The global-yet-personal information system. Manchester: Manchester University, 1994. UMCS-94-4-1.
- Hayes IJ, Jones CB, Nicholls JE. Understanding the differences between VDM and Z. Manchester: Manchester University, 1993. UMCS-93-8-1.
- Jones CB. Process algebraic foundations for an object-based design notation. Manchester: Manchester University, 1993. UMCS-93-10-1.
- Jones CB, Monahan BQ. An introduction to pi-calculus. 1993.
- Jones CB, Middelburg CA. A typed logic of partial functions reconstructed classically. Utrecht: Utrecht University, Department of Philosophy, 1993. Logic Group Preprint Series 89.
- Jones CB. The search for tractable ways of reasoning about programs. Manchester: University of Manchester, 1992. UMCS-92-4-4.
- Jones CB, McCauley AM. Formal methods – selected historical references. Manchester: Manchester University, 1992. UMCS-92-12-2.
- Jones CB. An object-based design method for concurrent programs. Manchester: University of Manchester, 1992. UMCS-92-12-1.
- Jones CB. Some comments on (BSI) VDMSL. BSI Committee, 1991.
- Jones CB. Operation quotation in VDM. London: Adelard, 1991.
- Jones CB. Interference resumed. Manchester: University of Manchester, 1991. UMCS-91-5-1.
- Jones CB. Systematic software development using VDM (second edition) teaching notes. London: Prentice Hall International, 1990.
- Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Queensland, Australia: Key Centre for Software Technology, Department of Computer Science, University of Queensland, 1990. 148.
- Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. Manchester: University of Manchester, 1990. UMCS-90-3-1.
- Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. Manchester: University of Manchester, 1990. UMCS 90-1-1.
- Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Manchester: University of Manchester, 1989. UMCS-89-12-1.
- Jones CB. Response to Arentoft and Larsen's 'Underspecification and non-determinism note'. BSI, 1988. IST/5/50 Document no. 67.
- Jones CB. Combining implicit/explicit function definitions in the VDM protostandard. BSI, 1988. IST/5/50 Document no. 58.
- Jones CB. Teaching notes (second version) for 'Systematic software development using VDM'. Manchester: University of Manchester, 1987. UMCS 87-12-9.
- Jones CB, Moore R. An experimental user interface for a theorem proving assistant. Manchester: University of Manchester, 1987. UMCS 87-12-8.
- Jones CB. Teaching notes for systematic software development using VDM. Manchester: University of Manchester, 1986. UMCS-86-4-2.
- Jones CB. Program specification and verification in VDM. Manchester: University of Manchester, 1986. UMCS 86-10-5.
- Cottam ID, Jones CB, Nipkow TN, Wills AC, Wolczko M, Yaghi A. Mule - an environment for rigorous software development. Manchester: Department of Computer Science, University of Manchester, 1986.
- Jones CB, Lindsay P, Wadsworth C. IPSE 2.5 theorem proving concepts paper. Manchester University and Rutherford Appleton Laboratory, 1986. 060/00021/1.5.
- Denvir BT, Downes VA, Jones CB, Snowdon RA, Tordoff MK. IPSE 2.5 project proposal. ICL/STC-IDEC/STL/University of Manchester, 1985.
- Barringer H, Jones CB. A survey of verification techniques for parallel programs. Manchester: University of Manchester, 1982.
- Jones CB. Development methods for computer programs including a notion of interference. Oxford: Programming Research Group, Computing Lab, Oxford University, 1981. PRG-25.
- Jones CB. Some requirements for specification languages. Vienna: IBM Laboratory, 1976. LN 25.3.108.
- Jones CB. Formal definition in compiler development. Vienna: IBM Laboratory, 1976. 25.145.
- Bekic H, Izbicki H, Jones CB, Weissenbock F. Some experiments with using a formal language definition in compiler development. Vienna: IBM Laboratory, 1975. LN 25.3.107.
- Bekic H, Bjørner D, Henhapl W, Jones CB, Lucas P. A formal definition of a PL/I subset. Vienna: IBM Laboratory, 1974. 25.139.
- Allen CD, Jones CB. The formal development of an algorithm. Hursley: IBM Laboratory, 1973. 12.110.
- Chapman DN, Jones CB. Formal development: An example using FDSS. Hursley: IBM Laboratory, 1973. TN 9007.
- Jones CB. Formal development of programs. Hursley: IBM Laboratory, 1973. 12.117.
- Jones CB. Operations and formal development. Hursley: IBM Laboratory, 1972. TN 9004.
- Allen CD, Chapman DN, Jones CB. A formal definition of ALGOL 60. Hursley: IBM Laboratory, 1972. 12.105.
- Jones CB. Sufficient properties for implementation correctness. Hursley: IBM Laboratory, 1971. TN 9002.
- Jones CB. Formal development of correct algorithms: an example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. 12.095.
- Hanford KV, Jones CB. Dynamic syntax: A concept for the definition of the syntax of programming languages. Hursley: IBM Laboratory, 1971. 12.090.
- Jones CB. Development of correct programs: An example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. TN 9000.
- Jones CB. Yet another proof of the block concept. Vienna: IBM Laboratory, 1970. LN 25.3.075.
- Henhapl W, Jones CB. The block concept and some possible implementations, with proofs of equivalence. Vienna: IBM Laboratory, 1970. 25.104.
- Henhapl W, Jones CB. Some observations on the implementation of reference mechanisms for automatic variables. Vienna: IBM Laboratory, 1970. LR 25.3.070.
- Jones CB, Lucas P. Proving correctness of implementation techniques. Vienna: IBM Laboratory, 1970. 25.110.
- Henhapl W, Jones CB. On the interpretation of GOTO statements in the ULD. Vienna: IBM Laboratory, 1970. LN 25.3.065.
- Jones CB. A technique for showing that two functions preserve a relation between their domains. Vienna: IBM Laboratory, 1970. LR 25.3.067.
- Henhapl W, Jones CB. A run-time mechanism for referencing variables. Vienna: IBM Laboratory, 1970. LR 25.3.074.
- Glassover SM, Hanford KV, Jones CB. The syntax machine: A description. Hursley: IBM Laboratory, 1969. 12.078.
- Jones CB. A proof of the correctness of some optimising techniques. Vienna: IBM Laboratory, 1969. LN 25.3.051.
- Jones CB. A proof of the correctness of an interpreter based on axiom schema. Vienna: IBM Laboratory, 1969. LN 25.3.053.
- Jones CB. A comparison of two approaches to language definition as bases for the construction of proofs. Vienna: IBM Laboratory, 1969. LN 25.3.050.
- Glassover SM, Hanford KV, Jones CB. The syntax machine: An introduction. Hursley: IBM Laboratory, 1968. 12.077.
- Jones CB. Mathematical semantics of goto: Exit formulation and its relation to continuations. Vienna: IBM Laboratory, 1968.
- Schofield PB, Jones CB. APEX manual. Hursley: IBM Laboratory, Hursley, 1966.
- Jones CB. A retrospective view of APEX (Automatic Production of Executable Programs). Hursley: IBM Laboratory, 1966. 12.065.
- Schofield PB, Jones CB. A random generator for the automatic production of executable PL/I programs (APEX). Hursley: IBM Laboratory, 1966. 12.062.