| 2009 |
|---|
| 57 | EE | Graeme Smith,
Kirsten Winter:
Model checking action system refinements.
Formal Asp. Comput. 21(1-2): 155-186 (2009) |
| 56 | EE | Andrew W. Cross,
Graeme Smith,
John A. Smolin,
Bei Zeng:
Codeword Stabilized Quantum Codes.
IEEE Transactions on Information Theory 55(1): 433-438 (2009) |
| 2008 |
|---|
| 55 | EE | Tim McComb,
Graeme Smith:
Introducing Objects through Refinement.
FM 2008: 358-373 |
| 54 | EE | Tim McComb,
Graeme Smith:
A Minimal Set of Refactoring Rules for Object-Z.
FMOODS 2008: 170-184 |
| 53 | EE | Zheng Fu,
Graeme Smith:
Towards More Flexible Development of Z Specifications.
TASE 2008: 281-288 |
| 52 | EE | J. W. Sanders,
Graeme Smith:
Formal Ensemble Engineering.
Software-Intensive Systems and New Computing Paradigms 2008: 132-138 |
| 51 | EE | Graeme Smith:
Extending Formal Methods for Software-Intensive Systems.
Software-Intensive Systems and New Computing Paradigms 2008: 146-161 |
| 50 | EE | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Preface.
Electr. Notes Theor. Comput. Sci. 201: 1 (2008) |
| 49 | EE | John Derrick,
Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations.
Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008) |
| 48 | EE | Graeme Smith,
Tim McComb:
Refactoring Real-time Specifications.
Electr. Notes Theor. Comput. Sci. 214: 359-380 (2008) |
| 47 | EE | Debbie Leung,
Graeme Smith:
Communicating Over Adversarial Quantum Channels Using Quantum List Codes.
IEEE Transactions on Information Theory 54(2): 883-887 (2008) |
| 46 | EE | Graeme Smith,
John A. Smolin,
Andreas Winter:
The Quantum Capacity With Symmetric Side Channels.
IEEE Transactions on Information Theory 54(9): 4208-4217 (2008) |
| 2007 |
|---|
| 45 | EE | Larissa Meinicke,
Graeme Smith:
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
IFM 2007: 439-458 |
| 44 | EE | Graeme Smith,
Kirsten Winter:
Simulation Machines for Checking Action System Refinements.
Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007) |
| 43 | EE | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Preface.
Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007) |
| 2006 |
|---|
| 42 | EE | Tim McComb,
Graeme Smith:
Compositional Class Refinement in Object-Z.
FM 2006: 205-220 |
| 41 | EE | Graeme Smith,
John Derrick:
Verifying data refinements using a model checker.
Formal Asp. Comput. 18(3): 264-287 (2006) |
| 2005 |
|---|
| 40 | | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings
Springer 2005 |
| 39 | EE | Graeme Smith,
Luke Wildman:
Model Checking Z Specifications Using SAL.
ZB 2005: 85-103 |
| 38 | EE | Graeme Smith,
John Derrick:
Model Checking Downward Simulations.
Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005) |
| 37 | EE | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Guest Editorial Integrated Formal Methods.
Formal Asp. Comput. 17(4): 389-389 (2005) |
| 2004 |
|---|
| 36 | | Eerke A. Boiten,
John Derrick,
Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Springer 2004 |
| 35 | EE | Graeme Smith:
A Framework for Modelling and Analysing Mobile Systems.
ACSC 2004: 193-202 |
| 34 | EE | John Derrick,
Graeme Smith:
Linear Temporal Logic and Z Refinement.
AMAST 2004: 117-131 |
| 33 | EE | Tim McComb,
Graeme Smith:
Architectural Design in Object-Z.
Australian Software Engineering Conference 2004: 77-86 |
| 2003 |
|---|
| 32 | EE | Tim McComb,
Graeme Smith:
Animation of Object-Z Specifications Using a Z Animator.
SEFM 2003: 191- |
| 31 | EE | Graeme Smith,
Kirsten Winter:
Proving Temporal Properties of Z Specifications Using Abstraction.
ZB 2003: 260-279 |
| 30 | EE | Kirsten Winter,
Graeme Smith:
Compositional Verification for Object-Z.
ZB 2003: 280-299 |
| 29 | EE | John Derrick,
Graeme Smith:
Structural Refinement of Systems Specified in Object-Z and CSP.
Formal Asp. Comput. 15(1): 1-27 (2003) |
| 2002 |
|---|
| 28 | EE | Graeme Smith,
John Derrick:
Abstract Specification in Object-Z and CSP.
ICFEM 2002: 108-119 |
| 27 | EE | Graeme Smith:
Introducing Reference Semantics via Refinement.
ICFEM 2002: 588-599 |
| 26 | EE | Graeme Smith:
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.
IFM 2002: 267-285 |
| 25 | EE | Graeme Smith,
Florian Kammüller,
Thomas Santen:
Encoding Object-Z in Isabelle/HOL.
ZB 2002: 82-99 |
| 24 | EE | Graeme Smith,
Ian J. Hayes:
An Introduction to Real-Time Object-Z.
Formal Asp. Comput. 13(2): 128-141 (2002) |
| 2001 |
|---|
| 23 | EE | Geoff Kassel,
Graeme Smith:
Model Checking Object-Z Classes: Some Experiments with FDR.
APSEC 2001: 445-452 |
| 22 | | Graeme Smith,
John Derrick:
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP.
Formal Methods in System Design 18(3): 249-284 (2001) |
| 2000 |
|---|
| 21 | EE | Graeme Smith:
Stepwise Development from Ideal Specifications.
ACSC 2000: 227-233 |
| 20 | EE | John Derrick,
Graeme Smith:
Structural Refinement in Object-Z/CSP.
IFM 2000: 194-213 |
| 19 | EE | Graeme Smith,
Ian J. Hayes:
Structuring Real-Time Object-Z Specifications.
IFM 2000: 97-115 |
| 18 | EE | Graeme Smith:
Recursive Schema Definitions in Object-Z.
ZB 2000: 42-58 |
| 17 | EE | Graeme Smith,
Colin J. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study.
J. UCS 6(7): 704-730 (2000) |
| 1999 |
|---|
| 16 | | Graeme Smith,
Ian J. Hayes:
Towards Real-Time Object-Z.
IFM 1999: 49-65 |
| 1997 |
|---|
| 15 | | Graeme Smith:
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.
FME 1997: 62-81 |
| 14 | | Clemens Fischer,
Graeme Smith:
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE 1997: 503-518 |
| 13 | | Graeme Smith,
John Derrick:
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.
ICFEM 1997: 293- |
| 12 | EE | Graeme Smith:
The Second ISEW Cleanroom Workshop.
ICSE 1997: 674 |
| 1996 |
|---|
| 11 | | Roger Duke,
Cecily Bailes,
Graeme Smith:
A Blocking Model for Reactive Objects.
Formal Asp. Comput. 8(3): 347-368 (1996) |
| 1995 |
|---|
| 10 | EE | Graeme Smith:
Reasoning about Object-Z Specifications.
APSEC 1995: 489-497 |
| 9 | | Graeme Smith:
Extending W for Object-Z.
ZUM 1995: 276-295 |
| 8 | | Graeme Smith:
A Fully Abstract Semantics of Classes for Object-Z.
Formal Asp. Comput. 7(3): 289-313 (1995) |
| 1994 |
|---|
| 7 | | Graeme Smith:
A Development Framework for Object-Oriented Specification and Refinement.
TOOLS (13) 1994: 173-183 |
| 6 | | Graeme Smith:
An Object-Oriented Development Framework for Z.
Z User Workshop 1994: 89-107 |
| 1991 |
|---|
| 5 | | Roger Duke,
Paul King,
Gordon A. Rose,
Graeme Smith:
Associated Paper: The Object-Z Specification Language.
TOOLS (5) 1991: 465-484 |
| 1990 |
|---|
| 4 | | Roger Duke,
Gordon A. Rose,
Graeme Smith:
Transferring Formal Techniques to Industry.
FORTE 1990: 279-286 |
| 3 | | Paul King,
Graeme Smith:
Formalisation of behavioural and structural concepts for communication systems.
PSTV 1990: 3-18 |
| 1989 |
|---|
| 2 | | David A. Carrington,
David J. Duke,
Roger Duke,
Paul King,
Gordon A. Rose,
Graeme Smith:
Object-Z: An Object-Oriented Extension to Z.
FORTE 1989: 281-296 |
| 1 | | Roger Duke,
Graeme Smith:
Temporal Logic and Z Specifications.
Australian Computer Journal 21(2): 62-66 (1989) |
