Search the dblp DataBase
Graeme Smith :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Graeme Smith Stepwise Development from Ideal Specifications. [Citation Graph (0, 0)][DBLP ] ACSC, 2000, pp:227-233 [Conf ] Graeme Smith A Framework for Modelling and Analysing Mobile Systems. [Citation Graph (0, 0)][DBLP ] ACSC, 2004, pp:193-202 [Conf ] John Derrick , Graeme Smith Linear Temporal Logic and Z Refinement. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:117-131 [Conf ] Geoff Kassel , Graeme Smith Model Checking Object-Z Classes: Some Experiments with FDR. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:445-452 [Conf ] Graeme Smith Reasoning about Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] APSEC, 1995, pp:489-497 [Conf ] Tim McComb , Graeme Smith Architectural Design in Object-Z. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2004, pp:77-86 [Conf ] Tim McComb , Graeme Smith Compositional Class Refinement in Object-Z. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:205-220 [Conf ] 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 ] 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 ] 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 ] Roger Duke , Gordon A. Rose , Graeme Smith Transferring Formal Techniques to Industry. [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:279-286 [Conf ] Graeme Smith Introducing Reference Semantics via Refinement. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:588-599 [Conf ] Graeme Smith , John Derrick Abstract Specification in Object-Z and CSP. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:108-119 [Conf ] 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 ] Graeme Smith The Second ISEW Cleanroom Workshop. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:674- [Conf ] 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 ] Graeme Smith , Ian J. Hayes Structuring Real-Time Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:97-115 [Conf ] John Derrick , Graeme Smith Structural Refinement in Object-Z/CSP. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:194-213 [Conf ] Graeme Smith , Ian J. Hayes Towards Real-Time Object-Z. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:49-65 [Conf ] Paul King , Graeme Smith Formalisation of behavioural and structural concepts for communication systems. [Citation Graph (0, 0)][DBLP ] PSTV, 1990, pp:3-18 [Conf ] Tim McComb , Graeme Smith Animation of Object-Z Specifications Using a Z Animator. [Citation Graph (0, 0)][DBLP ] SEFM, 2003, pp:191-0 [Conf ] Graeme Smith Recursive Schema Definitions in Object-Z. [Citation Graph (0, 0)][DBLP ] ZB, 2000, pp:42-58 [Conf ] Graeme Smith An Object-Oriented Development Framework for Z. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1994, pp:89-107 [Conf ] Graeme Smith Extending W for Object-Z. [Citation Graph (0, 0)][DBLP ] ZUM, 1995, pp:276-295 [Conf ] Graeme Smith , Florian Kammüller , Thomas Santen Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:82-99 [Conf ] Graeme Smith , Kirsten Winter Proving Temporal Properties of Z Specifications Using Abstraction. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:260-279 [Conf ] Graeme Smith , Luke Wildman Model Checking Z Specifications Using SAL. [Citation Graph (0, 0)][DBLP ] ZB, 2005, pp:85-103 [Conf ] Kirsten Winter , Graeme Smith Compositional Verification for Object-Z. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:280-299 [Conf ] Graeme Smith A Development Framework for Object-Oriented Specification and Refinement. [Citation Graph (0, 0)][DBLP ] TOOLS (13), 1994, pp:173-183 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Formal Development of Self-organising Systems. [Citation Graph (, )][DBLP ] Introducing Objects through Refinement. [Citation Graph (, )][DBLP ] A Minimal Set of Refactoring Rules for Object-Z. [Citation Graph (, )][DBLP ] Towards More Flexible Development of Z Specifications. [Citation Graph (, )][DBLP ] Quantum Channel Capacities [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Using Model Checking to Automatically Find Retrieve Relations. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Refactoring Real-time Specifications. [Citation Graph (, )][DBLP ] Refining Emergent Properties. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.009secs