IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Author | Identifier | Number of Items | Total Downloads |
|---|---|---|---|
| Smith, G |  https://orcid.org/0000-0003-1019-4761 |
22 | 326 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| Admit your weakness: Verifying correctness on TSO architectures | Smith, Graeme; Derrick, John; Dongol, Brijesh | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:351737 | 1 |
| An approach to formal verification of free-flight separation | Eder, Sebastian; Smith, Graeme | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:237228 | 2 |
| Assuring adaptive behaviour in self-organising systems | Sanders, J.W.; Smith, Graeme | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:237227 | 1 |
| Compositional class refinement in object-Z | McComb, Tim; Smith, Graeme | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:103657 | 1 |
| Compositional verification for object-Z | Winter, Kirsten; Smith, Graeme P. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:98601 | 32 |
| Compositional Verification for Object-Z | Winter, Kirsten; Smith, Graeme | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10535 | 44 |
| Defining correctness conditions for concurrent objects in multicore architectures | Dongol, Brijesh; Derrick, John; Groves, Lindsay; Smith, Graeme | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:381634 | 1 |
| Encoding Object-Z in Isabelle/HOL | Smith, G. P.; Kammuller, F.; Santen, T. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:97102 | 58 |
| Formal development of multi-agent systems using MAZE | Li, Qin; Smith, Graeme | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:413667 | 58 |
| Formal development of self-organising systems | Smith, Graeme; Sanders, J. W. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:187581 | 1 |
| Gravity points in potential-field approaches to self organisation | Sampson, Aaron; Smith, Graeme | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:240346 | 1 |
| Incremental development of multi-agent systems in Object-Z | Smith, Graeme; Winter, Kirsten | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:283073 | 2 |
| On directional bias for network coverage | Smith, Graeme; Sanders, J. W.; Li, Qin | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:352737 | 2 |
| Property transformation under specification change | Fu, Zheng; Smith, Graeme | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:228965 | 4 |
| Proving Temporal Properties of Z Specifications Using Abstraction | Smith, Graeme; Winter, Kirsten | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:84144 | 59 |
| Refactoring Object-Oriented Specifications: A Process for Deriving Designs | McComb, Tim; Smith, Graeme | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:8401 | 8 |
| Safety Assurance of Commercial-Off-The-Shelf Software | Lindsay, P.; Smith, G. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10589 | 41 |
| Simulation Machines or Checking Action System Refinements | Smith, Graeme; Winter, Kirsten | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:8143 | 3 |
| State-Based Formal Methods for Distributed Processing: From Z to Object-Z | Smith, Graeme | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10571 | 2 |
| Temporal-logic property preservation under Z refinement | Derrick, John; Smith, Graeme | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:241725 | 1 |
| Using conventional reasoning techniques for self-organising systems | Smith, Graeme; Sanders, J. W. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:283941 | 1 |
| Verifying linearizability on TSO architectures | Derrick, John; Smith, Graeme; Dongol, Brijesh | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:352735 | 3 |
