Cliff B. Jones
Orcid: 0000-0002-0038-6623Affiliations:
- Newcastle University, Newcastle upon Tyne, UK
According to our database1,
Cliff B. Jones
authored at least 143 papers
between 1965 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1995, "A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.ncl.ac.uk
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Formal Methods Syst. Des., June, 2024
Minds Mach., February, 2024
2023
CoRR, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
Formal Aspects Comput., 2022
Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022
2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
2020
Comput. J., 2020
2019
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example.
Formal Aspects Comput., 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
The Turing Guide - By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99).
Formal Aspects Comput., 2017
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017
Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017
Proceedings of the Unveiling Dynamics and Complexity, 2017
2016
J. Log. Algebraic Methods Program., 2016
2015
Formal Aspects Comput., 2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
2014
Sci. Comput. Program., 2014
Revising basic theorem proving algorithms to cope with the logic of partial functions.
Sci. Comput. Program., 2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
Dagstuhl Reports, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Formal Aspects Comput., 2011
2010
Proceedings of the 6th International Verification Workshop, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2008
Inf. Process. Lett., 2008
Reasoning about programs via operational semantics: requirements for a support system.
Autom. Softw. Eng., 2008
Reflections on, and Predictions for, Support Systems for the Development of Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
Proceedings of the Domain Modeling and the Duration Calculus, 2007
2006
Proceedings of the Trust in Technology: A Socio-Technical Perspective, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006
Structure for dependability - computer-based systems from an interdisciplinary perspective.
Springer, ISBN: 978-1-84628-110-5, 2006
2005
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue.
J. Univers. Comput. Sci., 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
Proceedings of the Verified Software: Theories, 2005
2004
2003
IEEE Ann. Hist. Comput., 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Algorithmica, 2001
Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001
2000
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
Proceedings of the Proof in VDM: Case Studies, 1998
1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
1996
Formal Methods Syst. Des., 1996
Proceedings of the Programming Languages and Systems, 1996
1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics.
Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995
1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
Proceedings of the CONCUR '93, 1993
1991
Mural - a formal development support system.
Springer, ISBN: 3-540-19651-X, 1991
Systematic software development using VDM (2. ed.).
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-880733-7, 1991
1990
Interference Revisited.
Proceedings of the Z User Workshop, 1990
Proceedings of the VDM '90, 1990
1989
Position Statement for the Panel on Foundations of Software Engineering.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Proceedings of the VDM '88, 1988
Proceedings of the VDM '88, 1988
1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
1986
Software Development Based on Formal Methods.
Proceedings of the Software Development and Ada, 1986
Systematic software development using VDM.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-880725-2, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
MDB: A Graph-Like Persistent Database.
Proceedings of the Data Types and Persistence, 1985
1984
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984
1983
ACM Trans. Program. Lang. Syst., 1983
Specification and Design of (Parallel) Programs.
Proceedings of the Information Processing 83, 1983
1981
PhD thesis, 1981
Proceedings of the Trends in Information Processing Systems, 1981
1980
Towards More Formal Specifictations.
Proceedings of the Software Engineering, 1980
Software development - a rigorous approach.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-821884-3, 1980
1979
Acta Informatica, 1979
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979
1978
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
Proceedings of the Vienna Development Method: The Meta-Language, 1978
Proceedings of the Vienna Development Method: The Meta-Language, 1978
Proceedings of the Vienna Development Method: The Meta-Language, 1978
1977
Program Specifications and Formal Development.
Proceedings of the International Computing Symposium 1977, 1977
1974
Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974
1972
Proceedings of ACM Conference on Proving Assertions About Programs, 1972
1971
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971
1965