Search the dblp DataBase
Peter A. Lindsay :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Hemer , Peter A. Lindsay Supporting Component-Based Reuse in CARE. [Citation Graph (0, 0)][DBLP ] ACSC, 2002, pp:95-104 [Conf ] Tracey Hart , Fiona Linn , Roberto Morello , Greg Royle , Peter Kearney , Peter A. Lindsay , Kelvin J. Ross , Owen Traynor Formal Methods Pilot Project. [Citation Graph (0, 0)][DBLP ] APSEC, 1996, pp:238-245 [Conf ] Peter A. Lindsay , David Hemer An Industrial-Strength Method For The Construction Of Formally Verified Software. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 1996, pp:27-0 [Conf ] Peter A. Lindsay , Anthony MacDonald , Paul A. Strooper , Mark Staples A Framework for Subsystem-Based Configuration Management . [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2001, pp:275-284 [Conf ] David Hemer , Peter A. Lindsay Specification-Based Retrieval Strategies for Module Reuse. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2001, pp:235-243 [Conf ] Peter A. Lindsay , David Hemer An Industrial-Strength Method For The Construction Of Formally Verified Software. [Citation Graph (0, 0)][DBLP ] ASYNC, 1996, pp:27-0 [Conf ] David Leadbetter , Andrew Hussey , Peter A. Lindsay , Andrew Neal , Mike Humphreys Towards Model Based Prediction of Human Error Rates in Interactive Systems. [Citation Graph (0, 0)][DBLP ] AUIC, 2001, pp:42-49 [Conf ] Peter A. Lindsay , Simon Connelly Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. [Citation Graph (0, 0)][DBLP ] AUIC, 2002, pp:43-54 [Conf ] David Hemer , Peter A. Lindsay Reuse of Verified Design Templates Through Extended Pattern Matching. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:495-514 [Conf ] Cliff B. Jones , Peter A. Lindsay A Support System for Formal Reasoning: Requirements and Status. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1988, pp:139-152 [Conf ] Peter A. Lindsay On transferring VDM verification techniques to Z. [Citation Graph (0, 0)][DBLP ] FME, 1994, pp:190-213 [Conf ] Kelvin J. Ross , Peter A. Lindsay Maintaining Consistency Under Changes to Formal Specifications. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:558-577 [Conf ] Kelvin J. Ross , Peter A. Lindsay A Precise Examination of the Behaviour of Process Models. [Citation Graph (0, 0)][DBLP ] FME, 1994, pp:251-270 [Conf ] Jason McDonald , Leesa Murray , Peter A. Lindsay , Paul A. Strooper Module Testing Embedded Software--An Industrial Pilot Project. [Citation Graph (0, 0)][DBLP ] ICECCS, 2001, pp:233-0 [Conf ] Peter A. Lindsay , David Hemer Using CARE to Construct Verified Software. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:122-131 [Conf ] Hagen Völzer , Brenton Atchison , Paul A. Strooper , Peter A. Lindsay , Anthony MacDonald A Tool for Subsystem Configuration Management. [Citation Graph (0, 0)][DBLP ] ICSM, 2002, pp:492-500 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IFM, 2005, pp:129-149 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:398-399 [Conf ] Peter A. Lindsay , John A. McDermid , David J. Tombs Deriving Quantified Safety Requirements in Complex Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2000, pp:117-130 [Conf ] Peter A. Lindsay , Owen Traynor Supporting Fine-Grained Traceability in Software Development Environments. [Citation Graph (0, 0)][DBLP ] SCM, 1998, pp:133-139 [Conf ] Christian Hamoy , David Hemer , Peter A. Lindsay HazLog: Tool Support for Hazard Management. [Citation Graph (0, 0)][DBLP ] SCS, 2004, pp:77-87 [Conf ] Peter A. Lindsay Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. [Citation Graph (0, 0)][DBLP ] SCS, 2001, pp:31-38 [Conf ] Antonio Cerone , Peter A. Lindsay , Simon Connelly Formal Analysis of Human-computer Interaction using Model-checking. [Citation Graph (0, 0)][DBLP ] SEFM, 2005, pp:352-362 [Conf ] Peter A. Lindsay Formal approach to specification and verification of task management in interactive systems. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1997, v:144, n:4, pp:206-214 [Journal ] Peter A. Lindsay On Alternating omega-Automata. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1988, v:36, n:1, pp:16-24 [Journal ] Peter A. Lindsay Alternation and omega-Type Turing Acceptors. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:43, n:, pp:107-115 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:10, pp:675-693 [Journal ] Simon Connelly , Peter A. Lindsay , Marcus Gallagher An agent based approach to examining shared situation awareness. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:138-147 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] WADS, 2006, pp:188-209 [Conf ] A hierarchical conflict resolution method for multi-agent path planning. [Citation Graph (, )][DBLP ] Feedback of Delayed Rewards in XCS for Environments with Aliasing States. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs