BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Denmark
Collaborated with:
D.Atiya J.Woodcock M.Huber D.Foulger I.Houston J.Hammond R.Chapman A.Pryor A.Radjenovic R.F.Paige L.M.Rose
Talks about:
ravenscar (2) experi (2) model (2) use (2) industri (1) calculus (1) approach (1) toolset (1) softwar (1) railway (1)

Person: Steve King

DBLP DBLP: King:Steve

Contributed to:

ECMFA 20122012
Ada-Europe 20052005
FME 20032003
FME 20022002
Ada-Europe 20012001
World Congress on Formal Methods 19991999
VDM Europe 19901990
VDM Europe (1) 19911991

Wrote 9 papers:

ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
AdaEurope-2005-AtiyaK #csp
Extending Ravenscar with CSP Channels (DAA, SK), pp. 79–90.
FME-2003-AtiyaKW #semantics
A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.
FME-2002-HuberK #model checking #towards
Towards an Integrated Model Checker for Railway Signalling Data (MH, SK), pp. 204–223.
AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
FM-v2-1999-KingHCP #experience #industrial #proving #verification
The Value of Verification: Positive Experience of Industrial Proof (SK, JH, RC, AP), pp. 1527–1545.
VDME-1990-King #calculus #refinement
Z and the Refinement Calculus (SK), pp. 164–188.
VDME-1991-HoustonK #case study #cics #experience #using
CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.