|
2008 Conference Publication Towards more flexible development of Z specificationsFu, Z. and Smith, G. (2008). Towards more flexible development of Z specifications. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering 2008 (TASE '08), Nanjing, China, 17-19 June 2008. Piscataway, NJ, U.S.A.: IEEE - Institute of Electrical Electronics Engineers Inc.. doi: 10.1109/TASE.2008.20 |
|
2008 Conference Publication Refactoring real-time specificationsSmith, Greame and McComb, Tim (2008). Refactoring real-time specifications. International Refinement Workshop (Refine 2008), Turku, Finland, 27 May, 2008. Amsterdam, The Netherlands: Elsevier. doi: 10.1016/j.entcs.2008.06.016 |
|
2008 Conference Publication Formal ensemble engineeringSanders, J. W. and Smith, Graeme (2008). Formal ensemble engineering. Springer Verlag. doi: 10.1007/978-3-540-89437-7_8 |
|
2008 Conference Publication Extending formal methods for software-intensive systemsSmith, Graeme (2008). Extending formal methods for software-intensive systems. Springer Verlag. doi: 10.1007/978-3-540-89437-7_10 |
|
2008 Conference Publication A Minimal Set of Refactoring Rules for Object-ZMcComb, T. and Smith, G (2008). A Minimal Set of Refactoring Rules for Object-Z. International Symposium on Formal Methods (FM 2008), Oslo, Norway, 4-6 June, 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-68863-1_11 |
|
2007 Conference Publication A stepwise development process for reasoning about the reliability of real-time systemsMeinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., 2-5 July 2007. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-540-73210-5_23 |
|
2007 Conference Publication Simulation machines for checking action system refinementsSmith, G. and Winter, K. (2007). Simulation machines for checking action system refinements. 11th Refinement Workshop (REFINE 2006), Macao, China, 31 October 2006. USA: Elseiver BV. doi: 10.1016/j.entcs.2006.08.045 |
|
2006 Conference Publication Verifying data refinements using a model checkerSmith, Graeme and Derrick, John (2006). Verifying data refinements using a model checker. Surrey, United Kingdom: Springer U. K.. doi: 10.1007/s00165-006-0002-7 |
|
2006 Conference Publication Compositional class refinement in object-ZMcComb, Tim and Smith, Graeme (2006). Compositional class refinement in object-Z. FM 2006: Formal Methods, Hamilton, Canada, 21-27 August 2006. Berlin, Germany: Springer. doi: 10.1007/11813040 |
|
2005 Conference Publication Model checking Z specifications using SALSmith, Graeme and Wildman, Luke (2005). Model checking Z specifications using SAL. 4th Informational Conference of B and Z Users, Guildford, UK, 13-15 April 2005. Berlin, Germany: Springer. doi: 10.1007/11415787_6 |
|
2005 Conference Publication Model checking downward simulationsSmith, G. P. and Derrick, J. (2005). Model checking downward simulations. REFINE 2005, Guildford, UK, 12 April, 2005. Amsterdam, The Netherlands: Elsevier. doi: 10.1016/j.entcs.2005.04.032 |
|
2004 Conference Publication Linear temporal logic and z refinementSmith, G. P. and Derrick, J. (2004). Linear temporal logic and z refinement. The Tenth International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, 12th - 16th July, 2004. Berlin: Springer-Verlag. doi: 10.1007/b98770 |
|
2004 Conference Publication Architectural design in object-zMcComb, T. J. and Smith, G. P. (2004). Architectural design in object-z. The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, 13-16 April 2004. Los Alamitos, California, U.S.A.: IEEE Computer Society. doi: 10.1109/ASWEC.2004.1290460 |
|
2004 Conference Publication A formal framework for modelling and analysing mobile systemsSmith, G. P. (2004). A formal framework for modelling and analysing mobile systems. The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, 18-22 January, 2004. Sydney: Australian Computer Society. doi: 10.1145/980000/979946/p193-smith.pdf?key1=979946 |
|
2003 Conference Publication Animation of object-z specifications using a Z animatorMcComb, T. J. and Smith, G. P. (2003). Animation of object-z specifications using a Z animator. The First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, 25-26 September 2003. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/SEFM.2003.1236221 |
|
2003 Conference Publication Compositional verification for object-ZWinter, Kirsten and Smith, Graeme P. (2003). Compositional verification for object-Z. The 3rd International Conference on B and Z Users, Turku, Finland, 4-6 June, 2003. Berlin: Springer-Verlag. doi: 10.1007/3-540-44880-2_18 |
|
2003 Conference Publication Proving Temporal Properties of Z Specifications Using AbstractionSmith, Graeme and Winter, Kirsten (2003). Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, 4–6 June 2003. Heidelberg Germany: Springer - Verlag. doi: 10.1007/3-540-44880-2_17 |
|
2002 Conference Publication Specifying mode requirements of embedded systemsSmith, G.P. (2002). Specifying mode requirements of embedded systems. 25th Australasian Computer Science Conference (ACSC 2002), Melbourne, VIC Australia, 28 January - 1 February 2002. Adelaide, SA Australia: Australian Computer Society. |
|
2002 Conference Publication An introduction to real-time Object-ZSmith, G. P. and Hayes, I. J. (2002). An introduction to real-time Object-Z. London: Springer-Verlag. doi: 10.1007/s001650200003 |
|
2002 Conference Publication Introducing reference semantics via refinementSmith, G. P. (2002). Introducing reference semantics via refinement. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, 21-25 October, 2002. Heidelberg: Springer-Verlag. doi: 10.1007/3-540-36103-0_60 |
