| 2010 | SEFM | Behavior Trees: From Systems Engineering to Software Engineering. | Peter A. Lindsay |
| 2010 | SEFM | Safety Assessment Using Behavior Trees and Model Checking. | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
| 2009 | CEC | A hierarchical conflict resolution method for multi-agent path planning. | Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass |
| 2007 | ICECCS | An agent based approach to examining shared situation awareness. | Simon Connelly, Peter A. Lindsay, Marcus Gallagher |
| 2006 | ICSE | An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. | Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker |
| 2005 | IFM | An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
| 2005 | SEFM | Formal Analysis of Human-computer Interaction using Model-checking. | Antonio Cerone, Peter A. Lindsay, Simon Connelly |
| 2001 | ICECCS | Module Testing Embedded Software--An Industrial Pilot Project. | Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
| 2000 | SAFECOMP | Deriving Quantified Safety Requirements in Complex Systems. | Peter A. Lindsay, John A. McDermid, David J. Tombs |
| 1997 | FM | Reuse of Verified Design Templates Through Extended Pattern Matching. | David Hemer, Peter A. Lindsay |
| 1997 | ICFEM | Using CARE to Construct Verified Software. | Peter A. Lindsay, David Hemer |
| 1997 | SAFECOMP | A systematic approach to software safety integrity levels. | Peter A. Lindsay, John A. McDermid |
| 1996 | APSEC | Formal Methods Pilot Project. | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
| 1994 | FM | On transferring VDM verification techniques to Z. | Peter A. Lindsay |
| 1994 | FM | A Precise Examination of the Behaviour of Process Models. | Kelvin J. Ross, Peter A. Lindsay |
| 1993 | FM | Maintaining Consistency Under Changes to Formal Specifications. | Kelvin J. Ross, Peter A. Lindsay |
| 1988 | FM | A Support System for Formal Reasoning: Requirements and Status. | Cliff B. Jones, Peter A. Lindsay |