|
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 |
|
2007 Edited Outputs Electronic notes in theoretical computer science: proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)Judi Romijn, Graeme Smith and Jaco van de Pol eds. (2007). Electronic notes in theoretical computer science: proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005). IFM 2005: Fifth International Conference on Integrated Formal Methods. Doctoral Symposium, Eindhoven, Netherlands, 29 November 2005. Amsterdam, Netherlands: Elsevier. |
|
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 |
|
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 |
|
2005 Journal Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceRomijn, Judi, Smith, Graeme, Van De Pol, Jaco, Bert, Didier, Boiten, Eerke, Bowen, Jonathan, Butler, Michael, Curzon, Paul, Davies, Jim, Derrick, John, Dunne, Steve, Dong, Jin Song, Galloway, Andy, George, Chris, Grieskamp, Wolfgang, Habrias, Henri, Heisel, Maritta, Kim, Soon-Kyeong, Lemoine, Michel, Liu, Shaoying, Mery, Dominique, Merz, Stephan, Paige, Richard, Petre, Luigia, Santen, Thomas, Schneider, Steve, Schulte, Wolfram, Sere, Kaisa, Sinclair, Jane ... Woodcock, Jim (2005). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS |
|
2005 Journal Article Guest Editorial integrated formal methodsBoiten, E., Derrick, J. and Smith, G. (2005). Guest Editorial integrated formal methods. Formal Aspects of Computing, 17 (4), 389-389. doi: 10.1007/s00165-005-0078-5 |
|
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. |
|
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 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 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 |
|
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 |
|
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 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 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 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 |
