


Остановите войну!
for scientists:


default search action
Cliff 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
2020 – today
- 2023
- [c63]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
- [j57]Cliff B. Jones, Martyn Thomas:
The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. 34(1): 1-21 (2022) - [c62]Alan Burns, Cliff B. Jones:
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS 2022: 14:1-14:23 - 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 - [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] - 2020
- [b7]Cliff B. Jones
:
Understanding Programming Languages. Springer 2020, ISBN 978-3-030-59256-1, pp. 1-229 - [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) - [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)
2010 – 2019
- 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) - [c61]Cliff B. Jones:
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) 2019: 54-72 - 2018
- [p8]Cliff B. Jones
:
Concurrency: Handling Interference Formally. Symposium on Real-Time and Hybrid Systems 2018: 26-43 - [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] - 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) - [c60]Cliff B. Jones
:
Turing's 1949 Paper in Context. CiE 2017: 32-41 - [c59]Ian J. Hayes
, Cliff B. Jones
:
A Guide to Rely/Guarantee Thinking. SETSS 2017: 1-38 - [c58]Cliff B. Jones
, Troy K. Astarte
:
Challenges for Formal Semantic Description: Responses from the Main Approaches. SETSS 2017: 176-217 - [c57]Cliff B. Jones
, Andrius Velykis, Nisansala Yatapanage
:
General Lessons from a Rely/Guarantee Development. SETTA 2017: 3-22 - 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) - [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) - 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) - [c56]Cliff B. Jones
, Nisansala Yatapanage
:
Reasoning about Separation Using Abstraction and Reification. SEFM 2015: 3-19 - 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) - [c55]Leo Freitas, Cliff B. Jones
, Andrius Velykis, Iain Whiteside:
A Model for Capturing and Replaying Proof Strategies. VSTTE 2014: 183-199 - [p7]Leo Freitas, Cliff B. Jones, Andrius Velykis:
Can a system learn from interactive proofs? HOWARD-60 2014: 124-139 - [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] - 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) - [c54]Cliff B. Jones
, Leo Freitas, Andrius Velykis:
Ours Is to Reason Why. Theories of Programming and Formal Methods 2013: 227-243 - [c53]Cliff B. Jones
:
Expressiveness of Notations for Reasoning about Concurrency. ICECCS 2013: 1 - [p6]Rainer Gmehlich, Cliff B. Jones
:
Experience of Deployment in the Automotive Industry. Industrial Deployment of System Engineering Methods 2013: 13-26 - 2012
- [j43]Cliff B. Jones:
John McCarthy (1927-2011). Formal Aspects Comput. 24(3): 305-306 (2012) - [c52]Cliff B. Jones
, Matthew J. Lovert, L. Jason Steggles:
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ 2012: 252-265 - [c51]Cliff B. Jones
:
Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM 2012: 1-15 - [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) - 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) - [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
- [c50]Cliff B. Jones:
Abstractions Before Proofs. VERIFY@IJCAR 2010: 2 - [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 - [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]
2000 – 2009
- 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] - 2008
- [j39]John R. D. 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) - [c49]Cliff B. Jones
, Ken G. Pierce:
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377 - [c48]Cliff B. Jones
:
Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8 - 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) - [c47]Cliff B. Jones
:
Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235 - [c46]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 - [c45]Cliff B. Jones
, Ken G. Pierce:
What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306 - [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
- [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 - [j31]Cliff B. Jones
, Peter W. O'Hearn, Jim Woodcock
:
Verified Software: A Grand Challenge. Computer 39(4): 93-95 (2006) - [c44]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 - [c43]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 - [p3]Cliff B. Jones
:
The DIRC Project as the Context of this Book. Trust in Technology 2006: 217-221 - [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] - [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 - 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) - [c42]Cliff B. Jones
:
Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69 - [c41]Cliff B. Jones
:
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5 - [c40]Cliff B. Jones
:
Reasoning About Partial Functions in the Formal Development of Programs. AVoCS 2005: 3-25 - [c39]Cliff B. Jones
:
An Approach to Splitting Atoms Safely: Extended Abstract. MFPS 2005: 43-60 - [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
- [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) - [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] - [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 - 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) - [c38]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
- [j20]Cliff B. Jones:
Editorial. Formal Aspects Comput. 14(2): 91 (2002) - [c37]Cliff B. Jones
, Alexander B. Romanovsky, Ian Welch:
A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005 - [c36]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 - [c35]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 - [c34]Cliff B. Jones
:
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206 - 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) - [c33]Cliff B. Jones
:
Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130 - 2000
- [j17]Cliff B. Jones:
Editorial. Formal Aspects Comput. 12(6): 417 (2000) - [c32]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 - [c31]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 - [c30]Cliff B. Jones
:
Formal Methods and Dependability. MPC 2000: 140-143
1990 – 1999
- 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 - [p2]John S. Fitzgerald, Cliff B. Jones:
Proof in the Analysis of a Model of a Tracking System. Proof in VDM 1998: 1-29 - 1997
- [c27]Cliff B. Jones
:
Whither Formal Methods: A Plea to Investigate New Applications. ICFEM 1997: 5- - [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
- [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) - [c26]Cliff B. Jones
:
Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17 - [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] - 1995
- [j13]Cliff B. Jones
:
Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (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]