Search the dblp DataBase
Steve King: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Diyaa-Addein Atiya, Steve King
Extending Ravenscar with CSP Channels. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2005, pp:79-90 [Conf] - 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] - 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] - 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] - Michael Huber, Steve King
Towards an Integrated Model Checker for Railway Signalling Data. [Citation Graph (0, 0)][DBLP]
FME, 2002, pp:204-223 [Conf] - Steve King
Z and the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1990, pp:164-188 [Conf] - 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] - 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] - Steve King, Carroll Morgan
An Iterator Construct for the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
IWFM, 2000, pp:- [Conf] - 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] - Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
Typechecking Z. [Citation Graph (0, 0)][DBLP]
ZB, 2000, pp:264-285 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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.002secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002