Peter A. Lindsay

Publication Activity (10 Years)

Years Active: 1986-2015
Publications (10 Years): 2

Top Topics

Formal Specification

Natural Language

Top Venues

Formal Aspects Comput.

J. Syst. Softw.

Publications

Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy
Automation of Test Case Generation from Behavior Tree Requirements Models. ASWEC (2015)
Sentot Kromodimoeljo, Peter A. Lindsay
Automatic Generation of Minimal Cut Sets. ESSS (2015)
Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay
Execution of natural language requirements using State Machines synthesised from Behavior Trees. J. Syst. Softw. 85 (11) (2012)
Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
Cut Set Analysis using Behavior Trees and model checking. Formal Aspects Comput. 24 (2) (2012)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay
Experience with fault injection experiments for FMEA. Softw. Pract. Exp. 41 (11) (2011)
Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage
Safety Assessment Using Behavior Trees and Model Checking. SEFM (2010)
Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis
Preface. DIPES/BICC (2010)
Peter A. Lindsay
Behavior Trees: From Systems Engineering to Software Engineering. SEFM (2010)
Kuang-Yuan Chen, Peter A. Lindsay
Feedback of Delayed Rewards in XCS for Environments with Aliasing States. ACAL (2009)
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)
Antonio Cerone, Simon Connelly, Peter A. Lindsay
Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model. 7 (3) (2008)
Kuang-Yuan Chen, Hai Huong Dam, Peter A. Lindsay, Hussein A. Abbass
Biasing XCS with Domain Knowledge for Planning Flight Trajectories in a Moving Sector Free Flight Environment. ALIFE (2007)
Simon Connelly, Peter A. Lindsay, Marcus Gallagher
An agent based approach to examining shared situation awareness. ICECCS (2007)
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)
Antonio Cerone, Peter A. Lindsay, Simon Connelly
Formal Analysis of Human-computer Interaction using Model-checking. SEFM (2005)
David Hemer, Peter A. Lindsay
Template-based construction of verified software. IEE Proc. Softw. 152 (1) (2005)
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)
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) (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)
Christian Hamoy, David Hemer, Peter A. Lindsay
HazLog: Tool Support for Hazard Management. SCS (2004)
Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
A Tool for Subsystem Configuration Management. ICSM (2002)
David Hemer, Peter A. Lindsay
Supporting Component-Based Reuse in CARE. ACSC (2002)
Peter A. Lindsay, Simon Connelly
Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC (2002)
Peter A. Lindsay
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. SCS (2001)
Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples
A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference (2001)
David Leadbetter, Andrew Hussey, Peter A. Lindsay, Andrew Neal, Mike Humphreys
Towards Model Based Prediction of Human Error Rates in Interactive Systems. AUIC (2001)
David Hemer, Peter A. Lindsay
Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference (2001)
Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
Module Testing Embedded Software--An Industrial Pilot Project. ICECCS (2001)
Peter A. Lindsay, John Alexander McDermid, David J. Tombs
Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP (2000)
Brenton Atchison, Peter A. Lindsay
Safety validation of embedded control software using Z animation. HASE (2000)
Peter A. Lindsay, Owen Traynor
Supporting Fine-Grained Traceability in Software Development Environments. SCM (1998)
Peter A. Lindsay, John Alexander McDermid
A systematic approach to software safety integrity levels. SAFECOMP (1997)
Peter A. Lindsay, David Hemer
Using CARE to Construct Verified Software. ICFEM (1997)
David Hemer, Peter A. Lindsay
Reuse of Verified Design Templates Through Extended Pattern Matching. FME (1997)
Peter A. Lindsay
Formal approach to specification and verification of task management in interactive systems. IEE Proc. Softw. Eng. 144 (4) (1997)
Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
Formal Methods Pilot Project. APSEC (1996)
Peter A. Lindsay, David Hemer
An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference (1996)
Peter A. Lindsay
On transferring VDM verification techniques to Z. FME (1994)
Kelvin J. Ross, Peter A. Lindsay
A Precise Examination of the Behaviour of Process Models. FME (1994)
Kelvin J. Ross, Peter A. Lindsay
Maintaining Consistency Under Changes to Formal Specifications. FME (1993)
Cliff B. Jones, Peter A. Lindsay
A Support System for Formal Reasoning: Requirements and Status. VDM Europe (1988)
Peter A. Lindsay
A survey of mechanical support for formal reasoning. Softw. Eng. J. 3 (1) (1988)
Peter A. Lindsay
On Alternating omega-Automata. J. Comput. Syst. Sci. 36 (1) (1988)
Peter A. Lindsay
Alternation and omega-Type Turing Acceptors. Theor. Comput. Sci. 43 (1986)