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: Smith:Graeme
Facilitated 2 volumes:
EdEdContributed to:
2015
20152014200820072006
20032002200019991997
19941991Wrote 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.