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: King:Steve
Contributed to:
2012
2005
2003200220011999
19901991Wrote 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.