Peter A. Lindsay

Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter: Cut Set Analysis using Behavior Trees and model checking. Formal Asp. Comput. 24(2): 249-266 (2012)

Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay: Execution of natural language requirements using State Machines synthesised from Behavior Trees. Journal of Systems and Software 85(11): 2652-2664 (2012)

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay: Experience with fault injection experiments for FMEA. Softw., Pract. Exper. 41(11): 1233-1258 (2011)

Peter A. Lindsay: Behavior Trees: From Systems Engineering to Software Engineering. SEFM 2010: 21-30

Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage: Safety Assessment Using Behavior Trees and Model Checking. SEFM 2010: 181-190

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (Eds.): Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working 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. IFIP Advances in Information and Communication Technology 329, Springer 2010, isbn 978-3-642-15233-7

Kuang-Yuan Chen, Peter A. Lindsay: Feedback of Delayed Rewards in XCS for Environments with Aliasing States. ACAL 2009: 252-261

Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass: A hierarchical conflict resolution method for multi-agent path planning. IEEE Congress on Evolutionary Computation 2009: 1169-1176

Antonio Cerone, Simon Connelly, Peter A. Lindsay: Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and System Modeling 7(3): 273-286 (2008)

Simon Connelly, Peter A. Lindsay, Marcus Gallagher: An agent based approach to examining shared situation awareness. ICECCS 2007: 138-147

Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker: An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209

Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter: An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM 2005: 129-149

Antonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362

Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper: SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. 30(10): 675-693 (2004)

Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington: An Environment for Building a System out of its Requirements. ASE 2004: 398-399

Christian Hamoy, David Hemer, Peter A. Lindsay: HazLog: Tool Support for Hazard Management. SCS 2004: 77-87

Peter A. Lindsay, Anthony Cant (Eds.): Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. CRPIT 33, Australian Computer Society 2004

Peter A. Lindsay (Ed.): Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002. CRPIT 15, Australian Computer Society 2003, isbn 0-909-92593-3

David Hemer, Peter A. Lindsay: Supporting Component-Based Reuse in CARE. ACSC 2002: 95-104

Peter A. Lindsay, Simon Connelly: Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC 2002: 43-54

Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald: A Tool for Subsystem Configuration Management. ICSM 2002: 492-500

Lars-Henrik Eriksson, Peter A. Lindsay (Eds.): FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Lecture Notes in Computer Science 2391, Springer 2002, isbn 3-540-43928-5

David Hemer, Peter A. Lindsay: Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference 2001: 235-243

Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples: A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference 2001: 275-284

David Leadbetter, Andrew Hussey, Peter A. Lindsay, Andrew Neal, Mike Humphreys: Towards Model Based Prediction of Human Error Rates in Interactive Systems. AUIC 2001: 42-49

Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233-

Peter A. Lindsay: Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. SCS 2001: 31-38

Peter A. Lindsay (Ed.): Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001. CRPIT 3, Australian Computer Society 2001, isbn 0-909-92581-X

Peter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130

Peter A. Lindsay, Owen Traynor: Supporting Fine-Grained Traceability in Software Development Environments. SCM 1998: 133-139

Peter A. Lindsay: Formal approach to specification and verification of task management in interactive systems. IEE Proceedings - Software 144(4): 206-214 (1997)

David Hemer, Peter A. Lindsay: Reuse of Verified Design Templates Through Extended Pattern Matching. FME 1997: 495-514

Peter A. Lindsay, David Hemer: Using CARE to Construct Verified Software. ICFEM 1997: 122-131

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor: Formal Methods Pilot Project. APSEC 1996: 238-245

Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference 1996: 27-

Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. ASYNC 1996: 27-

Peter A. Lindsay: On transferring VDM verification techniques to Z. FME 1994: 190-213

Kelvin J. Ross, Peter A. Lindsay: A Precise Examination of the Behaviour of Process Models. FME 1994: 251-270

Kelvin J. Ross, Peter A. Lindsay: Maintaining Consistency Under Changes to Formal Specifications. FME 1993: 558-577

Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore: Mural - a formal development support system. Springer 1991, isbn 3-540-19651-X, pp. I-XIII, 1-421

Peter A. Lindsay: On Alternating omega-Automata. J. Comput. Syst. Sci. 36(1): 16-24 (1988)

Cliff B. Jones, Peter A. Lindsay: A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152

Peter A. Lindsay: Alternation and omega-Type Turing Acceptors. Theor. Comput. Sci. 43: 107-115 (1986)