Graeme Smith

Jeff W. Sanders, Graeme Smith: Emergence and refinement. Formal Asp. Comput. 24(1): 45-65 (2012)

John Derrick, Graeme Smith: Temporal-logic property preservation under Z refinement. Formal Asp. Comput. 24(3): 393-416 (2012)

Toby S. Cubitt, Graeme Smith: An Extreme Form of Superactivation for Quantum Zero-Error Capacities. IEEE Transactions on Information Theory 58(3): 1953-1961 (2012)

Graeme Smith, Jeffrey W. Sanders, Kirsten Winter: Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS 2012: 341-350

Markus Grassl, Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng: New constructions of codes for asymmetric channels via concatenation. ISIT 2012: 751-755

Graeme Smith, Jeff W. Sanders: Using conventional reasoning techniques for self-organising systems. PST 2012: 238-243

Robert Koenig, Graeme Smith: Limits on classical communication from quantum entropy power inequalities. CoRR abs/1205.3407 (2012)

Robert Koenig, Graeme Smith: The entropy power inequality for quantum systems. CoRR abs/1205.3409 (2012)

Zheng Fu, Graeme Smith: Property transformation under specification change. Frontiers of Computer Science in China 5(1): 1-13 (2011)

Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng: High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping. IEEE Transactions on Information Theory 57(10): 7180-7188 (2011)

Graeme Smith, Gary Marsden: Providing media download services in African taxis. SAICSIT Conf. 2011: 215-223

Graeme Smith, Steffen Helke: Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. TASE 2011: 35-41

Graeme Smith, John A. Smolin, Jon Yard: Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity. CoRR abs/1102.4580 (2011)

Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)

Jianxin Chen, Toby S. Cubitt, Aram Wettroth Harrow, Graeme Smith: Super-duper-activation of the zero-error quantum capacity. ISIT 2010: 2695-2697

Aaron Sampson, Graeme Smith: Gravity Points in Potential-Field Approaches to Self Organisation. SASO Workshops 2010: 110-115

Sebastian Eder, Graeme Smith: An Approach to Formal Verification of Free-Flight Separation. SASO Workshops 2010: 166-171

Jeff W. Sanders, Graeme Smith: Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops 2010: 172-177

Graeme Smith: Quantum Channel Capacities. CoRR abs/1007.2855 (2010)

Jeff W. Sanders, Graeme Smith: Refining Emergent Properties. Electr. Notes Theor. Comput. Sci. 259: 207-223 (2009)

Graeme Smith, Kirsten Winter: Model checking action system refinements. Formal Asp. Comput. 21(1-2): 155-186 (2009)

Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng: Codeword Stabilized Quantum Codes. IEEE Transactions on Information Theory 55(1): 433-438 (2009)

Graeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104

Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)

John Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008)

Graeme Smith, Tim McComb: Refactoring Real-time Specifications. Electr. Notes Theor. Comput. Sci. 214: 359-380 (2008)

Debbie W. Leung, Graeme Smith: Communicating Over Adversarial Quantum Channels Using Quantum List Codes. IEEE Transactions on Information Theory 54(2): 883-887 (2008)

Graeme Smith, John A. Smolin, Andreas Winter: The Quantum Capacity With Symmetric Side Channels. IEEE Transactions on Information Theory 54(9): 4208-4217 (2008)

Tim McComb, Graeme Smith: Introducing Objects through Refinement. FM 2008: 358-373

Tim McComb, Graeme Smith: A Minimal Set of Refactoring Rules for Object-Z. FMOODS 2008: 170-184

Graeme Smith: Private classical capacity with symmetric assistance. ISIT 2008: 81-85

Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng: Codeword stabilized quantum codes. ISIT 2008: 364-368

Zheng Fu, Graeme Smith: Towards More Flexible Development of Z Specifications. TASE 2008: 281-288

Jeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138

Graeme Smith: Extending Formal Methods for Software-Intensive Systems. Software-Intensive Systems and New Computing Paradigms 2008: 146-161

Graeme Smith, Kirsten Winter: Simulation Machines for Checking Action System Refinements. Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007)

Judi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)

Larissa Meinicke, Graeme Smith: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. IFM 2007: 439-458

Graeme Smith, John Derrick: Verifying data refinements using a model checker. Formal Asp. Comput. 18(3): 264-287 (2006)

Tim McComb, Graeme Smith: Compositional Class Refinement in Object-Z. FM 2006: 205-220

Graeme Smith, John Derrick: Model Checking Downward Simulations. Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005)

Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)

Graeme Smith, Luke Wildman: Model Checking Z Specifications Using SAL. ZB 2005: 85-103

Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.): Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771, Springer 2005, isbn 3-540-30492-4

Graeme Smith: A Framework for Modelling and Analysing Mobile Systems. ACSC 2004: 193-202

John Derrick, Graeme Smith: Linear Temporal Logic and Z Refinement. AMAST 2004: 117-131

Tim McComb, Graeme Smith: Architectural Design in Object-Z. Australian Software Engineering Conference 2004: 77-86

Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, isbn 3-540-21377-5

John Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Asp. Comput. 15(1): 1-27 (2003)

Tim McComb, Graeme Smith: Animation of Object-Z Specifications Using a Z Animator. SEFM 2003: 191-

Graeme Smith, Kirsten Winter: Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: 260-279

Kirsten Winter, Graeme Smith: Compositional Verification for Object-Z. ZB 2003: 280-299

Graeme Smith, Ian J. Hayes: An Introduction to Real-Time Object-Z. Formal Asp. Comput. 13(2): 128-141 (2002)

Graeme Smith, John Derrick: Abstract Specification in Object-Z and CSP. ICFEM 2002: 108-119

Graeme Smith: Introducing Reference Semantics via Refinement. ICFEM 2002: 588-599

Graeme Smith: An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. IFM 2002: 267-285

Graeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99

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)

Geoff Kassel, Graeme Smith: Model Checking Object-Z Classes: Some Experiments with FDR. APSEC 2001: 445-452

Graeme Smith, Colin J. Fidge: Incremental Development of Real-Time Requirements: The Light Control Case Study. J. UCS 6(7): 704-730 (2000)

Graeme Smith: Stepwise Development from Ideal Specifications. ACSC 2000: 227-233

Graeme Smith, Ian J. Hayes: Structuring Real-Time Object-Z Specifications. IFM 2000: 97-115

John Derrick, Graeme Smith: Structural Refinement in Object-Z/CSP. IFM 2000: 194-213

Graeme Smith: Recursive Schema Definitions in Object-Z. ZB 2000: 42-58

Graeme Smith, Ian J. Hayes: Towards Real-Time Object-Z. IFM 1999: 49-65

Graeme Smith: A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. FME 1997: 62-81

Clemens Fischer, Graeme Smith: Combining CSP and Object-Z: Finite or Infinite Trace Semantics? FORTE 1997: 503-518

Graeme Smith, John Derrick: Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM 1997: 293-

Graeme Smith: The Second ISEW Cleanroom Workshop. ICSE 1997: 674

Roger Duke, Cecily Bailes, Graeme Smith: A Blocking Model for Reactive Objects. Formal Asp. Comput. 8(3): 347-368 (1996)

Graeme Smith: A Fully Abstract Semantics of Classes for Object-Z. Formal Asp. Comput. 7(3): 289-313 (1995)

Graeme Smith: Reasoning about Object-Z Specifications. APSEC 1995: 489-497

Graeme Smith: Extending W for Object-Z. ZUM 1995: 276-295

Graeme Smith: A Development Framework for Object-Oriented Specification and Refinement. TOOLS (13) 1994: 173-183

Graeme Smith: An Object-Oriented Development Framework for Z. Z User Workshop 1994: 89-107

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith: Associated Paper: The Object-Z Specification Language. TOOLS (5) 1991: 465-484

Roger Duke, Gordon A. Rose, Graeme Smith: Transferring Formal Techniques to Industry. FORTE 1990: 279-286

Paul King, Graeme Smith: Formalisation of behavioural and structural concepts for communication systems. PSTV 1990: 3-18

Roger Duke, Graeme Smith: Temporal Logic and Z Specifications. Australian Computer Journal 21(2): 62-66 (1989)

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