Cliff B. Jones
Affiliations: Newcastle University, Newcastle upon Tyne, UK
According to our database^{1},
Cliff B. Jones
authored at least 136 papers
between 1965 and 2021.
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 OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on cs.ncl.ac.uk

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
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
CoRR, 2020
CoRR, 2020
Comput. J., 2020
Springer, ISBN: 9783030592561, 2020
2019
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example.
Formal Aspects Comput., 2019
Formal Aspects Comput., 2019
Reasoning About SharedVariable Concurrency: Interactions Between Research Threads.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Proceedings of the Symposium on RealTime 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
CoRR, 2016
2015
Formal Aspects Comput., 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
Formal Aspects Comput., 2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Proceedings of the HOWARD60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
Comput. J., 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
Formal Aspects Comput., 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
Int. J. Softw. Informatics, 2011
Formal Aspects Comput., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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
Formal Aspects Comput., 2008
Formal Aspects Comput., 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
Theor. Comput. Sci., 2007
J. Log. Comput., 2007
J. Univers. Comput. Sci., 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Formal Methods and Hybrid RealTime Systems, 2007
Proceedings of the Domain Modeling and the Duration Calculus, 2007
2006
Proceedings of the Trust in Technology: A SocioTechnical Perspective, 2006
Electron. Notes Theor. Comput. Sci., 2006
Computer, 2006
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.
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  computerbased systems from an interdisciplinary perspective.
Springer, ISBN: 9781846281105, 2006
2005
SIGMOD Rec., 2005
J. Univers. Comput. Sci., 2005
J. Univers. Comput. Sci., 2005
Atomicity in System Design and Execution (Proceedings of DagstuhlSeminar 04181) J.UCS Special Issue.
J. Univers. Comput. Sci., 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 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
Formal Aspects Comput., 2004
Formal Aspects Comput., 2004
Formal Aspects Comput., 2004
2003
Inf. Process. Lett., 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 interdisciplinary 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
J. Univers. Comput. Sci., 2001
Algorithmica, 2001
Proceedings of the Informatics  10 Years Back. 10 Years Ahead., 2001
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
Accommodating Interference in the Formal Design of Concurrent ObjectBased Programs.
Formal Methods Syst. Des., 1996
ACM Comput. Surv., 1996
Computer, 1996
Proceedings of the Programming Languages and Systems, 1996
1995
Inf. Process. Lett., 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
NonInterference Properties of a Concurrent ObjectBased 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
ACM SIGSOFT Softw. Eng. Notes, 1994
Acta Informatica, 1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the FME '93: IndustrialStrength Formal Methods, 1993
Proceedings of the CONCUR '93, 1993
1991
Mural  a formal development support system.
Springer, ISBN: 354019651X, 1991
Systematic software development using VDM (2. ed.).
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 9780138807337, 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
Softw. Eng. J., 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: 9780138807252, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
MDB: A GraphLike Persistent Database.
Proceedings of the Data Types and Persistence, 1985
1984
ACM Trans. Math. Softw., 1984
IEEE Ann. Hist. Comput., 1984
Acta Informatica, 1984
Proceedings of the Programming Languages and Their Definition  Hans Bekic (19361982), 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
IEEE Trans. Inf. Theory, 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: 9780138218843, 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 MetaLanguage, 1978
Proceedings of the Vienna Development Method: The MetaLanguage, 1978
Proceedings of the Vienna Development Method: The MetaLanguage, 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
Formal development of correct algorithms: An example based on earley's recogniser.
Proceedings of ACM Conference on Proving Assertions About Programs, 1972
1971
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971
Inf. Process. Lett., 1971
Comput. J., 1971
1965
Comput. J., 1965