2008 |
34 | EE | 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 |
33 | EE | Simon Connelly,
Peter A. Lindsay,
Marcus Gallagher:
An agent based approach to examining shared situation awareness.
ICECCS 2007: 138-147 |
2006 |
32 | EE | 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 |
31 | EE | 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 |
30 | EE | Antonio Cerone,
Peter A. Lindsay,
Simon Connelly:
Formal Analysis of Human-computer Interaction using Model-checking.
SEFM 2005: 352-362 |
2004 |
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 |
28 | EE | 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 |
27 | EE | Christian Hamoy,
David Hemer,
Peter A. Lindsay:
HazLog: Tool Support for Hazard Management.
SCS 2004: 77-87 |
26 | EE | 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 |
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 |
2002 |
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 |
23 | EE | David Hemer,
Peter A. Lindsay:
Supporting Component-Based Reuse in CARE.
ACSC 2002: 95-104 |
22 | EE | Peter A. Lindsay,
Simon Connelly:
Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task.
AUIC 2002: 43-54 |
21 | EE | Hagen Völzer,
Brenton Atchison,
Paul A. Strooper,
Peter A. Lindsay,
Anthony MacDonald:
A Tool for Subsystem Configuration Management.
ICSM 2002: 492-500 |
2001 |
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 |
19 | EE | 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 |
18 | EE | David Hemer,
Peter A. Lindsay:
Specification-Based Retrieval Strategies for Module Reuse.
Australian Software Engineering Conference 2001: 235-243 |
17 | EE | Peter A. Lindsay,
Anthony MacDonald,
Paul A. Strooper,
Mark Staples:
A Framework for Subsystem-Based Configuration Management .
Australian Software Engineering Conference 2001: 275-284 |
16 | EE | Jason McDonald,
Leesa Murray,
Peter A. Lindsay,
Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project.
ICECCS 2001: 233- |
15 | EE | Peter A. Lindsay:
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence.
SCS 2001: 31-38 |
2000 |
14 | EE | Peter A. Lindsay,
John A. McDermid,
David J. Tombs:
Deriving Quantified Safety Requirements in Complex Systems.
SAFECOMP 2000: 117-130 |
1998 |
13 | EE | Peter A. Lindsay,
Owen Traynor:
Supporting Fine-Grained Traceability in Software Development Environments.
SCM 1998: 133-139 |
1997 |
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) |
1996 |
9 | EE | 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 |
8 | EE | Peter A. Lindsay,
David Hemer:
An Industrial-Strength Method For The Construction Of Formally Verified Software.
ASYNC 1996: 27- |
7 | EE | Peter A. Lindsay,
David Hemer:
An Industrial-Strength Method For The Construction Of Formally Verified Software.
Australian Software Engineering Conference 1996: 27- |
1994 |
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 |
1993 |
4 | | Kelvin J. Ross,
Peter A. Lindsay:
Maintaining Consistency Under Changes to Formal Specifications.
FME 1993: 558-577 |
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) |