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 |
|---|---|---|---|
| Lindsay, P |  https://orcid.org/0000-0002-0608-8969 |
21 | 1092 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| A Formal Model Of Cognitive Processes For An Air Traffic Control Task | Connelly, Simon; Lindsay, Peter; Neal, Andrew; Humphreys, Mike | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10573 | 18 |
| A Tool for Subsystem Configuration Management | Volzer, Hagen; Atchison, Brenton; Lindsay, Peter; MacDonald, Anthony; Strooper, Paul | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10548 | 57 |
| 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 |
| An exploration into the uses of agent-based modelling to improve quality of healthcare | Kanagarajah, Ashok Kay; Lindsay, Peter; Miller, Anne; Parker, David | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:241446 | 645 |
| An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems | Grunske, L.; Lindsay, P. A.; Bondarev, E.; Papadopoulos, Y.; Parker, D. | Book Section | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:136039 | 1 |
| Automatic generation of minimal cut sets | Kromodimoeljo, Sentot; Lindsay, Peter A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:378304 | 25 |
| Behavior Trees: From systems engineering to software engineering | Lindsay, Peter A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:228649 | 3 |
| Can system of systems be given self-x requirement engineering capabilities? | MacDiarmid, Alisdair; Lindsay, Peter | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:234725 | 5 |
| 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 |
| 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 |
| Extending the Integrated Capability Maturity Model (CMMI) for Safety-related Applications | Robinson, Neil; Lindsay, Peter; Pitman, Adrian | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10585 | 40 |
| Improving safety management in defence acquisition | Atchison, Brenton; Lindsay, Peter; Cant, Tony | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:284407 | 5 |
| Mapping lessons from ants to free flight: An ant-based weather aviodance algorithm in free flight airspace | Alam, S.; Abbass, H.; Barlow, M.; Lindsay, P. A. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:102719 | 83 |
| 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 |
| Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task | Lindsay, P.; Connelly, Simon | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10570 | 25 |
| 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 |
| 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 of air traffic controllers' behaviour using the operator choice model | Wicks, J.; Connelly, S. F.; Lindsay, P. A.; Neal, A. F.; Wang, J. S.; Chitoni, R. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:102686 | 10 |
| Specification-based Retrieval Strategies for Module Reuse | Hemer, David; Lindsay, Peter | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10575 | 63 |
| Supporting Component-based Reuse in CARE | Hemer, David; Lindsay, Peter | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:10574 | 11 |
| Supporting Fine-grained Traceability in Software Development Environments | Lindsay, Peter A.; Traynor, Owen | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:286769 | 32 |
