| Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012 | 262 | 2012 |
| Flexible transmission expansion planning with uncertainties in an electricity market JH Zhao, ZY Dong, P Lindsay, KP Wong IEEE Transactions on Power Systems 24 (1), 479-488, 2009 | 240 | 2009 |
| Proof in VDM: A Practitioner's Guide JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie Springer, 1994 | 212 | 1994 |
| A survey of mechanical support for formal reasoning PA Lindsay Software Engineering Journal 3 (1), 3-27, 1988 | 75 | 1988 |
| An exploration into the uses of agent-based modeling to improve quality of healthcare AK Kanagarajah, P Lindsay, A Miller, D Parker Unifying Themes in Complex Systems: Proceedings of the Sixth International …, 2008 | 71 | 2008 |
| An automated failure mode and effect analysis based on high-level design specification with behavior trees L Grunske, P Lindsay, N Yatapanage, K Winter Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005 | 71 | 2005 |
| Experience with fault injection experiments for FMEA L Grunske, K Winter, N Yatapanage, S Zafar, PA Lindsay Software: Practice and Experience 41 (11), 1233-1258, 2011 | 50 | 2011 |
| Specification-based retrieval strategies for module reuse D Hemer, P Lindsay Proceedings 2001 Australian Software Engineering Conference, 235-243, 2001 | 50 | 2001 |
| An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems L Grunske, P Lindsay, E Bondarev, Y Papadopoulos, D Parker Architecting dependable systems IV, 188-209, 2007 | 48 | 2007 |
| Formal analysis of human-computer interaction using model-checking A Cerone, PA Lindsay, S Connelly Third IEEE International Conference on Software Engineering and Formal …, 2005 | 44 | 2005 |
| Creative individualism: The democratic vision of CB Macpherson P Lindsay SUNY Press, 1996 | 34 | 1996 |
| A behaviour-based method for fault tree generation A Rae, P Lindsay Proceedings of the 22nd International System Safety Conference, 289-298, 2004 | 33 | 2004 |
| A generic model for fine grained configuration management including version control and traceability P Lindsay, Y Liu, O Traynor Proceedings of Australian Software Engineering Conference ASWEC 97, 27-36, 1997 | 31 | 1997 |
| Modelling erroneous operator behaviours for an air-traffic control task P Lindsay, S Connelly Australian Computer Science Communications 24 (4), 43-54, 2002 | 29 | 2002 |
| An environment for building a system out of its requirements C Smith, K Winter, I Hayes, G Dromey, P Lindsay, D Carrington Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 26 | 2004 |
| Experience with extending CMMISM for safety related applications M Bofinger, N Robinson, P Lindsay, M Spiers, M Ashford, A Pitman International Council on Systems Engineering, 12th Annual Symposium, Las …, 2002 | 24 | 2002 |
| Maintaining consistency under changes to formal specifications KJ Ross, PA Lindsay FME'93: Industrial-Strength Formal Methods: First International Symposium of …, 1993 | 24 | 1993 |
| A tool for subsystem configuration management H Volzer, B Atchison, P Lindsay, A MacDonald, P Strooper International Conference on Software Maintenance, 2002. Proceedings., 492-500, 2002 | 22 | 2002 |
| A systematic approach to software safety integrity levels PA Lindsay, JA McDermid Safe Comp 97: The 16th International Conference on Computer Safety …, 1997 | 21 | 1997 |
| Safety assessment using behavior trees and model checking PA Lindsay, K Winter, N Yatapanage 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 20 | 2010 |
