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 × Australia
1 × Austria
1 × Canada
1 × Czech Republic
1 × France
1 × Germany
1 × Italy
1 × Norway
2 × Finland
2 × United Kingdom
Collaborated with:
J.Derrick T.McComb I.J.Hayes B.Dongol L.Meinicke L.Groves R.Duke P.King G.A.Rose
Talks about:
object (11) specif (5) time (5) real (5) refin (4) concurr (3) system (3) csp (3) architectur (2) framework (2)

Person: Graeme Smith

DBLP DBLP: Smith:Graeme

Facilitated 2 volumes:

IFM 2005Ed
IFM 2004Ed

Contributed to:

ECOOP 20152015
FM 20152015
IFM 20142014
FM 20082008
IFM 20072007
FM 20062006
SEFM 20032003
IFM 20022002
IFM 20002000
IFM 19991999
FME 19971997
TOOLS Europe 19941994
TOOLS USA 19911991

Wrote 14 papers:

ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
FM-2015-DerrickS #correctness #framework #memory management #modelling
A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
IFM-2014-DerrickSD #architecture #verification
Verifying Linearizability on TSO Architectures (JD, GS, BD), pp. 341–356.
FM-2008-McCombS #refinement
Introducing Objects through Refinement (TM, GS), pp. 358–373.
IFM-2007-MeinickeS #development #process #realtime #reasoning #reliability
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
FM-2006-McCombS #composition #refinement
Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.
SEFM-2003-McCombS #animation #specification #using
Animation of Object-Z Specifications Using a Z Animator (TM, GS), p. 191–?.
IFM-2002-Smith #concurrent #csp #integration #realtime #specification
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems (GS), pp. 267–285.
IFM-2000-DerrickS #csp #refinement
Structural Refinement in Object-Z/CSP (JD, GS), pp. 194–213.
IFM-2000-SmithH #realtime #specification
Structuring Real-Time Object-Z Specifications (GS, IJH), pp. 97–115.
IFM-1999-SmithH #realtime #towards
Towards Real-Time Object-Z (GS, IJH), pp. 49–65.
FME-1997-Smith #concurrent #csp #integration #semantics #specification
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems (GS), pp. 62–81.
TOOLS-EUROPE-1994-Smith #development #framework #object-oriented #refinement #specification
A Development Framework for Object-Oriented Specification and Refinement (GS), pp. 173–183.
TOOLS-USA-1991-DukeKRS #specification
Associated Paper: The Object-Z Specification Language (RD, PK, GAR, GS), pp. 465–484.

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.