dblp.uni-trier.dewww.uni-trier.de

Graeme Smith

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
57EEGraeme Smith, Kirsten Winter: Model checking action system refinements. Formal Asp. Comput. 21(1-2): 155-186 (2009)
56EEAndrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng: Codeword Stabilized Quantum Codes. IEEE Transactions on Information Theory 55(1): 433-438 (2009)
2008
55EETim McComb, Graeme Smith: Introducing Objects through Refinement. FM 2008: 358-373
54EETim McComb, Graeme Smith: A Minimal Set of Refactoring Rules for Object-Z. FMOODS 2008: 170-184
53EEZheng Fu, Graeme Smith: Towards More Flexible Development of Z Specifications. TASE 2008: 281-288
52EEJ. W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138
51EEGraeme Smith: Extending Formal Methods for Software-Intensive Systems. Software-Intensive Systems and New Computing Paradigms 2008: 146-161
50EEEerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
49EEJohn Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008)
48EEGraeme Smith, Tim McComb: Refactoring Real-time Specifications. Electr. Notes Theor. Comput. Sci. 214: 359-380 (2008)
47EEDebbie Leung, Graeme Smith: Communicating Over Adversarial Quantum Channels Using Quantum List Codes. IEEE Transactions on Information Theory 54(2): 883-887 (2008)
46EEGraeme Smith, John A. Smolin, Andreas Winter: The Quantum Capacity With Symmetric Side Channels. IEEE Transactions on Information Theory 54(9): 4208-4217 (2008)
2007
45EELarissa Meinicke, Graeme Smith: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. IFM 2007: 439-458
44EEGraeme Smith, Kirsten Winter: Simulation Machines for Checking Action System Refinements. Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007)
43EEJudi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)
2006
42EETim McComb, Graeme Smith: Compositional Class Refinement in Object-Z. FM 2006: 205-220
41EEGraeme 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
39EEGraeme Smith, Luke Wildman: Model Checking Z Specifications Using SAL. ZB 2005: 85-103
38EEGraeme Smith, John Derrick: Model Checking Downward Simulations. Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005)
37EEEerke 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
35EEGraeme Smith: A Framework for Modelling and Analysing Mobile Systems. ACSC 2004: 193-202
34EEJohn Derrick, Graeme Smith: Linear Temporal Logic and Z Refinement. AMAST 2004: 117-131
33EETim McComb, Graeme Smith: Architectural Design in Object-Z. Australian Software Engineering Conference 2004: 77-86
2003
32EETim McComb, Graeme Smith: Animation of Object-Z Specifications Using a Z Animator. SEFM 2003: 191-
31EEGraeme Smith, Kirsten Winter: Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: 260-279
30EEKirsten Winter, Graeme Smith: Compositional Verification for Object-Z. ZB 2003: 280-299
29EEJohn Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Asp. Comput. 15(1): 1-27 (2003)
2002
28EEGraeme Smith, John Derrick: Abstract Specification in Object-Z and CSP. ICFEM 2002: 108-119
27EEGraeme Smith: Introducing Reference Semantics via Refinement. ICFEM 2002: 588-599
26EEGraeme Smith: An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. IFM 2002: 267-285
25EEGraeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99
24EEGraeme Smith, Ian J. Hayes: An Introduction to Real-Time Object-Z. Formal Asp. Comput. 13(2): 128-141 (2002)
2001
23EEGeoff 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
21EEGraeme Smith: Stepwise Development from Ideal Specifications. ACSC 2000: 227-233
20EEJohn Derrick, Graeme Smith: Structural Refinement in Object-Z/CSP. IFM 2000: 194-213
19EEGraeme Smith, Ian J. Hayes: Structuring Real-Time Object-Z Specifications. IFM 2000: 97-115
18EEGraeme Smith: Recursive Schema Definitions in Object-Z. ZB 2000: 42-58
17EEGraeme 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-
12EEGraeme 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
10EEGraeme 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)

Coauthor Index

1Cecily Bailes [11]
2Eerke A. Boiten [36] [37] [50]
3David A. Carrington [2]
4Andrew W. Cross [56]
5John Derrick [13] [20] [22] [28] [29] [34] [36] [37] [38] [41] [49] [50]
6David J. Duke [2]
7Roger Duke [1] [2] [4] [5] [11]
8Colin J. Fidge [17]
9Clemens Fischer [14]
10Zheng Fu [53]
11Ian J. Hayes [16] [19] [24]
12Florian Kammüller [25]
13Geoff Kassel [23]
14Paul King [2] [3] [5]
15Debbie Leung [47]
16Tim McComb [32] [33] [42] [48] [54] [55]
17Larissa Meinicke [45]
18Jaco van de Pol [40] [43]
19Judi Romijn [40] [43]
20Gordon A. Rose [2] [4] [5]
21J. W. Sanders [52]
22Thomas Santen [25]
23John A. Smolin [46] [56]
24Luke Wildman [39]
25Andreas Winter [46]
26Kirsten Winter [30] [31] [44] [57]
27Bei Zeng [56]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)