The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Graeme Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Graeme Smith
    Stepwise Development from Ideal Specifications. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:227-233 [Conf]
  2. Graeme Smith
    A Framework for Modelling and Analysing Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:193-202 [Conf]
  3. John Derrick, Graeme Smith
    Linear Temporal Logic and Z Refinement. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:117-131 [Conf]
  4. Geoff Kassel, Graeme Smith
    Model Checking Object-Z Classes: Some Experiments with FDR. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:445-452 [Conf]
  5. Graeme Smith
    Reasoning about Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:489-497 [Conf]
  6. Tim McComb, Graeme Smith
    Architectural Design in Object-Z. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:77-86 [Conf]
  7. Tim McComb, Graeme Smith
    Compositional Class Refinement in Object-Z. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:205-220 [Conf]
  8. Graeme Smith
    A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:62-81 [Conf]
  9. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Object-Z: An Object-Oriented Extension to Z. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:281-296 [Conf]
  10. Clemens Fischer, Graeme Smith
    Combining CSP and Object-Z: Finite or Infinite Trace Semantics? [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:503-518 [Conf]
  11. Roger Duke, Gordon A. Rose, Graeme Smith
    Transferring Formal Techniques to Industry. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:279-286 [Conf]
  12. Graeme Smith
    Introducing Reference Semantics via Refinement. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:588-599 [Conf]
  13. Graeme Smith, John Derrick
    Abstract Specification in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:108-119 [Conf]
  14. Graeme Smith, John Derrick
    Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:293-0 [Conf]
  15. Graeme Smith
    The Second ISEW Cleanroom Workshop. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:674- [Conf]
  16. Graeme Smith
    An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:267-285 [Conf]
  17. Graeme Smith, Ian J. Hayes
    Structuring Real-Time Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:97-115 [Conf]
  18. John Derrick, Graeme Smith
    Structural Refinement in Object-Z/CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:194-213 [Conf]
  19. Graeme Smith, Ian J. Hayes
    Towards Real-Time Object-Z. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:49-65 [Conf]
  20. Paul King, Graeme Smith
    Formalisation of behavioural and structural concepts for communication systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:3-18 [Conf]
  21. Tim McComb, Graeme Smith
    Animation of Object-Z Specifications Using a Z Animator. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:191-0 [Conf]
  22. Graeme Smith
    Recursive Schema Definitions in Object-Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:42-58 [Conf]
  23. Graeme Smith
    An Object-Oriented Development Framework for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:89-107 [Conf]
  24. Graeme Smith
    Extending W for Object-Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:276-295 [Conf]
  25. Graeme Smith, Florian Kammüller, Thomas Santen
    Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:82-99 [Conf]
  26. Graeme Smith, Kirsten Winter
    Proving Temporal Properties of Z Specifications Using Abstraction. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:260-279 [Conf]
  27. Graeme Smith, Luke Wildman
    Model Checking Z Specifications Using SAL. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:85-103 [Conf]
  28. Kirsten Winter, Graeme Smith
    Compositional Verification for Object-Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:280-299 [Conf]
  29. Graeme Smith
    A Development Framework for Object-Oriented Specification and Refinement. [Citation Graph (0, 0)][DBLP]
    TOOLS (13), 1994, pp:173-183 [Conf]
  30. Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Associated Paper: The Object-Z Specification Language. [Citation Graph (0, 0)][DBLP]
    TOOLS (5), 1991, pp:465-484 [Conf]
  31. Roger Duke, Graeme Smith
    Temporal Logic and Z Specifications. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1989, v:21, n:2, pp:62-66 [Journal]
  32. Graeme Smith, John Derrick
    Model Checking Downward Simulations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:205-224 [Journal]
  33. John Derrick, Graeme Smith
    Structural Refinement of Systems Specified in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:1, pp:1-27 [Journal]
  34. Eerke A. Boiten, John Derrick, Graeme Smith
    Guest Editorial Integrated Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:4, pp:389-389 [Journal]
  35. Roger Duke, Cecily Bailes, Graeme Smith
    A Blocking Model for Reactive Objects. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:347-368 [Journal]
  36. Graeme Smith, John Derrick
    Verifying data refinements using a model checker. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:264-287 [Journal]
  37. Graeme Smith
    A Fully Abstract Semantics of Classes for Object-Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:289-313 [Journal]
  38. Graeme Smith, Ian J. Hayes
    An Introduction to Real-Time Object-Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:2, pp:128-141 [Journal]
  39. Graeme Smith, John Derrick
    Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:3, pp:249-284 [Journal]
  40. Graeme Smith, Colin J. Fidge
    Incremental Development of Real-Time Requirements: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:704-730 [Journal]
  41. Larissa Meinicke, Graeme Smith
    A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:439-458 [Conf]
  42. Graeme Smith, Kirsten Winter
    Simulation Machines for Checking Action System Refinements. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:75-90 [Journal]

  43. Formal Development of Self-organising Systems. [Citation Graph (, )][DBLP]


  44. Introducing Objects through Refinement. [Citation Graph (, )][DBLP]


  45. A Minimal Set of Refactoring Rules for Object-Z. [Citation Graph (, )][DBLP]


  46. Towards More Flexible Development of Z Specifications. [Citation Graph (, )][DBLP]


  47. Quantum Channel Capacities [Citation Graph (, )][DBLP]


  48. Preface. [Citation Graph (, )][DBLP]


  49. Using Model Checking to Automatically Find Retrieve Relations. [Citation Graph (, )][DBLP]


  50. Preface. [Citation Graph (, )][DBLP]


  51. Refactoring Real-time Specifications. [Citation Graph (, )][DBLP]


  52. Refining Emergent Properties. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002