| 2006 |
|---|
| 22 | EE | Abhijeet Joglekar,
Steve King:
Software iSCSI over iWARP on a General Purpose CPU.
CLUSTER 2006 |
| 2005 |
|---|
| 21 | | Helen Treharne,
Steve King,
Martin C. Henson,
Steve A. Schneider:
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
Springer 2005 |
| 20 | EE | Diyaa-Addein Atiya,
Steve King:
Extending Ravenscar with CSP Channels.
Ada-Europe 2005: 79-90 |
| 19 | EE | Jagun Kwon,
Andy J. Wellings,
Steve King:
Ravenscar-Java: a high-integrity profile for real-time Java.
Concurrency - Practice and Experience 17(5-6): 681-713 (2005) |
| 18 | EE | Diyaa-Addein Atiya,
Steve King,
Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.
Electr. Notes Theor. Comput. Sci. 137(2): 5-22 (2005) |
| 2003 |
|---|
| 17 | | Didier Bert,
Jonathan P. Bowen,
Steve King,
Marina A. Waldén:
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
Springer 2003 |
| 16 | EE | Diyaa-Addein Atiya,
Steve King,
Jim Woodcock:
A Circus Semantics for Ravenscar Protected Objects.
FME 2003: 617-635 |
| 15 | EE | Jagun Kwon,
Andy J. Wellings,
Steve King:
Predictable Memory Utilization in the Ravenscar-Java Profile.
ISORC 2003: 267-276 |
| 14 | EE | Jagun Kwon,
Andy J. Wellings,
Steve King:
Assessment of the Java programming language for use in high integrity systems.
SIGPLAN Notices 38(4): 34-46 (2003) |
| 2002 |
|---|
| 13 | EE | Michael Huber,
Steve King:
Towards an Integrated Model Checker for Railway Signalling Data.
FME 2002: 204-223 |
| 12 | EE | Jagun Kwon,
Andy J. Wellings,
Steve King:
Ravenscar-Java: a high integrity profile for real-time Java.
Java Grande 2002: 131-140 |
| 2001 |
|---|
| 11 | EE | Darren Foulger,
Steve King:
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.
Ada-Europe 2001: 229-240 |
| 2000 |
|---|
| 10 | | Jonathan P. Bowen,
Steve Dunne,
Andy Galloway,
Steve King:
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
Springer 2000 |
| 9 | EE | Steve King,
Carroll Morgan:
An Iterator Construct for the Refinement Calculus.
IWFM 2000 |
| 8 | EE | Samuel H. Valentine,
Ian Toyn,
Susan Stepney,
Steve King:
Type-Constrained Generics for Z.
ZB 2000: 250-263 |
| 7 | EE | Ian Toyn,
Samuel H. Valentine,
Susan Stepney,
Steve King:
Typechecking Z.
ZB 2000: 264-285 |
| 6 | EE | Steve King,
Jonathan Hammond,
Roderick Chapman,
Andy Pryor:
Is Proof More Cost-Effective Than Testing?
IEEE Trans. Software Eng. 26(8): 675-686 (2000) |
| 1999 |
|---|
| 5 | EE | Steve King,
Jonathan Hammond,
Roderick Chapman,
Andy Pryor:
The Value of Verification: Positive Experience of Industrial Proof.
World Congress on Formal Methods 1999: 1527-1545 |
| 4 | EE | Steve King:
`The Standard Logic for Z': A Clarification.
Formal Asp. Comput. 11(4): 472-473 (1999) |
| 1995 |
|---|
| 3 | | Steve King,
Carroll Morgan:
Exits in the Refinement Calculus.
Formal Asp. Comput. 7(1): 54-76 (1995) |
| 1991 |
|---|
| 2 | | Ian Houston,
Steve King:
CICS Project Report: Experiences and Results from the use of Z in IBM.
VDM Europe (1) 1991: 588-596 |
| 1990 |
|---|
| 1 | | Steve King:
Z and the Refinement Calculus.
VDM Europe 1990: 164-188 |
