We stand with Ukraine

We stand with Ukraine

Steve King

Affiliations:

University of York, UK

According to our database¹, Steve King authored at least 23 papers between 1990 and 2021.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Software Specification.

[BibT_eX]

[DOI]

,

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2014

Test-data generation for control coverage by proof.

[BibT_eX]

[DOI]

,

,

Colin O'Halloran

,

Formal Aspects Comput., 2014

2012

A Plug-in Based Approach for UML Model Simulation.

[BibT_eX]

[DOI]

Alek Radjenovic

,

Richard F. Paige

,

,

,

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2009

The Use of Model Transformation in the INESS Project.

[BibT_eX]

[DOI]

Osmar Marchi dos Santos

,

,

Richard F. Paige

,

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2005

Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.

[BibT_eX]

[DOI]

Diyaa-Addein Atiya

,

,

Proceedings of the REFINE 2005 Workshop, 2005

Ravenscar-Java: a high-integrity profile for real-time Java.

[BibT_eX]

[DOI]

,

Andy J. Wellings

,

Concurr. Pract. Exp., 2005

Extending Ravenscar with CSP Channels.

[BibT_eX]

[DOI]

Diyaa-Addein Atiya

,

Proceedings of the Reliable Software Technology, 2005

2003

Assessment of the Java programming language for use in high integrity systems.

[BibT_eX]

[DOI]

,

Andy J. Wellings

,

ACM SIGPLAN Notices, 2003

Predictable Memory Utilization in the Ravenscar-Java Profile.

[BibT_eX]

[DOI]

,

Andy J. Wellings

,

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

A Circus Semantics for Ravenscar Protected Objects.

[BibT_eX]

[DOI]

Diyaa-Addein Atiya

,

,

Proceedings of the FME 2003: Formal Methods, 2003

2002

Towards an Integrated Model Checker for Railway Signalling Data.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Is Proof More Cost-Effective Than Testing?

[BibT_eX]

[DOI]

,

Jonathan Hammond

,

Roderick Chapman

,

IEEE Trans. Software Eng., 2000

Type-Constrained Generics for Z.

[BibT_eX]

[DOI]

Samuel H. Valentine

,

,

,

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.

[BibT_eX]

[DOI]

,

Samuel H. Valentine

,

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999

'The Standard Logic for Z': A Clarification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

The Value of Verification: Positive Experience of Industrial Proof.

[BibT_eX]

[DOI]

,

Jonathan Hammond

,

Roderick Chapman

,

Proceedings of the FM'99 - Formal Methods, 1999

1996

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

[BibT_eX]

[DOI]

Hist. Comput., 1996

1995

Exits in the Refinement Calculus.

[BibT_eX]

[DOI]

,

Formal Aspects Comput., 1995

1994

Multiple-source Record Linkage in a Rural Industrial Community, 1680-1820.

[BibT_eX]

[DOI]

Hist. Comput., 1994

1991

CICS Project Report: Experiences and Results from the use of Z in IBM.

[BibT_eX]

[DOI]

,

Proceedings of the VDM '91, 1991

1990

Z and the Refinement Calculus.

[BibT_eX]

[DOI]

Proceedings of the VDM '90, 1990

Loading...