Graeme Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Property transformation under specification changeZheng Fu, Graeme Smith. fcsc, 5(1):1-13, 2011. [doi]

2010

2009

Codeword Stabilized Quantum CodesAndrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng. TIT, 55(1):433-438, 2009. [doi]

Refining Emergent PropertiesJeff W. Sanders, Graeme Smith. ENTCS, 259:207-223, 2009. [doi]

Model checking action system refinementsGraeme Smith, Kirsten Winter. fac, 21(1-2):155-186, 2009. [doi]

Formal Development of Self-organising SystemsGraeme Smith, Jeffrey W. Sanders. ATC 2009: 90-104 [doi]

2008

PrefaceEerke Boiten, John Derrick, Graeme Smith. ENTCS, 201:1, 2008. [doi]

Using Model Checking to Automatically Find Retrieve RelationsJohn Derrick, Graeme Smith. ENTCS, 201:155-175, 2008. [doi]

Towards More Flexible Development of Z SpecificationsZheng Fu, Graeme Smith. tase 2008: 281-288 [doi]

Communicating Over Adversarial Quantum Channels Using Quantum List CodesDebbie Leung, Graeme Smith. TIT, 54(2):883-887, 2008. [doi]

A Minimal Set of Refactoring Rules for Object-ZTim McComb, Graeme Smith. fmoods 2008: 170-184 [doi]

Introducing Objects through RefinementTim McComb, Graeme Smith. fm 2008: 358-373 [doi]

Formal Ensemble EngineeringJeffrey W. Sanders, Graeme Smith. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 132-138, Springer, 2008. [doi]

The Quantum Capacity With Symmetric Side ChannelsGraeme Smith, John A. Smolin, Andreas Winter. TIT, 54(9):4208-4217, 2008. [doi]

Extending Formal Methods for Software-Intensive SystemsGraeme Smith. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 146-161, Springer, 2008. [doi]

Refactoring Real-time SpecificationsGraeme Smith, Tim McComb. ENTCS, 214:359-380, 2008. [doi]

2007

A Stepwise Development Process for Reasoning About the Reliability of Real-Time SystemsLarissa Meinicke, Graeme Smith. IFM 2007: 439-458 [doi]

PrefaceJudi Romijn, Graeme Smith, Jaco van de Pol. ENTCS, 191:1-2, 2007. [doi]

Simulation Machines for Checking Action System RefinementsGraeme Smith, Kirsten Winter. ENTCS, 187:75-90, 2007. [doi]

2006

Compositional Class Refinement in Object-ZTim McComb, Graeme Smith. fm 2006: 205-220 [doi]

Verifying data refinements using a model checkerGraeme Smith, John Derrick. fac, 18(3):264-287, 2006. [doi]

2005

Guest Editorial Integrated Formal MethodsEerke Boiten, John Derrick, Graeme Smith. fac, 17(4):389-389, 2005. [doi]

Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, ProceedingsJudi Romijn, Graeme Smith, Jaco van de Pol, editors, Volume 3771 of Lecture Notes in Computer Science, Springer, 2005.

Model Checking Z Specifications Using SALGraeme Smith, Luke Wildman. zum 2005: 85-103 [doi]

Model Checking Downward SimulationsGraeme Smith, John Derrick. ENTCS, 137(2):205-224, 2005. [doi]

2004

Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, ProceedingsEerke Boiten, John Derrick, Graeme Smith, editors, Volume 2999 of Lecture Notes in Computer Science, Springer, 2004.

Linear Temporal Logic and Z RefinementJohn Derrick, Graeme Smith. amast 2004: 117-131 [doi]

Architectural Design in Object-ZTim McComb, Graeme Smith. aswec 2004: 77-86 [doi]

A Framework for Modelling and Analysing Mobile SystemsGraeme Smith. acsc 2004: 193-202 [doi]

2003

2002

2001

Model Checking Object-Z Classes: Some Experiments with FDRGeoff Kassel, Graeme Smith. apsec 2001: 445-452 [doi]

Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSPGraeme Smith, John Derrick. fmsd, 18(3):249-284, 2001.

2000

1999

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

1997

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

The Second ISEW Cleanroom WorkshopGraeme Smith. ICSE 1997: 674 [doi]

A Semantic Integration of Object-Z and CSP for the Specification of Concurrent SystemsGraeme Smith. fm 1997: 62-81

Refinement and Verification of Concurrent Systems Specified in Object-Z and CSPGraeme Smith, John Derrick. icfem 1997: 293

1996

A Blocking Model for Reactive ObjectsRoger Duke, Cecily Bailes, Graeme Smith. fac, 8(3):347-368, 1996.

1995

Reasoning about Object-Z SpecificationsGraeme Smith. apsec 1995: 489-497 [doi]

Extending ::::W:::: for Object-ZGraeme Smith. zum 1995: 276-295

A Fully Abstract Semantics of Classes for Object-ZGraeme Smith. fac, 7(3):289-313, 1995.

1994

A Development Framework for Object-Oriented Specification and RefinementGraeme Smith. TOOLS 1994: 173-183

An Object-Oriented Development Framework for ZGraeme Smith. zum 1994: 89-107

1991

Associated Paper: The Object-Z Specification LanguageRoger Duke, Paul King, Gordon A. Rose, Graeme Smith. TOOLS 1991: 465-484

1990

Transferring Formal Techniques to IndustryRoger Duke, Gordon A. Rose, Graeme Smith. forte 1991: 279-286

Formalisation of behavioural and structural concepts for communication systemsPaul King, Graeme Smith. pstv 1990: 3-18

1989

Object-Z: An Object-Oriented Extension to ZDavid A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith. forte 1990: 281-296

Temporal Logic and Z SpecificationsRoger Duke, Graeme Smith. acj, 21(2):62-66, 1989.