Steve King

27 papers B 1C 1Misc 2Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2021 — ch.
Software Specification.
Theories of Programming
Ian J. Hayes, Steve King
2014 J jnl
Test-data generation for control coverage by proof.
Formal Aspects Comput.
Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
2012 B conf
A Plug-in Based Approach for UML Model Simulation.
ECMFA
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King
2009 — conf
The Use of Model Transformation in the INESS Project.
FMCO
Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King
2005 Misc conf
Extending Ravenscar with CSP Channels.
Ada-Europe
Diyaa-Addein Atiya, Steve King
2005 J jnl
Ravenscar-Java: a high-integrity profile for real-time Java.
Concurr. Pract. Exp.
Jagun Kwon, Andy J. Wellings, Steve King
2005 — conf
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.
REFINE
Diyaa-Addein Atiya, Steve King, Jim Woodcock
2005 — ed.
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
ZB
Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider
2003 — conf
A Circus Semantics for Ravenscar Protected Objects.
FME
Diyaa-Addein Atiya, Steve King, Jim Woodcock
2003 J jnl
Assessment of the Java programming language for use in high integrity systems.
ACM SIGPLAN Notices
Jagun Kwon, Andy J. Wellings, Steve King
2003 C conf
Predictable Memory Utilization in the Ravenscar-Java Profile.
ISORC
Jagun Kwon, Andy J. Wellings, Steve King
2003 — ed.
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
ZB
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
2002 — conf
Ravenscar-Java: a high integrity profile for real-time Java.
Java Grande
Jagun Kwon, Andy J. Wellings, Steve King
2002 — conf
Towards an Integrated Model Checker for Railway Signalling Data.
FME
Michael Huber, Steve King
2001 Misc conf
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.
Ada-Europe
Darren Foulger, Steve King
2000 — conf
An Iterator Construct for the Refinement Calculus.
IWFM
Steve King, Carroll Morgan
2000 J jnl
Is Proof More Cost-Effective Than Testing?
IEEE Trans. Software Eng.
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
2000 — conf
Type-Constrained Generics for Z.
ZB
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
2000 — conf
Typechecking Z.
ZB
Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
2000 — ed.
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings
ZB
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
1999 J jnl
'The Standard Logic for Z': A Clarification.
Formal Aspects Comput.
Steve King
1999 — conf
The Value of Verification: Positive Experience of Industrial Proof.
World Congress on Formal Methods
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
1996 J jnl
Historical Demography, Life-cycle Reconstruction and Family Reconstitution: New Perspectives.
Hist. Comput.
Steve King
1995 J jnl
Exits in the Refinement Calculus.
Formal Aspects Comput.
Steve King, Carroll Morgan
1994 J jnl
Multiple-source Record Linkage in a Rural Industrial Community, 1680-1820.
Hist. Comput.
Steve King
1991 — conf
CICS Project Report: Experiences and Results from the use of Z in IBM.
VDM Europe (1)
Ian Houston, Steve King
1990 — conf
Z and the Refinement Calculus.
VDM Europe
Steve King