Peter A. Lindsay

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

34EEAntonio 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)
33EESimon Connelly, Peter A. Lindsay, Marcus Gallagher: An agent based approach to examining shared situation awareness. ICECCS 2007: 138-147
32EELars 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
31EELars 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
30EEAntonio Cerone, Peter A. Lindsay, Simon Connelly: Formal Analysis of Human-computer Interaction using Model-checking. SEFM 2005: 352-362
29 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
28EECameron 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
27EEChristian Hamoy, David Hemer, Peter A. Lindsay: HazLog: Tool Support for Hazard Management. SCS 2004: 77-87
26EEHagen 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)
25 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
24 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
23EEDavid Hemer, Peter A. Lindsay: Supporting Component-Based Reuse in CARE. ACSC 2002: 95-104
22EEPeter A. Lindsay, Simon Connelly: Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. AUIC 2002: 43-54
21EEHagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald: A Tool for Subsystem Configuration Management. ICSM 2002: 492-500
20 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
19EEDavid 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
18EEDavid Hemer, Peter A. Lindsay: Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference 2001: 235-243
17EEPeter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples: A Framework for Subsystem-Based Configuration Management . Australian Software Engineering Conference 2001: 275-284
16EEJason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233-
15EEPeter A. Lindsay: Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. SCS 2001: 31-38
14EEPeter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130
13EEPeter A. Lindsay, Owen Traynor: Supporting Fine-Grained Traceability in Software Development Environments. SCM 1998: 133-139
12 David Hemer, Peter A. Lindsay: Reuse of Verified Design Templates Through Extended Pattern Matching. FME 1997: 495-514
11 Peter A. Lindsay, David Hemer: Using CARE to Construct Verified Software. ICFEM 1997: 122-131
10 Peter A. Lindsay: Formal approach to specification and verification of task management in interactive systems. IEE Proceedings - Software 144(4): 206-214 (1997)
9EETracey 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
8EEPeter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. ASYNC 1996: 27-
7EEPeter A. Lindsay, David Hemer: An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference 1996: 27-
6 Peter A. Lindsay: On transferring VDM verification techniques to Z. FME 1994: 190-213
5 Kelvin J. Ross, Peter A. Lindsay: A Precise Examination of the Behaviour of Process Models. FME 1994: 251-270
4 Kelvin J. Ross, Peter A. Lindsay: Maintaining Consistency Under Changes to Formal Specifications. FME 1993: 558-577
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)
1 Peter A. Lindsay: Alternation and omega-Type Turing Acceptors. Theor. Comput. Sci. 43: 107-115 (1986)

Coauthor Index

1Brenton Atchison [21] [26]
2Egor Bondarev [32]
3Anthony Cant [29]
4David A. Carrington [28]
5Antonio Cerone [30] [34]
6Simon Connelly [22] [30] [33] [34]
7R. Geoff Dromey [28]
8Lars-Henrik Eriksson [24]
9Marcus Gallagher [33]
10Lars Grunske [31] [32]
11Christian Hamoy [27]
12Andrew Hanlon [26]
13Tracey Hart [9]
14Ian J. Hayes [28]
15David Hemer [7] [8] [11] [12] [18] [23] [27]
16Mike Humphreys [19]
17Andrew Hussey [19]
18Cliff B. Jones [3]
19Peter Kearney [9]
20David Leadbetter [19]
21Fiona Linn [9]
22Anthony MacDonald [17] [21] [26]
23John A. McDermid [14]
24Jason McDonald [16]
25Roberto Morello [9]
26Leesa Murray [16]
27Andrew Neal [19]
28Yiannis Papadopoulos [32]
29David Parker [32]
30Kelvin J. Ross [4] [5] [9]
31Greg Royle [9]
32Cameron Smith [28]
33Mark Staples [17]
34Paul A. Strooper [16] [17] [21] [26]
35David J. Tombs [14]
36Owen Traynor [9] [13]
37Hagen Völzer [21] [26]
38Kirsten Winter [28] [31]
39Nisansala Yatapanage [31]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)