Emeritus Professor Peter Lindsay
Emeritus Professor
School of Electrical Engineering & Computer Science
Publications
Book Chapters
Kanagarajah, Ashok Kay, Lindsay, Peter, Miller, Anne and Parker, David (2008). An exploration into the uses of agent-based modelling to improve quality of healthcare. Unifying themes in complex systems : Proceedings of the sixth international conference on complex systems. (pp. 471-478) edited by Ali Minai, Dan Braha and Yaneer Bar-Yam. Berlin: Springer-Verlag. doi: 10.1007/978-3-540-85081-6_58
Grunske, L., Lindsay, P. A., Bondarev, E., Papadopoulos, Y. and Parker, D. (2007). An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. Lecture Notes in Computer Science Architecting Dependable Systems IV. (pp. 188-209) Heidelberg, Germany: Springer.
Alam, S., McPartland, M., Barlow, M., Lindsay, P. A. and Abbass, H. (2005). Neural evolution for collision detection and resolution in a 2D free flight environment. Recent Advances in Artificial Life; Advances in Natural Computation - Vol 3. (pp. 13-28) edited by H. Abbass, T. Bossomaier and J. Wiles. Singapore: World Scientific Publishing Co. Pte. Ltd.. doi: 10.1142/9789812701497_0002
Journal Articles
Kim, Soon-Kyeong, Myers, Toby, Wendland, Marc-Florian and Lindsay, Peter A. (2012). Execution of natural language requirements using state machines synthesised from behavior trees. Journal of Systems and Software, 85 (11), 2652-2664. doi: 10.1016/j.jss.2012.06.013
Lindsay, Peter A., Yatapanage, Nisansala and Winter, Kirsten (2012). Cut set analysis using behavior trees and model checking. Formal Aspects of Computing, 24 (2), 249-266. doi: 10.1007/s00165-011-0181-8
Arnott, Shane D. and Lindsay, Peter A. (2012). Case study analysis of Defense Experimentation to support Network Enabled Capability development. Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 10 (2), 91-104. doi: 10.1177/1548512911430838
Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad and Lindsay, Peter A. (2011). Experience with fault injection experiments for FMEA. Software: Practice and Experience, 41 (11), 1233-1258. doi: 10.1002/spe.1039
Zhao, J., Dong, Z. Y., Lindsay, P. and Wong, K. P. (2009). Flexible transmission expansion planning with uncertainties in an electricty market. IEEE Transactions on Power Systems, 24 (1), 479-488. doi: 10.1109/TPWRS.2008.2008681
Watson, James, Abbass, Hussein A., Lokan, Chris and Lindsay, Peter (2008). Software engineering for artificial life, complex systems, and agent-based distillation. Complexity International, 12, 1-13.
Cerone, Antonio, Connelly, Simon and Lindsay, Peter (2008). Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and Systems Modeling, 7 (3), 273-286. doi: 10.1007/s10270-007-0072-x
Hemer, D. and Lindsay, P. A. (2005). Template-based construction of verified software. Iee Proceedings-software, 152 (1), 2-12. doi: 10.1049/ip-sen:20041006
Volzer, H., MacDonald, A., Atchison, B., Hanlon, A., Lindsay, P. and Strooper, P. (2004). SubCM: A tool for improved visibility of software change in an industrial setting. Ieee Transactions On Software Engineering, 30 (10), 675-693. doi: 10.1109/TSE.2004.67
LINDSAY, PA (1979). BIG AND-OR SOFT SPLEEN - SURVEY OF NECROPSY SPECIMENS. Archives of Pathology & Laboratory Medicine, 103 (3), 125-130.
KURNICK, NB and LINDSAY, PA (1967). MECHANISM OF COMPENSATORY RENAL HYPERTROPHY - POSSIBLE ROLE OF SERUM FACTOR. Laboratory Investigation, 17 (2), 211-+.
Conference Papers
Lindsay, Peter A., Kromodimoeljo, Sentot, Strooper, Paul A. and Almorsy, Mohamed (2015). Automation of test case generation from behavior tree requirements models. Australasian Software Engineering Conference (ASWEC), Adelaide, SA, Australia, 28 September-1 October 2015. Piscataway, NJ, United States: IEEE. doi: 10.1109/ASWEC.2015.23
Kromodimoeljo, Sentot and Lindsay, Peter A. (2015). Automatic generation of minimal cut sets. 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, 22 June 2015. Open Publishing Association. doi: 10.4204/EPTCS.184.3
Lindsay, Peter A., Winter, Kirsten and Kromodimoeljo, Sentot (2012). Model-based Safety Risk Assessment using Behaviour Trees. Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering (SETE APCOSE 2012), Brisbane, Qld., Australia, 1 - 2 May 2012. Manuka, ACT, Australia: Systems Engineering Society of Australia.
Lindsay, Peter A., Winter, Kirsten and Yatapanage, Nisansala (2010). Safety assessment using behavior trees and model checking. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 13-18 September 2010. Piscataway, NJ, United States: IEEE Computer Society Press. doi: 10.1109/SEFM.2010.23
Valencia, Philip, Lindsay, Peter and Jurdak, Raja (2010). Distributed genetic evolution in WSN. Proc 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Stockholm, Sweden, 12-16 April 2010. Piscataway, NJ, United States: IEEE - Computer Society. doi: 10.1145/1791212.1791215
Arnott, Shane D. and Lindsay, Peter A. (2010). Reducing uncertainty in Systems Engineering through Defence Experimentation. Improving Systems and Software Engineering Conference 2010 (ISSEC 2010), Brisbane, Australia, 23-26 August 2010. Brisbane, Australia: Improving Systems and Software Engineering Conference (ISSEC).
MacDiarmid, Alisdair and Lindsay, Peter (2010). Can system of systems be given self-x requirement engineering capabilities?. Systems Engineering and Test and Evaluation Conference 2010 (SETE 2010), Adelaide, South Australia, 3-6 May 2010. Australia: Systems Engineering Society of Australia.
Valencia, Philip, Jurdak, Raja and Lindsay, Peter (2010). Fitness Importance for online evolution. 12th Annual Genetic and Evolutionary Computation Conference, GECCO-2010, Portland, OR United States, 7 - 11 July 2010. New York, NY United States: ACM (Association for Computing Machinery) Press. doi: 10.1145/1830761.1830890
Hinchey, Mike, Kleinjohann, Bernd, Kleinjohann, Lisa, Lindsay, Peter, Rammig, Franz J., Timmis, Jon and Wolf, Marilyn (2010). Distributed, parallel and biologically inspired systems: 7th IFIPTC 10working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010 held as part of WCC 2010 Brisbane, Australia, september 20-23, 2010 proceedings. 7th IFIPTC 10working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010, Brisbane, Australia, 20-23 September 2010 . Springer New York LLC.
Lindsay, Peter A. (2010). Behavior Trees: From systems engineering to software engineering. 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/SEFM.2010.11
Chen, Kuang-Yuan, Lindsay, Peter A., Robinson, Peter J. and Abbass, Hussein A. (2009). A hierarchical conflict resolution method for multi-agent path planning. IEEE Congress on Evolutionary Computation (IEEE CEC 2009), Trondheim, NORWAY, 18-21 May 2009. Piscataway NJ USA: IEEE Press. doi: 10.1109/CEC.2009.4983078
Lindsay, Peter, Ramsay, Colin, Vilaplana, Miguel, Leones, Javier Lopez, Casado, Enrique and Parks, Paul (2009). Robustness of idle-throttle continuous descent approach trajectories against modified timing requirements. 9th AIAA Aviation technology, Integration and Operations Conference (ATIO '09), South Carolina, USA, 21-23 September 2009. USA: American Institute of Aeronautics and Astronautics (AIAA). doi: 10.2514/6.2009-6910
Chen, Kuang-Yuan and Lindsay, Peter A. (2009). Feedback of delayed rewards in XCS for environments with aliasing states. 4th Australian Conference on Artificial Life ACAL '09, Melbourne, Australia, 1-4 December 2009. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-642-10427-5_25
Connelly, S., Lindsay, P. A. and Gallagher, M. (2007). An agent based approach to examining shared situation awareness. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11-14 July 2007. Los Alamitos, CA, U.S.A.: IEEE Computer Society. doi: 10.1109/ICECCS.2007.14
Neal, A., Mooij, M., Bolland, S., Xiao, T., Lindsay, P. and Boag, C. (2007). Using multi-level analysis to model the sources of variability in workload within and between sectors. 14th International Symposium on Aviation Psychology (ISAP), Dayton, Ohio, 23-26 April, 2007. Redhook, U.S.A.: Curran Associates, Inc..
Bolland, S., Fothergill, S., Humphreys, M., Neal, A. and Lindsay, P. (2007). Modelling the human air traffic controller, Part II: Emulating controller intervention. 14th International Symposium on Aviation Psychology (ISAP), Dayton, U.S., 23 - 26 April, 2007. Dayton, U.S.: Wright State University.
Kanagarajah, A. K., Lindsay, Peter A., Miller, Anne M. and Parker, D. (2007). An exploration into the uses of agent-based modeling to improve quality of health care. 6th International Conference on Complex Systems, Boston, MA, 25-30 June, 2006. USA: The New England Complex Systems Institute.
Kanagarajah, A. K., Lindsay, P. and Parker, D. (2007). Simulation engine for strategic planning of health services using agent based modelling. The 8th Asia-Pacific Complex Systems Conference (Complex '07), Surfers Paradise, Gold Coast, 2-5 July, 2007. Australia: ARC Centre for Complex Systems.
Kanagarajah, A. K., Parker, D., Lindsay, P. and Miller, A. (2007). Agent-based modeling to improve quality of health care. 5th ANZAM and 1st Asian Pacific Operations Management Symposium, Melbourne, VIC Australia, 6-7 June, 2007. Melbourne, VIC Australia: ANZAM.
Chen, K., Dam, H., Lindsay, P.A. and Abbass, H.A. (2007). Biasing XCS with domain knowledge for planning flight trajectories in a moving sector free flight environment. 2007 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2007), Hawaii, 1-5 April, 2007. USA: IEEE. doi: 10.1109/ALIFE.2007.367830
Lindsay, P A (2006). Evaluation of a simple timing -based intervention heuristic for trajectory-based air traffic management. 5th Eurocontrol Innovation Research Workshop, France, 5-7 December, 2006. France: Eurocontrol Experimental Centre.
Grunske, Lars, Lindsay, Peter, Yatapanage, Nisansala and Winter, Kirsten (2005). An automated failure mode and effect analysis based on high-level design specificication with behavior trees. Integrated Formal Methods 2005, Eindhoven, The Netherlands, 29 November - 2 December 2005. Heidelberg, Germany: Springer. doi: 10.1007/11589976_9
Alam, S., Abbass, H., Barlow, M. and Lindsay, P. A. (2005). Mapping lessons from ants to free flight: An ant-based weather aviodance algorithm in free flight airspace. Complex Systems, Brisbane, Australia, 12-14 December, 2005. Washington, USA: SPIE -The International Society for Optical Engineering. doi: 10.1117/12.644284
Chang, R. C. and Lindsay, P. A. (2005). A simulator for exploring autonomous control of multiple UAVs at non-radar controlled airstrips. 2005 Intelligent Sensors, Sensor Network s and Information Processing (ISSNIP'05), Melbourne, Australia, 5-8 December 2005. CD Rom: IEEE. doi: 10.1109/issnip.2005.1595611
Cerone, A., Lindsay, P. A. and Connelly, S. F. (2005). Formal analysis of human-computer interaction using model checking. 3rd International Conference on Software Engineering & Formal Methods 2005, Koblenz, Germany, 7-9 September, 2005. Los Alamitos, CA, USA: IEEE Computer Society. doi: 10.1109/SEFM.2005.19
Wicks, J., Connelly, S. F., Lindsay, P. A., Neal, A. F., Wang, J. S. and Chitoni, R. (2005). Simulation of air traffic controllers' behaviour using the operator choice model. MODSIM05, Melbourne, 12-15 December, 2005. Canberra, ACT: Modelling and Simulation Society of Australia and New Zealand.
Smith, C., Winter, K., Hayes, I., Dromey, G., Lindsay, P. and Carrington, D. (2004). An environment for building a system out of its requirements. Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004, , , September 20, 2004-September 24, 2004. doi: 10.1109/ASE.2004.1342775
Watson, J. R., Abbass, H., Lokan, C. and Lindsay, P. A. (2004). Software engineering for artificial life, complex systems, and agent-based distillation. The Seventh Asia-Pacific Conference on Complex Systems, Cairns, 6-10 December, 2004. Rockhampton: Central Queensland University.
Hamoy, C., Hemer, D. and Lindsay, P. A. (2004). HAZLOG: Tool support for hazard management. 9th Australian Workshop on Safety-Related Programmable Systems, Brisbane, Australia, 19-20 August, 2004. Sydney, Australia: Australian Computer Society Inc..
Neal, Andrew F., Humphreys, Michael F., Leadbetter, David and Lindsay, Peter A. (2003). Development of a hazard analysis technique for human computer systems. Australian Aviation Psychology Symposium 2000, Sydney, Australia, 20-24 November 2000. Aldershot, England: Ashgate Publishing Company.
Murray, L. M., Griffiths, A., Lindsay, P. A. and Strooper, P. A. (2002). Requirements traceability for embedded software - an industry experience report. Software Engineering and Applications, Cambridge, USA, 4-6 November, 2002. Anaheim, USA: ACTA Press.
Voelzer, H. P., Atchison, B., Lindsay, P. A., Macdonald, A. J. and Strooper, P. A. (2002). A tool for subsystem configuration management. ICSM 2002, Montreal, Canada, 3-6 October, 2002. Los Alamitos, USA: IEEE Computer Society. doi: 10.1109/ICSM.2002.1167810
Bofinger, M., Robinson, N. J., Lindsay, P. A., Spiers, M., Ashford, M. and Pitman, A. (2002). Experience with extending CMMI for safety related applications. INCOSE2002, Las Vegas, USA, 28 July - 1 August, 2002. Seattle, USA: International Council On Systems Engineering.
Lindsay, P. A. and McDermid, J. (2002). Derivation of safety requirements for an embedded control system. Systems Engineering, Test and Evaluation Conference, Sydney, 29-30 October, 2002. Sydney: Software Engineering Society of Australia.
Mc Donald, J., Murray, L., Lindsay, P. A. and Strooper, P. A. (2001). Module testing embedded software - an industrial pilot project. ICECCS 2001, Skovde, Sweden, 11-13 June 2001. Los Alamitos: IEEE Computer Society. doi: 10.1109/ICECCS.2001.930182
Lindsay, Peter, MacDonald, Anthony, Staples, Mark and Strooper, Paul (2001). A framework for subsystem-based configuration management. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, August 27, 2001-August 28, 2001. IEEE Computer Society. doi: 10.1109/ASWEC.2001.948521
Robinson, N. J., Lindsay, P. A. and Pitman, A. (2001). Extending the integrated capability maturity model (CMMI) for safety-related applications. INCOSE 2001, Melbourne, 1-5 July 2001. CD ROM publication only: SESA.
Leadbetter, D., Hussey, A. P., Lindsay, P. A., Neal, A. F. and Humphreys, M. S. (2001). Towards model based prediction of human error rates in interactive systems. AUIC 2001, Gold Coast, 29 January - 1 February 2001. Los Alamitos: IEEE Computer Society. doi: 10.1109/AUIC.2001.906275
Lindsay, Peter A. (2001). Improved acquisition processes for safety-critical systems in the Australian department of defence. 6th Australian Workshop on Safety Critical Systems and Software, Brisbane, Australia, 2001. Darlinghurst, NSW, Australia: Australian Computer Society.
Lindsay, P. A. (2001). Improved acquisition processes for safety-critical systems in the Australian Department of Defence. Australian Workshop on Safety Critical Systems & Softwae, Brisbane, 6 July 2001. Sydney: Australian Computer Society.
Hemer, David and Lindsay, Peter (2001). Specification-Based Retrieval Strategies for Module Reuse. 13th Australian Software Engineering Conference (ASWEC'01), Canberra, Australia, 27 - 28 August 2001. Piscataway, N.J., U.S.A.: IEEE. doi: 10.1109/ASWEC.2001.948517
Lindsay, P. A. and Smith, G. P. (2000). Safety assurance of Commercial-Off-The-Shelf software. 5th Australian Workshop on Safety Critical Systems & Software, Melbourne, Australia, 24 November, 2000. Melbourne, Australia: Australian Computer Society.
Atchison, Brenton M. and Lindsay, Peter A. (2000). Safety validation of embedded control software using Z animation. High Assurance Systems Engineering, Albuquerque, New Mexico, USA, 15-17 November, 2000. Los Alamitos, USA: IEEE Computer Society. doi: 10.1109/HASE.2000.895467
Lindsay, P. A., McDermid, J. and Tombs, D. J. (2000). Deriving quantified safety requirements in complex systems. 19th International Conf, SAFECOMP 2000, Rotterdam, The Netherlands, 24-27 October, 2000. Berlin: Springer Verlag. doi: 10.1007/3-540-40891-6_11
Atchison, B., Lindsay, P. A. and Cant, T. (1999). Improving safety management in defence acquisition. Fourth Australian Workshop on Safety Critical Systems and Software, Canberra, 26 Nov, 1999. Sydney, Australia: Australian Computer Society.
Hemer, David and Lindsay, Peter A. (1997). Reuse of verified design templates through extended pattern matching. 4th International Symposium of Formal Methods Europe, FME 1997, Graz, Austria, 15-19 September 1997. Springer Verlag. doi: 10.1007/3-540-63533-5_26
Lindsay Peter and Hemer David (1997). Using CARE to construct verified software. Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM, Hiroshima, Jpn, November 12, 1997-November 14, 1997. IEEE Comp Soc. doi: 10.1109/icfem.1997.630417
Hemer David and Lindsay Peter (1996). CARE toolset for developing verified programs from formal specifications. Proceedings of the 1996 4th International Symposium on Assessment of Software Tools, Toronto, Can, May 22, 1996-May 24, 1996. doi: 10.1109/ast.1996.506475
Ross, Kelvin J. and Lindsay, Peter A. (1993). Maintaining consistency under changes to formal specifications. 1st International Symposium of Formal Methods Europe, FME 1993, Odense, Denmark, 19-23 April 1993. Springer Verlag. doi: 10.1007/BFb0024667
Department Technical Reports
Lindsay, Peter A., Winter, Kirsten and Colvin, Robert (2010). Model-checking tool support for quantitative risk analysis and design for safety. Division of Systems and Software Engineering Research, Technical Report SSE-2010-04. School of Information Technolology and Electrical Engineering, The University of Queensland.
Volzer, Hagen, Atchison, Brenton, Lindsay, Peter, MacDonald, Anthony and Strooper, Paul (2002). A Tool for Subsystem Configuration Management. Technical Report 02-07. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Lindsay, P. and Connelly, Simon (2001). Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. Technical Report no. 01-35. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hemer, David and Lindsay, Peter (2001). Supporting Component-based Reuse in CARE. Technical Report no. 01-26. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hemer, David and Lindsay, Peter (2001). Specification-based Retrieval Strategies for Module Reuse. Technical Report no. 01-25. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001). A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31. Software Verification Research Centre, School of Information Technology, The University Of Queensland.
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001). A framework for subsystem-based configuration management. SVRC Tech Report 01-05. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Robinson, Neil, Lindsay, Peter and Pitman, Adrian (2000). Extending the Integrated Capability Maturity Model (CMMI) for Safety-related Applications. Technical Report no. 00-40. Software Verification Research Centre, School of Information Technology, The University of Queensland.
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.
Lindsay, Peter, McDermid, John and Tombs, David (1999). A process for derivation and quantification of safety requirements for components of complex systems. SVRC Technical Report, 99-46. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Atchison, Brenton, Lindsay, Peter and Cant, Tony (1999). Improving safety management in defence acquisition. SVRC Technical Report, 99-42. Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.
Atchison, Brenton, Lindsay, Peter and Tombs, David (1999). A case study in software safety assurance using formal methods. SVRC Technical Report, 99-31. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Hemer, David and Lindsay, Peter (1999). Specification-based retrieval strategies for module reuse. Technical Report SSE, 99-11. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.
Lindsay, Peter A. and Traynor, Owen (1998). Supporting Fine-grained Traceability in Software Development Environments. SVRC Technical Report, 98-10. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Research Reports
Lindsay, P. A. and Connelly, S. F. (2001). Modelling erroneous operator behaviours for an air-traffic control task. St Lucia, QLD Australia: University of Queensland.
Hemer, D. G. and Lindsay, P. A. (2001). Specification-based retrieval strategies for module reuse. Brisbane: Software Verification Research Cen. Univ of Qld.
Hemer, D. G. and Lindsay, P. A. (2001). Supporting component-based reuse in CARE. Brisbane: Software Verification Research Cen. Univ of Qld.