1 citations · 2 across the 4 of their papers we have counts for
4 papers
A Rely-Guarantee Specification of Mixed-Criticality Scheduling
Cliff B Jones, Alan Burns
The application considered is mixed-criticality scheduling. The core formal approaches used are Rely-Guarantee conditions and the Timeband framework; these are applied to give a la…
The development and deployment of formal methods in the UK
Cliff B. Jones, Martyn Thomas
UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequenc…
Lessons from DEPLOYment
Manuel Mazzara, Cliff Jones, Alexei Iliasov
This paper reviews the major lessons learnt during two significant pilot projects by Bosch Research during the DEPLOY project. Principally, the use of a single formalism, even when…
Possible values: exploring a concept for concurrency
Cliff B. Jones, Ian J. Hayes
An important issue in concurrency is interference. This issue manifests itself in both shared-variable and communication-based concurrency --- this paper focusses on the former cas…