Browse by all authors Browse By Author ID - Smith, Graeme P.

Browse Results (78 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 2

Result Pages:    1 2  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Smith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. In: C. George and H. Miao, Formal Methods And Software Engineering, Proceedings. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (108-119). 21-25 October, 2002. 114   6
Smith, Graeme, Derrick, John and Dongol, Brijesh (2015). Admit your weakness: Verifying correctness on TSO architectures. In: Ivan Lanese and Eric Madelaine, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Revised Selected Papers. 11th International Symposium on Formal Aspects of Component Software, FACS 2014, Bertinoro, Italy, (364-383). 10 - 12 September 2014. doi:10.1007/978-3-319-15317-9_22 12   Cited 0 times in Scopus0 0
Li Q. and Smith G. (2014). A formal development approach for self-organising systems. In: 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014, , (209-212). September 1, 2014-September 3, 2014. doi:10.1109/TASE.2014.11 7   Cited 0 times in Scopus0 0
Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004. doi:10.1145/980000/979946/p193-smith.pdf?key1=979946 53   0
Smith, Graeme, Sanders, J. W. and Li, Qin (2015). A macro-level model for investigating the effect of directional bias on network coverage. In: David Parry, Proceedings of the 38th Australasian Computer Science Conference (ACSC 2015). 38th Australasian Computer Science Conference (ACSC 2015), Sydney, Australia, (73-81). 27-30 January 2015. 19  
McComb, T. and Smith, G (2008). A Minimal Set of Refactoring Rules for Object-Z. In: Barthe, G. and de Boer, F.S., Formal Methods for Open Object-based Distributed Systems. International Symposium on Formal Methods (FM 2008), Oslo, Norway, (170-184). 4-6 June, 2008. 54   1 Cited 2 times in Scopus2
Eder, Sebastian and Smith, Graeme (2010). An approach to formal verification of free-flight separation. In: Proceedings: 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop: SASOW 2010. Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems 2010, Budapest, Hungary, (166-171). 27-28 September 2010. doi:10.1109/SASOW.2010.35 59 7 Cited 0 times in Scopus0 0
McComb, T. J. and Smith, G. P. (2003). Animation of object-z specifications using a Z animator. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. The First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, (191-200). 25-26 September 2003. doi:10.1109/SEFM.2003.1236221 82   2 0
Smith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. In: M. Butler, L. Petre and K. Sere, Integrated Formal Methods Third International Conference, IFM 2002. IFM 2002, Turku, Finland, (267-285). 15-18 May, 2002. 46  
Smith, G. P. and Hayes, I. J. (2002) An introduction to real-time Object-Z. Formal Aspects of computing, 13 2: 128-141. doi:10.1007/s001650200003 35   Cited 9 times in Scopus9 0
McComb, T. J. and Smith, G. P. (2004). Architectural design in object-z. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (77-86). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290460 57   0 Cited 12 times in Scopus12 0
Li, Qin and Smith, Graeme (2013). A refinement framework for autonomous agents. In: Juliano Iyoda and Leonardo de Moura, Formal Methods: Foundations and Applications. 16th Brazilian Symposium: Proceedings. SBMF 2013: 16th Brazilian Symposium on Formal Methods, Brasilia, Brazil, (163-178). 29 September-4 October, 2013. doi:10.1007/978-3-642-41071-0_12 33   Cited 0 times in Scopus0 0
Sanders, J.W. and Smith, Graeme (2010). Assuring adaptive behaviour in self-organising systems. In: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010. Workshop on Trustworthy Self-Organizing Systems, Budapest, Hungary, (). 27-28 September, 2010. doi:10.1109/SASOW.2010.36 71 6 Cited 0 times in Scopus0 0
Meinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. In: J. Davies and J. Gibbons, Integrated Formal Methods 2007. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., (439-458). 2-5 July 2007. doi:10.1007/978-3-540-73210-5_23 66   1 Cited 0 times in Scopus0 0
McComb, Tim and Smith, Graeme (2006). Compositional class refinement in object-Z. In: J. Mishra, T. Nipkow and E. Sekerinski, FProceedings of 14th International Symposium on Formal Methods. FM 2006: Formal Methods, Hamilton, Canada, (205-220). 21-27 August 2006. doi:10.1007/11813040 70 6 4 Cited 5 times in Scopus5 0
Winter, Kirsten and Smith, Graeme (2002) Compositional Verification for Object-Z. Technical Report 02-42, Software Verification Research Centre, School of Information Technology, The University of Queensland. 279 484
Winter, Kirsten and Smith, Graeme P. (2003). Compositional verification for object-Z. In: D. Bert, J. Bowen, S. King and M. Walden, Lecture Notes in Computer Science: Proceedings of the 3rd International Conference on B and Z Users. The 3rd International Conference on B and Z Users, Turku, Finland, (280-299). 4-6 June, 2003. doi:10.1007/3-540-44880-2_18 54 51 5 0
Smith G., Sanders J.W. and Winter K. (2014) Designing adaptive systems using teleo-reactive agents. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8780 34-61. doi:10.1007/978-3-662-44871-7_2 9   Cited 0 times in Scopus0 0
Sanders, J. W. and Smith, Graeme (2012) Emergence and refinement. Formal Aspects of Computing, 24 1: 45-65. doi:10.1007/s00165-011-0190-7 31   1 Cited 4 times in Scopus4 0
Smith, G. P., Kammuller, F and Santen, T (2001) Encoding Object-Z in Isabelle-HOL Brisbane: Software Verification Research Cen. Univ of Qld 40  
Smith, G. P., Kammuller, F. and Santen, T. (2002). Encoding Object-Z in Isabelle/HOL. In: D. Bert, J. P. Bowen, M. C. Henson and K. Robinson, 2nd International Conference of B and Z Users. ZB 2002: Formal Specification and Development in Z and B, Grenoble, France, (82-99). 23-25 January, 2002. 52 51
Smith, G. (2008). Extending Formal Methods for Software-Intensive Systems. In Wirsing, M., Banâtre, J.P., Hölzl, M. and Rauschmayer, A. (Ed.), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions 1 ed. (pp. 146-161) Heidleberg Berlin: Springer. doi:10.1007/978-3-540-89437-7-10 38   Cited 0 times in Scopus0 0
Smith, Graeme and Sanders, J. W. (2009). Formal development of self-organising systems. In: Juan Gonzalez Nieto, Wolfgang Reif, Guojun Wang and Jadwiga Indulska, Autonomic and Trusted Computing. 6th International Conference on Autonomic and Trusted Computing (ATC 2009), Brisbane, Australia, (90-104). 7 - 9 July 2009. 69 4 3 Cited 11 times in Scopus11
Sanders, J.W. and Smith, G. (2008). Formal Ensemble Engineering. In Wirsing, M., Banâtre, J.P., Hölzl, M. and Rauschmayer, A. (Ed.), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions 1 ed. (pp. 132-138) Heidelberg, Germany: Springer. doi:10.1007/978-3-540-89437-7-8 48 2 Cited 2 times in Scopus2 0
Smith, G. P. (1999). From ideal to realisable real-time specifications. In: N. Leslie, IIMS Technical Report: Fifth New Zealand Formal Program Development Colloquium. New Zealand Formal Program Development Colloquium, Auckland, NZ, (7-7). 22 Jan, 1999. 23  
Sampson, Aaron and Smith, Graeme (2010). Gravity points in potential-field approaches to self organisation. In: Proceedings 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop: SASOW 2010. SASO 2010: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Budapest, Hungary, (110-115). 27-28 September 2010. doi:10.1109/SASOW.2010.24 46 2 Cited 0 times in Scopus0 0
Smith, Graeme and Winter, Kirsten (2012). Incremental development of multi-agent systems in Object-Z. In: 35th Annual IEEE Software Engineeering Workshop (SEW-35): Proceedings. Software Engineering Workshop (SEW-35), Heraklion, Crete, Greece, (120-129). 12-13 October 2012. doi:10.1109/SEW.2012.19 58 11 0 Cited 0 times in Scopus0 0
Smith, G. P. and Fidge, C. J. (2000) Incremental development of real-time requirements: The light control case study. Journal of Universal Computer Science, 6 7: 704-730. 52  
McComb, T. and Smith, G (2008). Introducing objects through refinement. In: Cuellar, J., Maibaum, T. and Sere, K., FM 2008: Formal Methods. International Symposium on Formal Methods (FM 2008), Turku, Finland, (358-373). 26-30 May, 2008. 54   0 Cited 0 times in Scopus0
Smith, G. P. (2001). Introducing parallel composition to the timed refinement calculus. In: H. ElGindy and C. Fidge, Proceedings of the 7th Australiasian Conference on Parallel and Real-Time Systems. PART 2000, Sydney, (139-148). 29-30 November 2000. 37  
Smith, G. P. (2002). Introducing reference semantics via refinement. In: C. George and H. Miao, Lecture Notes in Computer Science: Formal Methods and Software Engineering. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (588-599). 21-25 October, 2002. doi:10.1007/3-540-36103-0_60 48   1 0
Smith, G. P. and Derrick, J. (2004). Linear temporal logic and z refinement. In: C. Rattray, S. Maharaj and C. Shankland, Lecture Notes in Computer Science: Algebraic Methodology and Software Technology. The Tenth International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, (117-131). 12th - 16th July, 2004. doi:10.1007/b98770 63   3 0
Smith, Graeme and Li, Qin (2014). MAZE: An extension of object-Z for multi-agent systems. In: Yamine Ait Ameur and Klaus-Dieter Schewe, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2014, Toulouse, France, (72-85). June 2, 2014-June 6, 2014. doi:10.1007/978-3-662-43652-3_6 11   Cited 0 times in Scopus0 0
Smith, Graeme and Winter, Kirsten (2009) Model checking action system refinements. Formal Aspects of Computing, 21 1-2: 155-186. doi:10.1007/s00165-007-0053-4 66   0 Cited 0 times in Scopus0 0
Smith, G. P. and Derrick, J. (2005). Model checking downward simulations. In: J. Derrick and E. Boiten, Proceedings of the REFINE 2005 Workshop. REFINE 2005, Guildford, UK, (205-224). 12 April, 2005. doi:10.1016/j.entcs.2005.04.032 33   Cited 2 times in Scopus2 0
Kassel, G. D. and Smith, G. P. (2001) Model checking Object-Z classes: Some experiments with FDR Brisbane: Software Verification Research Cen. Univ of Qld 35  
Smith, Graeme and Wildman, Luke (2005). Model checking Z specifications using SAL. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB 2005: Formal Specification and Development in Z and B. 4th Informational Conference of B and Z Users, Guildford, UK, (85-103). 13-15 April 2005. doi:10.1007/11415787_6 95 1 14 Cited 15 times in Scopus15 0
Fu, Zheng and Smith, Graeme (2011) Property transformation under specification change. Frontiers of Computer Science in China, 5 1: 1-13. doi:10.1007/s11704-010-0112-5 70 3 0 Cited 0 times in Scopus0 0
Smith, Graeme and Winter, Kirsten (2003). Proving Temporal Properties of Z Specifications Using Abstraction. In: D. Bert, J. P. Bowen, S. King and M. Waldén, ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, (260-279). 4–6 June 2003. doi:10.1007/3-540-44880-2_17 60 96 8 0
Smith, Graeme, Sanders, J. W. and Winter, Kirsten (2012). Reasoning about adaptivity of agents and multi-agent systems. In: CESAMES, Seventeenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE Intenational Conference on Engineering of Complex Computer Systems, Paris, France, (341-350). 18-20 July 2012. doi:10.1109/ICECCS.2012.32 54 7 0 Cited 1 times in Scopus1 0
Dongol, Brijesh, Derrick, John and Smith, Graeme (2014). Reasoning algebraically about refinement on TSO architectures. In: Gabriel Ciobanu and Dominique Méry, Theoretical Aspects of Computing – ICTAC 2014. International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, (151-168). 17-19 September 2014. doi:10.1007/978-3-319-10882-7_10 20 1 Cited 0 times in Scopus0 0
Smith, G. P. (2000). Recursive schema definitions in Object-Z. In: J. P. owen, S. Dunne, A. Galloway and S. King, Lecture notes in computer science: ZB 2000 - Formal Specification and Development in Z and B. International Conference of B and Z Users (ZB 2000), York, UK, (42-58). 29 August - 2 September 2000. 29  
McComb, Tim and Smith, Graeme (2006) Refactoring Object-Oriented Specifications: A Process for Deriving Designs. Technical Report SSE-2006-01, School of Information Technology and Electrical Engineering, The University of Queensland. 382 387
Smith, Graeme and Helke, Steffen (2011). Refactoring object-oriented specifications with inheritance-based polymorphism. In: 2011 Fifth International Symposium on Theoretical Aspects of Software Engineering (TASE). 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, (35-41). 29-31 August 2011. doi:10.1109/TASE.2011.31 27   Cited 1 times in Scopus1 0
Smith, Greame and McComb, Tim (2008). Refactoring real-time specifications. In: J. Derrick, E. Boiten and G. Schellhorn, Proceedings of the 13th BAC-FACS Refinement Workshop (Refine 2008). International Refinement Workshop (Refine 2008), Turku, Finland, (359-380). 27 May, 2008. doi:10.1016/j.entcs.2008.06.016 41   Cited 1 times in Scopus1 0
Sanders, J. W. and Smith, Graeme (2009). Refining emergent properties. In: Eerke Boiten, John Derrick and Steve Reeves, Proceedings of the 14th BAC-FACS International Refinement Workshop (Refine 2009). International Refinement Workshop (Refine 2009), Eindhoven, The Netherlands, (207-233). 3 November 2009. 40   Cited 2 times in Scopus2
Lindsay, P. and Smith, G. (2000) Safety Assurance of Commercial-Off-The-Shelf Software. Technical Report no. 00-17, Software Verification Research Centre, School of Information Technology, The University of Queensland. 697 526
Lindsay, P. A. and Smith, G. P. (2000). Safety assurance of Commercial-Off-The-Shelf software. In: A. Griffiths, Proceedings 5th Australian Workshop on Safety Critical Systems and Software. 5th Australian Workshop on Safety Critical Systems & Software, Melbourne, Australia, (43-51). 24 November, 2000. 43  
Smith, G. and Winter, K. (2007). Simulation machines for checking action system refinements. In: Aichernig, B., Boiten, E., Derrick, J. and Groves, L., Proceedings of the 11th Refinement Workshop (REFINE 2006). 11th Refinement Workshop (REFINE 2006), Macao, China, (75-90). 31 October 2006. doi:10.1016/j.entcs.2006.08.045 47   Cited 0 times in Scopus0 0
Smith, Graeme and Winter, Kirsten (2006) Simulation Machines or Checking Action System Refinements. Technical Report No. SSE-2006-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 335 399

Page 1 of 2

Result Pages:    1 2  next › last »