|
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 |
|
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 Edited Outputs Integrated Formal MethodsJ. Romijn, G. P. Smith and J. van de Pol eds. (2005). Integrated Formal Methods. 5th International Conference on Integrated Formal Methods (IFM 2005), Eindhoven, The Netherlands, 29 November - 2 December 2005. Berlin, Germany: Springer-Verlag. |
|
2004 Journal Article Linear temporal logic and Z refinementDerrick, John and Smith, Graeme (2004). Linear temporal logic and Z refinement. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 117-131. doi: 10.1007/978-3-540-27815-3_13 |
|
2004 Edited Outputs Integrated Formal MethodsE. Boiten, J. Derrick and G. P. Smith eds. (2004). Integrated Formal Methods. Integrated Formal Methods, Canterbury, UK, 4-7 April, 2004. Berlin, Germany: Springer-Verlag. |
|
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 |
|
2004 Journal Article PrefaceBoiten, Eerke, Derrick, John and Smith, Graeme (2004). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2999, V-VI. |
|
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 |
|
2003 Journal Article Proving temporal properties of Z specifications using abstractionSmith, Graeme and Winter, Kirsten (2003). Proving temporal properties of Z specifications using abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2651, 260-279. |
|
2003 Journal Article Compositional verification for Object-ZWinter, Kirsten and Smith, Graeme (2003). Compositional verification for Object-Z. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2651, 280-299. |
|
2003 Journal Article Structural refinement of systems specified in object-z and CSPDerrick, John and Smith, Graeme P. (2003). Structural refinement of systems specified in object-z and CSP. Formal Aspects of Computing, 15 (1), 1-27. doi: 10.1007/s00165-003-0002-9 |
|
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 |
|
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 |
|
2002 Conference Publication Encoding Object-Z in Isabelle/HOLSmith, G. P., Kammuller, F. and Santen, T. (2002). Encoding Object-Z in Isabelle/HOL. ZB 2002: Formal Specification and Development in Z and B, Grenoble, France, 23-25 January, 2002. Heidelberg: Springer-Verlag. doi: 10.1007/3-540-45648-1_5 |
|
2002 Conference Publication An integration of real-time object-Z and CSP for specifying concurrent real-time systemsSmith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. IFM 2002, Turku, Finland, 15-18 May, 2002. Berlin: Springer-Verlag. doi: 10.1007/3-540-47884-1_15 |
|
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 Abstract specification in Object-Z and CSPSmith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. 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_14 |
|
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 |
