Follow
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
Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, 131-140, 2002
1582002
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
148*2000
CICS project report experiences and results from the use of Z in IBM
I Houston, S King
VDM'91 Formal Software Development Methods: 4th International Symposium of …, 1991
1471991
Z and the refinement calculus
S King
International Symposium of VDM Europe, 164-188, 1990
1211990
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
66*2003
Z, Grammar and Concrete and Abstract Syntaxes
S King, IH Sørensen, J Woodcock
Oxford University. Computing Laboratory. Programming Research Group, 1988
421988
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
312003
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
291999
Exits in the refinement calculus
S King, C Morgan
Formal aspects of computing 7, 54-76, 1995
281995
ZB 2005: Formal Specification and Development in Z and B
H Treharne, S King, MC Henson, SA Schneider
4th International Conference of B and Z Users, 2005
262005
Towards an integrated model checker for railway signalling data
M Huber, S King
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
232002
From specification, through design to code: a case study in refinement, formal methods
S King
Theory and practice, 103-137, 1989
181989
Robust function-on-function regression
H Hullait, DS Leslie, NG Pavlidis, S King
Technometrics 63 (3), 396-409, 2021
172021
The CICS application programming interface: Program control
S King
IBM Hursley Park Technical Report TR12 302, 1990
111990
Specification and design of a library system
S King, IH Sørensen
McDermid [284], 1989
111989
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
91987
Type-constrained generics for Z
SH Valentine, I Toyn, S Stepney, S King
ZB 2000: Formal Specification and Development in Z and B: First …, 2000
82000
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
H Treharne, S King, M Henson, S Schneider
Springer, 2005
72005
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
A Circus Semantics for Ravenscar Protected Objects
DA Atiya, S King, JCP Woodcock
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
72003
The system can't perform the operation now. Try again later.
Articles 1–20