|
2014 Conference Publication On directional bias for network coverageSmith, Graeme, Sanders, J. W. and Li, Qin (2014). On directional bias for network coverage. Bio-Inspired Computing - Theories and Applications, Wuhan, China, 16-19 October 2014. Berlin & Heidelberg, Germany: Springer Berlin Heidelberg. doi: 10.1007/978-3-662-45049-9_62 |
|
2014 Conference Publication Reasoning algebraically about refinement on TSO architecturesDongol, Brijesh, Derrick, John and Smith, Graeme (2014). Reasoning algebraically about refinement on TSO architectures. International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, 17-19 September 2014. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-10882-7_10 |
|
2013 Conference Publication A refinement framework for autonomous agentsLi, Qin and Smith, Graeme (2013). A refinement framework for autonomous agents. SBMF 2013: 16th Brazilian Symposium on Formal Methods, Brasilia, Brazil, 29 September-4 October, 2013. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-41071-0_12 |
|
2013 Conference Publication Using bounded fairness to specify and verify ordered asynchronous multi-agent systemsLi, Qin and Smith, Graeme (2013). Using bounded fairness to specify and verify ordered asynchronous multi-agent systems. ICECCS 2013: 18th International Conference on Engineering of Complex Computer Systems, Mt Elizabeth, Singapore, 17-19 July, 2013. Piscataway, NJ, United States: IEEE Computer Society Conference Publishing Services (CPS). doi: 10.1109/ICECCS.2013.24 |
|
2012 Journal Article Temporal-logic property preservation under Z refinementDerrick, John and Smith, Graeme (2012). Temporal-logic property preservation under Z refinement. Formal Aspects of Computing, 24 (3), 393-416. doi: 10.1007/s00165-011-0177-4 |
|
2012 Conference Publication Incremental development of multi-agent systems in Object-ZSmith, Graeme and Winter, Kirsten (2012). Incremental development of multi-agent systems in Object-Z. Software Engineering Workshop (SEW-35), Heraklion, Crete, Greece, 12-13 October 2012. Piscataway, NJ, United States: IEEE Computer Society Press. doi: 10.1109/SEW.2012.19 |
|
2012 Conference Publication Using conventional reasoning techniques for self-organising systemsSmith, Graeme and Sanders, J. W. (2012). Using conventional reasoning techniques for self-organising systems. 2012 Tenth Annual International Conference on Privacy, Security and Trust, Paris, France, 16-18 July 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/PST.2012.6297952 |
|
2012 Conference Publication Reasoning about adaptivity of agents and multi-agent systemsSmith, Graeme, Sanders, J. W. and Winter, Kirsten (2012). Reasoning about adaptivity of agents and multi-agent systems. IEEE Intenational Conference on Engineering of Complex Computer Systems, Paris, France, 18-20 July 2012. Piscataway, NJ, United States: IEEE Computer Society. doi: 10.1109/ICECCS.2012.32 |
|
2011 Journal Article Property transformation under specification changeFu, 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 |
|
2011 Conference Publication Refactoring object-oriented specifications with inheritance-based polymorphismSmith, Graeme and Helke, Steffen (2011). Refactoring object-oriented specifications with inheritance-based polymorphism. 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, 29-31 August 2011. Piscataway, NJ, United States: IEEE. doi: 10.1109/TASE.2011.31 |
|
2010 Conference Publication An approach to formal verification of free-flight separationEder, Sebastian and Smith, Graeme (2010). An approach to formal verification of free-flight separation. Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems 2010, Budapest, Hungary, 27-28 September 2010. Piscataway, NJ, United States: IEEE. doi: 10.1109/SASOW.2010.35 |
|
2010 Journal Article Formal Aspects of Computing: EditorialBoiten, Eerke, Butler, Michael, Derrick, John and Smith, Graeme (2010). Formal Aspects of Computing: Editorial. Formal Aspects of Computing, 22 (1), 1-1. doi: 10.1007/s00165-009-0147-2 |
|
2010 Conference Publication Assuring adaptive behaviour in self-organising systemsSanders, J.W. and Smith, Graeme (2010). Assuring adaptive behaviour in self-organising systems. Workshop on Trustworthy Self-Organizing Systems, Budapest, Hungary, 27-28 September, 2010. Piscatawa, NJ, U.S.A.: IEEE - Computer Society. doi: 10.1109/SASOW.2010.36 |
|
2010 Conference Publication Gravity points in potential-field approaches to self organisationSampson, Aaron and Smith, Graeme (2010). Gravity points in potential-field approaches to self organisation. SASO 2010: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Budapest, Hungary, 27-28 September 2010. Piscataway, NJ, U.S.A.: Institute of Electrical and Electronic Engineers (IEEE). doi: 10.1109/SASOW.2010.24 |
|
2009 Journal Article Refining Emergent PropertiesSanders, J. W. and Smith, Graeme (2009). Refining Emergent Properties. Electronic Notes in Theoretical Computer Science, 259 (C), 207-223. doi: 10.1016/j.entcs.2009.12.026 |
|
2009 Conference Publication Refining emergent propertiesSanders, J. W. and Smith, Graeme (2009). Refining emergent properties. International Refinement Workshop (Refine 2009), Eindhoven, The Netherlands, 3 November 2009. Amsterdam , The Netherlands: Elsevier. |
|
2009 Conference Publication Formal development of self-organising systemsSmith, Graeme and Sanders, J. W. (2009). Formal development of self-organising systems. 6th International Conference on Autonomic and Trusted Computing (ATC 2009), Brisbane, Australia, 7 - 9 July 2009. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-02704-8_8 |
|
2009 Journal Article Model checking action system refinementsSmith, 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 |
|
2008 Journal Article Refactoring Real-time SpecificationsSmith, Graeme and McComb, Tim (2008). Refactoring Real-time Specifications. Electronic Notes in Theoretical Computer Science, 214 (C), 359-380. doi: 10.1016/j.entcs.2008.06.016 |
|
2008 Journal Article Using Model Checking to Automatically Find Retrieve RelationsDerrick, John and Smith, Graeme (2008). Using Model Checking to Automatically Find Retrieve Relations. Electronic Notes in Theoretical Computer Science, 201 (C), 155-175. doi: 10.1016/j.entcs.2008.02.019 |
