Steve King

According to our database1, Steve King authored at least 24 papers between 1990 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Test-data generation for control coverage by proof.
Formal Asp. Comput., 2014

2012
A Plug-in Based Approach for UML Model Simulation.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2009
The Use of Model Transformation in the INESS Project.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2005
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.
Electr. Notes Theor. Comput. Sci., 2005

Ravenscar-Java: a high-integrity profile for real-time Java.
Concurrency - Practice and Experience, 2005

Extending Ravenscar with CSP Channels.
Proceedings of the Reliable Software Technology, 2005

2003
Assessment of the Java programming language for use in high integrity systems.
SIGPLAN Notices, 2003

Predictable Memory Utilization in the Ravenscar-Java Profile.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

A Circus Semantics for Ravenscar Protected Objects.
Proceedings of the FME 2003: Formal Methods, 2003

2002
Ravenscar-Java: a high integrity profile for real-time Java.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

Towards an Integrated Model Checker for Railway Signalling Data.
Proceedings of the FME 2002: Formal Methods, 2002

2001
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Is Proof More Cost-Effective Than Testing?
IEEE Trans. Software Eng., 2000

Type-Constrained Generics for Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Typechecking Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

An Iterator Construct for the Refinement Calculus.
Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999
A System for the Analysis of Jet Engine Vibration Data.
Integrated Computer-Aided Engineering, 1999

'The Standard Logic for Z': A Clarification.
Formal Asp. Comput., 1999

The Value of Verification: Positive Experience of Industrial Proof.
Proceedings of the FM'99 - Formal Methods, 1999

1996
Historical Demography, Life-cycle Reconstruction and Family Reconstitution: New Perspectives.
History and Computing, 1996

1995
Exits in the Refinement Calculus.
Formal Asp. Comput., 1995

1994
Multiple-source Record Linkage in a Rural Industrial Community, 1680-1820.
History and Computing, 1994

1991
CICS Project Report: Experiences and Results from the use of Z in IBM.
Proceedings of the VDM '91, 1991

1990
Z and the Refinement Calculus.
Proceedings of the VDM '90, 1990


  Loading...