Research output per year
Research output per year
Search results
-
2014
Test-Data Generation for Control Coverage by Proof
Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014, In: Formal Aspects of Computing. 26, 4, p. 795-823 29 p.Research output: Contribution to journal › Article › peer-review
-
2005
Ravenscar-Java: a high-integrity profile for real-time Java
Kwon, J., Wellings, A. & King, S., 2005, In: Concurrency and Computation: Practice and Experience. 17, 5-6, p. 681-713 33 p.Research output: Contribution to journal › Article › peer-review
-
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Atiya, D.-A., King, S. & Woodcock, J., 2005, In: Electronic Notes in Theoretical Computer Science. 137, 2, p. 5-22 18 p.Research output: Contribution to journal › Article › peer-review
-
2003
Assessment of the Java programming language for use in high integrity systems
Kwon, J., Wellings, A. J. & King, S., Apr 2003, In: SIGPLAN notices. 38, 4, p. 34-46 13 p.Research output: Contribution to journal › Article › peer-review
-
2000
Is proof more cost-effective than testing?
King, S., Hammond, J., Chapman, R. & Pryor, A., Aug 2000, In: IEEE Transactions on Software Engineering. 26, 8, p. 675-686 12 p.Research output: Contribution to journal › Article › peer-review
-
1999
`The Standard Logic for Z': A Clarification
King, S., 1999, In: Formal Aspects of Computing. 11, 4, p. 472-473 2 p.Research output: Contribution to journal › Article › peer-review
-
1995
Exits in the Refinement Calculus
King, S. & Morgan, C., 1995, In: Formal Aspects of Computing. 7, 1, p. 54-76 23 p.Research output: Contribution to journal › Article › peer-review