Peter A. Lindsay

Peter Alexander Lindsay

	2012
42		Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter: Cut Set Analysis using Behavior Trees and model checking. Formal Asp. Comput. 24(2): 249-266 (2012)
	2011
41		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)
	2010
40		Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf: 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 Springer 2010
39		Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage: Safety Assessment Using Behavior Trees and Model Checking. SEFM 2010: 181-190
38		Peter A. Lindsay: Behavior Trees: From Systems Engineering to Software Engineering. SEFM 2010: 21-30
	2009
37		Kuang-Yuan Chen, Peter A. Lindsay: Feedback of Delayed Rewards in XCS for Environments with Aliasing States. ACAL 2009: 252-261
36		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
	2008
35		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)
	2007
34		Simon Connelly, Peter A. Lindsay, Marcus Gallagher: An agent based approach to examining shared situation awareness. ICECCS 2007: 138-147
	2006
33		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
	2005
32		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
31		Antonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362
	2004
30		Peter A. Lindsay, Anthony Cant: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 Australian Computer Society 2004
29		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
28		Christian Hamoy, David Hemer, Peter A. Lindsay: HazLog: Tool Support for Hazard Management. SCS 2004: 77-87
27		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)
	2003
26		Peter A. Lindsay: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 Australian Computer Society 2003
	2002
25		Lars-Henrik Eriksson, Peter A. Lindsay: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings Springer 2002
24		David Hemer, Peter A. Lindsay: Supporting Component-Based Reuse in CARE. ACSC 2002: 95-104
23		Peter A. Lindsay, Simon Connelly: Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC 2002: 43-54
22		Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald: A Tool for Subsystem Configuration Management. ICSM 2002: 492-500
	2001
21		Peter A. Lindsay: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 Australian Computer Society 2001
20		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
19		David Hemer, Peter A. Lindsay: Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference 2001: 235-243
18		Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples: A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference 2001: 275-284
17		Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233-
16		Peter A. Lindsay: Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. SCS 2001: 31-38
	2000
15		Peter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130
	1998
14		Peter A. Lindsay, Owen Traynor: Supporting Fine-Grained Traceability in Software Development Environments. SCM 1998: 133-139
	1997
13		David Hemer, Peter A. Lindsay: Reuse of Verified Design Templates Through Extended Pattern Matching. FME 1997: 495-514
12		Peter A. Lindsay, David Hemer: Using CARE to Construct Verified Software. ICFEM 1997: 122-131
11		Peter A. Lindsay: Formal approach to specification and verification of task management in interactive systems. IEE Proceedings - Software 144(4): 206-214 (1997)
	1996
10		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
9		Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. ASYNC 1996: 27-
8		Peter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference 1996: 27-
	1994
7		Peter A. Lindsay: On transferring VDM verification techniques to Z. FME 1994: 190-213
6		Kelvin J. Ross, Peter A. Lindsay: A Precise Examination of the Behaviour of Process Models. FME 1994: 251-270
	1993
5		Kelvin J. Ross, Peter A. Lindsay: Maintaining Consistency Under Changes to Formal Specifications. FME 1993: 558-577
	1991
4		Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore: Mural - a formal development support system. Springer 1991: I-XIII, 1-421
	1988
3		Cliff B. Jones, Peter A. Lindsay: A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152
2		Peter A. Lindsay: On Alternating omega-Automata. J. Comput. Syst. Sci. 36(1): 16-24 (1988)
	1986
1		Peter A. Lindsay: Alternation and omega-Type Turing Acceptors. Theor. Comput. Sci. 43: 107-115 (1986)

Coauthor Index

1	Hussein A. Abbass	[36]
2	Brenton Atchison	[22] [27]
3	Egor Bondarev (Egor R. V. Bondarev)	[33]
4	Anthony Cant	[30]
5	David A. Carrington	[29]
6	Antonio Cerone	[31] [35]
7	Kuang-Yuan Chen	[36] [37]
8	Simon Connelly	[23] [31] [34] [35]
9	R. Geoff Dromey	[29]
10	Lars-Henrik Eriksson	[25]
11	Marcus Gallagher	[34]
12	Lars Grunske	[32] [33] [41]
13	Christian Hamoy	[28]
14	Andrew Hanlon	[27]
15	Tracey Hart	[10]
16	Ian J. Hayes	[29]
17	David Hemer	[8] [9] [12] [13] [19] [24] [28]
18	Michael G. Hinchey (Mike Hinchey)	[40]
19	Mike Humphreys	[20]
20	Andrew Hussey	[20]
21	Cliff B. Jones (Clifford B. Jones)	[3] [4]
22	K. D. Jones	[4]
23	Peter Kearney	[10]
24	Bernd Kleinjohann	[40]
25	Lisa Kleinjohann	[40]
26	David Leadbetter	[20]
27	Fiona Linn	[10]
28	Anthony MacDonald	[18] [22] [27]
29	John A. McDermid	[15]
30	Jason McDonald	[17]
31	Richard C. Moore	[4]
32	Roberto Morello	[10]
33	Leesa Murray	[17]
34	Andrew Neal	[20]
35	Yiannis Papadopoulos	[33]
36	David Parker	[33]
37	Franz Josef Rammig (Franz-Josef Rammig, Franz J. Rammig)	[40]
38	Peter J. Robinson	[36]
39	Kelvin J. Ross	[5] [6] [10]
40	Greg Royle	[10]
41	Cameron Smith	[29]
42	Mark Staples	[18]
43	Paul A. Strooper	[17] [18] [22] [27]
44	Jonathan Timmis (Jon Timmis)	[40]
45	David J. Tombs	[15]
46	Owen Traynor	[10] [14]
47	Hagen Völzer	[22] [27]
48	Kirsten Winter	[29] [32] [39] [41] [42]
49	Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf)	[40]
50	Nisansala Yatapanage	[32] [39] [41] [42]
51	Saad Zafar	[41]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page