| 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 | 157 | 2002 |
| 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 | 149* | 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 | 146 | 1991 |
| Z and the refinement calculus S King International Symposium of VDM Europe, 164-188, 1990 | 123 | 1990 |
| 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 Springer Science & Business Media, 2002 | 62* | 2002 |
| Z, Grammar and Concrete and Abstract Syntaxes S King, IH Sørensen, J Woodcock Oxford University Computing Laboratory, Programming Research Group, 1988 | 40 | 1988 |
| 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 | 31 | 2003 |
| 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 | 30 | 1999 |
| Exits in the refinement calculus S King, C Morgan Formal aspects of computing 7, 54-76, 1995 | 30 | 1995 |
| 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 | 25 | 2005 |
| Towards an integrated model checker for railway signalling data M Huber, S King FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 23 | 2002 |
| Robust function-on-function regression H Hullait, DS Leslie, NG Pavlidis, S King Technometrics 63 (3), 396-409, 2021 | 19 | 2021 |
| From specification, through design to code: a case study in refinement, formal methods S King Theory and practice, 103-137, 1989 | 18 | 1989 |
| The CICS application programming interface: Program control S King IBM Hursley Park Technical Report TR12 302, 1990 | 11 | 1990 |
| Specification and design of a library system S King, IH Sørensen McDermid [284], 1989 | 10 | 1989 |
| 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 | 9 | 1987 |
| 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 | 8 | 2000 |
| 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 | 7 | 2005 |
| 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 | 7 | 2003 |
| A Circus Semantics for Ravenscar Protected Objects DA Atiya, S King, JCP Woodcock FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 7 | 2003 |
Jim WoodcockProfessor of Software Engineering, University of YorkVerifisert e-postadresse på york.ac.uk