• Publications
  • Influence
A System for the Analysis of Jet Engine Vibration Data
TLDR
A system has been developed to extract diagnostic information from jet engine carcass vibration data. Expand
  • 95
  • 11
Ravenscar‐Java: a high‐integrity profile for real‐time Java
TLDR
This paper presents a Java profile for the development of software‐intensive high‐integrity real‐time systems. Expand
  • 60
  • 10
  • PDF
Rheology of Bovine Bone Marrow
The viscosity of bovine bone marrow was measured using samples taken from proximal and distal sites of five radii. The viscosity was found to be independent of shear rate and temperature above 37°CExpand
  • 71
  • 8
Species identification in cell culture: a two-pronged molecular approach
Species identification of cell lines and detection of cross-contamination are crucial for scientific research accuracy and reproducibility. Whereas short tandem repeat profiling offers a solution forExpand
  • 133
  • 5
  • PDF
Ravenscar-Java: a high integrity profile for real-time Java
TLDR
This paper presents a Java profile for the development of software-intensive high integrity real-time systems. Expand
  • 78
  • 5
The Structure of Empathy in Social Work Practice
This article presents a detailed theoretical framework demonstrating how empathy is used in the practice of social work. This consists of affective, cognitive, and behavioral dimensions of empathyExpand
  • 27
  • 5
Is Proof More Cost-Effective Than Testing?
TLDR
The paper describes the use of formal development methods on an industrial safety-critical application. Expand
  • 107
  • 4
  • PDF
Research Productivity in Top-Ranked Schools in Psychology and Social Work: Does Having a Research Culture Matter?
The h-index for all social work and psychology tenured or tenure-track faculty in the top 25 social work programs and psychology departments as ranked by U.S. News and World Report in 2012 and 2013,Expand
  • 26
  • 4
CICS Project Report: Experiences and Results from the use of Z in IBM
TLDR
This paper describes some experiences and results arising from the use of Z in two major projects at the Hursley Park laboratory of IBM 1 United Kingdom Laboratories Ltd. Expand
  • 110
  • 3
Z and the Refinement Calculus
  • S. King
  • Computer Science
  • VDM Europe
  • 17 April 1990
TLDR
We explore the differences between Z and the refinement calculus, and explain the reasons for some of those differences. Expand
  • 73
  • 2