Peter A. Lindsay

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Automation of Test Case Generation from Behavior Tree Requirements Models.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2012

Execution of natural language requirements using State Machines synthesised from Behavior Trees.

[BibT_eX]

[DOI]

Soon-Kyeong Kim

Toby Myers

Marc-Florian Wendland

J. Syst. Softw., 2012

Cut Set Analysis using Behavior Trees and model checking.

[BibT_eX]

[DOI]

Nisansala Yatapanage

Kirsten Winter

Formal Aspects Comput., 2012

2011

Experience with fault injection experiments for FMEA.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

2010

Safety Assessment Using Behavior Trees and Model Checking.

[BibT_eX]

[DOI]

Kirsten Winter

Nisansala Yatapanage

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Behavior Trees: From Systems Engineering to Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Preface.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

A hierarchical conflict resolution method for multi-agent path planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Feedback of Delayed Rewards in XCS for Environments with Aliasing States.

[BibT_eX]

[DOI]

Kuang-Yuan Chen

Proceedings of the Artificial Life: Borrowing from Biology, 4th Australian Conference, 2009

2008

Formal analysis of human operator behavioural patterns in interactive surveillance systems.

[BibT_eX]

[DOI]

Antonio Cerone

Softw. Syst. Model., 2008

2007

Biasing XCS with Domain Knowledge for Planning Flight Trajectories in a Moving Sector Free Flight Environment.

[BibT_eX]

[DOI]

Proceedings of the First IEEE Symposium on Artificial Life, 2007

An agent based approach to examining shared situation awareness.

[BibT_eX]

[DOI]

Marcus Gallagher

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.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Template-based construction of verified software.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2005

Formal Analysis of Human-computer Interaction using Model-checking.

[BibT_eX]

[DOI]

Antonio Cerone

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

HazLog: Tool Support for Hazard Management.

[BibT_eX]

[DOI]

Christian Hamoy

Proceedings of the Safety Critical Systems and Software 2004, 2004

An Environment for Building a System out of its Requirements.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2002

A Tool for Subsystem Configuration Management.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task.

[BibT_eX]

[DOI]

Proceedings of the User Interfaces 2002, 2002

Supporting Component-Based Reuse in CARE.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2002, 2002

2001

Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence.

[BibT_eX]

[DOI]

Proceedings of the Safety Critical Systems and Software 2001, 2001

Module Testing Embedded Software--An Industrial Pilot Project.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Towards Model Based Prediction of Human Error Rates in Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Australasian User Interface Conference (AUIC 2001), 29 January, 2001

A Framework for Subsystem-Based Configuration Management .

[BibT_eX]

[DOI]

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Specification-Based Retrieval Strategies for Module Reuse.

[BibT_eX]

[DOI]

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

Deriving Quantified Safety Requirements in Complex Systems.

[BibT_eX]

[DOI]

John A. McDermid

David J. Tombs

Proceedings of the Computer Safety, 2000

Safety validation of embedded control software using Z animation.

[BibT_eX]

[DOI]

Brenton Atchison

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1998

Supporting Fine-Grained Traceability in Software Development Environments.

[BibT_eX]

[DOI]

Owen Traynor

Proceedings of the System Configuration Management, 1998

1997

Formal approach to specification and verification of task management in interactive systems.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

A systematic approach to software safety integrity levels.

[BibT_eX]

[DOI]

John A. McDermid

Proceedings of the 16th International Conference on Computer Safety, 1997

Using CARE to Construct Verified Software.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Reuse of Verified Design Templates Through Extended Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

An Industrial-Strength Method For The Construction Of Formally Verified Software.

[BibT_eX]

[DOI]

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Formal Methods Pilot Project.

[BibT_eX]

[DOI]

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1994

A Precise Examination of the Behaviour of Process Models.

[BibT_eX]

[DOI]

Kelvin J. Ross

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

On transferring VDM verification techniques to Z.

[BibT_eX]

[DOI]

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Proof in VDM: A Practitioner's Guide

[BibT_eX]

[DOI]

Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994

1993

Maintaining Consistency Under Changes to Formal Specifications.

[BibT_eX]

[DOI]

Kelvin J. Ross

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Mural - a formal development support system.

[BibT_eX]

Clifford B. Jones

K. D. Jones

Peter Alexander Lindsay

Richard C. Moore

Springer, ISBN: 3-540-19651-X, 1991

1988

On Alternating omega-Automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1988

A survey of mechanical support for formal reasoning.

[BibT_eX]

[DOI]

Softw. Eng. J., 1988

A Support System for Formal Reasoning: Requirements and Status.

[BibT_eX]

[DOI]

Cliff B. Jones

Proceedings of the VDM '88, 1988

1986

Alternation and omega-Type Turing Acceptors.

[BibT_eX]

[DOI]