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 |
|---|---|---|---|
| Winter, K |  https://orcid.org/0000-0002-8519-2026 |
22 | 494 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| An algebra of synchronous atomic steps | Hayes, Ian J.; Colvin, Robert J.; Meinicke, Larissa A.; Winter, Kirsten; Velykis, Andrius | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:416706 | 2 |
| An automated failure mode and effect analysis based on high-level design specificication with behavior trees | Grunske, Lars; Lindsay, Peter; Yatapanage, Nisansala; Winter, Kirsten | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:102783 | 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 |
| Cut set analysis using behavior trees and model checking | Lindsay, Peter A.; Yatapanage, Nisansala; Winter, Kirsten | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:253861 | 2 |
| Defining the abstract syntax of visual languages with advanced graph grammars: A case study based on behavior trees | Grunske, Lars; Winter, Kirsten; Yatapanage, Nisansala | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:182898 | 1 |
| Dynamic relational behaviour for large-scale systems | Winter, Kirsten; Colvin, Robert; Dromey, R, Geoff | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:187711 | 4 |
| Experience with fault injection experiments for FMEA | Grunske, Lars; Winter, Kirsten; Yatapanage, Nisansala; Zafar, Saad; Lindsay, Peter A. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:228753 | 1 |
| Formalising behaviour trees with CSP | Winter, Kirsten | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:100586 | 173 |
| 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 |
| Introducing time in an industrial application of model-checking | van den Berg, L.; Strooper, P.; Winter, K. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:176685 | 1 |
| Model checking object-Z using ASM | Winter, K.; Duke, R. W. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:97110 | 58 |
| Model Checking Railway Interlocking Systems | Winter, Kirsten | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10567 | 25 |
| Model-checking tool support for quantitative risk analysis and design for safety | Lindsay, Peter A.; Winter, Kirsten; Colvin, Robert | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:216139 | 22 |
| Next-preserving branching bisimulation | Yatapanage, Nisansala; Winter, Kirsten | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:312343 | 51 |
| Path-sensitive data flow analysis simplified | Winter, Kirsten; Zhang, Chenyi; Hayes, Ian J.; Keynes, Nathan; Cifuentes, Cristina; Li, Lisa | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:319997 | 1 |
| 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 |
| Safety assessment using behavior trees and model checking | Lindsay, Peter A.; Winter, Kirsten; Yatapanage, Nisansala | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:228468 | 2 |
| 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 |
| Supporting Abstraction when Model Checking ASM | Winter, Kirsten | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10579 | 8 |
| Symbolic model checking for interlocking systems | Winter, Kirsten | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:283075 | 1 |
| Timed behavior trees and their application to verifying real-time systems | Grunske, Lars; Winter, Kirsten; Colvin, Robert | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:135702 | 1 |
