The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve King: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002