Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Emeritus Professor Cliff Jones

Newcastle AuthorsTitleYearFull text
Emeritus Professor Cliff Jones
Correction: Three Early Formal Approaches to the Verification of Concurrent Programs2025
Emeritus Professor Cliff Jones
Clarifying Assumptions2024
Emeritus Professor Cliff Jones
Clarifying Assumptions2024
Emeritus Professor Cliff Jones
Extending rely-guarantee thinking to handle real-time scheduling2024
Emeritus Professor Cliff Jones
Specifying Fault-Tolerant Mixed-Criticality Scheduling2024
Emeritus Professor Cliff Jones
Three Early Formal Approaches to the Verification of Concurrent Programs2024
Professor Ian Hayes
Emeritus Professor Cliff Jones
Specifying and Reasoning about Shared Variable Concurrency2023
Emeritus Professor Cliff Jones
A Rely-Guarantee Specification of Mixed-Criticality Scheduling2022
Emeritus Professor Cliff Jones
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems2022
Emeritus Professor Cliff Jones
The development and deployment of formal methods in the UK2022
Emeritus Professor Cliff Jones
Theories of programming: the life and works of Tony Hoare2021
Emeritus Professor Cliff Jones
Understanding Programming Languages2020
Emeritus Professor Cliff Jones
 Reasoning about shared-variable concurrency: interactions between research threads2019
Emeritus Professor Cliff Jones
Deriving specifications of control programs for cyber physical systems2019
Emeritus Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example2019
1234567891011121314151617181920...>>