Peter A. Lindsay
Orcid: 0000-0002-0608-8969Affiliations:
- University of Queensland, Brisbane, Australia
According to our database1,
Peter A. Lindsay
authored at least 46 papers
between 1986 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
2
1
1
1
1
1
2
1
2
3
2
2
1
2
2
3
5
2
1
3
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Proceedings of the 24th Australasian Software Engineering Conference, 2015
2012
Execution of natural language requirements using State Machines synthesised from Behavior Trees.
J. Syst. Softw., 2012
Formal Aspects Comput., 2012
2011
2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
2009
Proceedings of the IEEE Congress on Evolutionary Computation, 2009
Proceedings of the Artificial Life: Borrowing from Biology, 4th Australian Conference, 2009
2008
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
Softw. Syst. Model., 2008
2007
Biasing XCS with Domain Knowledge for Planning Flight Trajectories in a Moving Sector Free Flight Environment.
Proceedings of the First IEEE Symposium on Artificial Life, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
2006
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
IEEE Trans. Software Eng., 2004
Proceedings of the Safety Critical Systems and Software 2004, 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
Proceedings of the User Interfaces 2002, 2002
Proceedings of the Computer Science 2002, 2002
2001
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence.
Proceedings of the Safety Critical Systems and Software 2001, 2001
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001
Proceedings of the 2nd Australasian User Interface Conference (AUIC 2001), 29 January, 2001
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001
2000
Proceedings of the Computer Safety, 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
1998
Proceedings of the System Configuration Management, 1998
1997
Formal approach to specification and verification of task management in interactive systems.
IEE Proc. Softw. Eng., 1997
Proceedings of the 16th International Conference on Computer Safety, 1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
1996
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994
1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1991
Mural - a formal development support system.
Springer, ISBN: 3-540-19651-X, 1991
1988
Proceedings of the VDM '88, 1988
1986