Steve King
Steve King
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
Ravenscar‐Java: A high‐integrity profile for real‐time Java
J Kwon, A Wellings, S King
Concurrency and Computation: Practice and Experience 17 (5‐6), 681-713, 2005
1562005
Is proof more cost-effective than testing?
S King, J Hammond, R Chapman, A Pryor
IEEE Transactions on software Engineering 26 (8), 675-686, 2000
143*2000
CICS project report experiences and results from the use of Z in IBM
I Houston, S King
International Symposium of VDM Europe, 588-596, 1991
1341991
Z and the refinement calculus
S King
International Symposium of VDM Europe, 164-188, 1990
1131990
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
D Bert, JP Bowen, MC Henson, K Robinson
Springer, 2003
422003
Z, Grammar and Concrete and Abstract Syntaxes
S King, IH Sørensen, J Woodcock
Oxford University. Computing Laboratory. Programming Research Group, 1988
361988
Assessment of the Java programming language for use in high integrity systems
J Kwon, A Wellings, S King
Acm sigplan notices 38 (4), 34-46, 2003
322003
Exits in the refinement calculus
S King, C Morgan
Formal aspects of computing 7 (1), 54-76, 1995
281995
The value of verification: Positive experience of industrial proof
S King, J Hammond, R Chapman, A Pryor
International Symposium on Formal Methods, 1527-1545, 1999
251999
ZB 2005: Formal Specification and Development in Z and B
H Treharne, S King, MC Henson, S Schneider
4th international conference of B and Z users, Guildford, UK, 2005
212005
Towards an integrated model checker for railway signalling data
M Huber, S King
International Symposium of Formal Methods Europe, 204-223, 2002
212002
From specification, through design to code: a case study in refinement, formal methods
S King
Theory and practice, 103-137, 1989
171989
The CICS application programming interface: Program control
S King
IBM Hursley Park Technical Report TR12 302, 1990
111990
Type-constrained generics for Z
SH Valentine, I Toyn, S Stepney, S King
International Conference of B and Z Users, 250-263, 2000
82000
Mathematics for specification and design: The problem with lifts
JCP Woodcock, S King, IH Sorensen
Fourth International Workshop on Software Specification and Design, 265-268, 1987
81987
Predictable memory utilization in the Ravenscar-Java profile
J Kwon, A Wellings, S King
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2003
72003
Using the spark toolset for showing the absence of run-time errors in safety-critical software
D Foulger, S King
International Conference on Reliable Software Technologies, 229-240, 2001
72001
Specification and design of a library system
S King, IH Sørensen
McDermid [284], 1989
71989
A Circus Semantics for Ravenscar Protected Objects
DA Atiya, S King, JCP Woodcock
International Symposium of Formal Methods Europe, 617-635, 2003
62003
Typechecking Z
I Toyn, SH Valentine, S Stepney, S King
International Conference of B and Z Users, 264-285, 2000
62000
The system can't perform the operation now. Try again later.
Articles 1–20