The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter A. Lindsay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Hemer, Peter A. Lindsay
    Supporting Component-Based Reuse in CARE. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:95-104 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Peter A. Lindsay
    On transferring VDM verification techniques to Z. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:190-213 [Conf]
  12. Kelvin J. Ross, Peter A. Lindsay
    Maintaining Consistency Under Changes to Formal Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:558-577 [Conf]
  13. 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]
  14. 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]
  15. Peter A. Lindsay, David Hemer
    Using CARE to Construct Verified Software. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:122-131 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Peter A. Lindsay, Owen Traynor
    Supporting Fine-Grained Traceability in Software Development Environments. [Citation Graph (0, 0)][DBLP]
    SCM, 1998, pp:133-139 [Conf]
  21. Christian Hamoy, David Hemer, Peter A. Lindsay
    HazLog: Tool Support for Hazard Management. [Citation Graph (0, 0)][DBLP]
    SCS, 2004, pp:77-87 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:10, pp:675-693 [Journal]
  28. 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]
  29. 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]

  30. A hierarchical conflict resolution method for multi-agent path planning. [Citation Graph (, )][DBLP]


  31. Feedback of Delayed Rewards in XCS for Environments with Aliasing States. [Citation Graph (, )][DBLP]


Search in 0.056secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002