Peter A. Lindsay

50 papers A* 1B 10C 3Journal 10Unranked 20

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	Automatic Generation of Minimal Cut Sets. ESSS Sentot Kromodimoeljo, Peter A. Lindsay
2015	—	`conf`	Automation of Test Case Generation from Behavior Tree Requirements Models. ASWEC Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy
2012	J	`jnl`	Cut Set Analysis using Behavior Trees and model checking. Formal Aspects Comput. Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
2012	J	`jnl`	Execution of natural language requirements using State Machines synthesised from Behavior Trees. J. Syst. Softw. Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay
2011	J	`jnl`	Experience with fault injection experiments for FMEA. Softw. Pract. Exp. Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay
2010	B	`conf`	Behavior Trees: From Systems Engineering to Software Engineering. SEFM Peter A. Lindsay
2010	—	`ed.`	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 DIPES/BICC Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
2010	—	`conf`	Preface. DIPES/BICC Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis
2010	B	`conf`	Safety Assessment Using Behavior Trees and Model Checking. SEFM Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage
2009	B	`conf`	A hierarchical conflict resolution method for multi-agent path planning. IEEE Congress on Evolutionary Computation Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass
2009	—	`conf`	Feedback of Delayed Rewards in XCS for Environments with Aliasing States. ACAL Kuang-Yuan Chen, Peter A. Lindsay
2008	J	`jnl`	Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model. Antonio Cerone, Simon Connelly, Peter A. Lindsay
2007	B	`conf`	An agent based approach to examining shared situation awareness. ICECCS Simon Connelly, Peter A. Lindsay, Marcus Gallagher
2007	C	`conf`	Biasing XCS with Domain Knowledge for Planning Flight Trajectories in a Moving Sector Free Flight Environment. ALIFE Kuang-Yuan Chen, Hai Huong Dam, Peter A. Lindsay, Hussein A. Abbass
2006	B	`conf`	An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker
2005	B	`conf`	An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
2005	B	`conf`	Formal Analysis of Human-computer Interaction using Model-checking. SEFM Antonio Cerone, Peter A. Lindsay, Simon Connelly
2005	J	`jnl`	Template-based construction of verified software. IEE Proc. Softw. David Hemer, Peter A. Lindsay
2004	A*	`conf`	An Environment for Building a System out of its Requirements. ASE Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
2004	—	`conf`	HazLog: Tool Support for Hazard Management. SCS Christian Hamoy, David Hemer, Peter A. Lindsay
2004	—	`ed.`	Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 SCS Peter A. Lindsay, Anthony Cant
2004	J	`jnl`	SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper
2003	—	`ed.`	Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 SCS Peter A. Lindsay
2002	—	`conf`	A Tool for Subsystem Configuration Management. ICSM Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
2002	—	`ed.`	FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings FME Lars-Henrik Eriksson, Peter A. Lindsay
2002	—	`conf`	Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC Peter A. Lindsay, Simon Connelly
2002	—	`conf`	Supporting Component-Based Reuse in CARE. ACSC David Hemer, Peter A. Lindsay
2001	—	`conf`	A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples
2001	—	`conf`	Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. SCS Peter A. Lindsay
2001	B	`conf`	Module Testing Embedded Software--An Industrial Pilot Project. ICECCS Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
2001	—	`ed.`	Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 SCS Peter A. Lindsay
2001	—	`conf`	Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference David Hemer, Peter A. Lindsay
2001	—	`conf`	Towards Model Based Prediction of Human Error Rates in Interactive Systems. AUIC David Leadbetter, Andrew Hussey, Peter A. Lindsay, Andrew Neal, Mike Humphreys
2000	B	`conf`	Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP Peter A. Lindsay, John A. McDermid, David J. Tombs
2000	—	`conf`	Safety validation of embedded control software using Z animation. HASE Brenton Atchison, Peter A. Lindsay
1998	—	`conf`	Supporting Fine-Grained Traceability in Software Development Environments. SCM Peter A. Lindsay, Owen Traynor
1997	B	`conf`	A systematic approach to software safety integrity levels. SAFECOMP Peter A. Lindsay, John A. McDermid
1997	J	`jnl`	Formal approach to specification and verification of task management in interactive systems. IEE Proc. Softw. Eng. Peter A. Lindsay
1997	—	`conf`	Reuse of Verified Design Templates Through Extended Pattern Matching. FME David Hemer, Peter A. Lindsay
1997	C	`conf`	Using CARE to Construct Verified Software. ICFEM Peter A. Lindsay, David Hemer
1996	—	`conf`	An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference Peter A. Lindsay, David Hemer
1996	C	`conf`	Formal Methods Pilot Project. APSEC Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
1994	—	`conf`	A Precise Examination of the Behaviour of Process Models. FME Kelvin J. Ross, Peter A. Lindsay
1994	—	`conf`	On transferring VDM verification techniques to Z. FME Peter A. Lindsay
1994	—	`book`	Proof in VDM: A Practitioner's Guide Proof in VDM Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie
1993	—	`conf`	Maintaining Consistency Under Changes to Formal Specifications. FME Kelvin J. Ross, Peter A. Lindsay
1988	—	`conf`	A Support System for Formal Reasoning: Requirements and Status. VDM Europe Cliff B. Jones, Peter A. Lindsay
1988	J	`jnl`	A survey of mechanical support for formal reasoning. Softw. Eng. J. Peter A. Lindsay
1988	J	`jnl`	On Alternating omega-Automata. J. Comput. Syst. Sci. Peter A. Lindsay
1986	J	`jnl`	Alternation and omega-Type Turing Acceptors. Theor. Comput. Sci. Peter A. Lindsay