Steve King

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Topics

Fitness Function

Generation Algorithm

Test Data Generation

Top Venues

Formal Aspects Comput.

Publications

Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
Test-data generation for control coverage by proof. Formal Aspects Comput. 26 (4) (2014)
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King
A Plug-in Based Approach for UML Model Simulation. ECMFA (2012)
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King
The Use of Model Transformation in the INESS Project. FMCO (2009)
Diyaa-Addein Atiya, Steve King, Jim Woodcock
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Jagun Kwon, Andy J. Wellings, Steve King
Ravenscar-Java: a high-integrity profile for real-time Java. Concurr. Pract. Exp. 17 (5-6) (2005)
Diyaa-Addein Atiya, Steve King
Extending Ravenscar with CSP Channels. Ada-Europe (2005)
Diyaa-Addein Atiya, Steve King, Jim Woodcock
A Circus Semantics for Ravenscar Protected Objects. FME (2003)
Jagun Kwon, Andy J. Wellings, Steve King
Predictable Memory Utilization in the Ravenscar-Java Profile. ISORC (2003)
Jagun Kwon, Andy J. Wellings, Steve King
Assessment of the Java programming language for use in high integrity systems. ACM SIGPLAN Notices 38 (4) (2003)
Jagun Kwon, Andy J. Wellings, Steve King
Ravenscar-Java: a high integrity profile for real-time Java. Java Grande (2002)
Michael Huber, Steve King
Towards an Integrated Model Checker for Railway Signalling Data. FME (2002)
Darren Foulger, Steve King
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Ada-Europe (2001)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
Is Proof More Cost-Effective Than Testing? IEEE Trans. Software Eng. 26 (8) (2000)
Steve King, Carroll Morgan
An Iterator Construct for the Refinement Calculus. IWFM (2000)
Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
Typechecking Z. ZB (2000)
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
Type-Constrained Generics for Z. ZB (2000)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods (1999)
Alexandre Nairac, Neil W. Townsend, Roy Carr, Steve King, Peter Cowley, Lionel Tarassenko
A System for the Analysis of Jet Engine Vibration Data. Integr. Comput. Aided Eng. 6 (1) (1999)
Steve King
'The Standard Logic for Z': A Clarification. Formal Aspects Comput. 11 (4) (1999)
Steve King
Historical Demography, Life-cycle Reconstruction and Family Reconstitution: New Perspectives. Hist. Comput. 8 (2) (1996)
Steve King, Carroll Morgan
Exits in the Refinement Calculus. Formal Aspects Comput. 7 (1) (1995)
Steve King
Multiple-source Record Linkage in a Rural Industrial Community, 1680-1820. Hist. Comput. 6 (3) (1994)
Ian Houston, Steve King
CICS Project Report: Experiences and Results from the use of Z in IBM. VDM Europe (1) (1991)
Steve King
Z and the Refinement Calculus. VDM Europe (1990)