Kirsten Winter

Formal Aspects Comput., June, 2023

2021

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

[BibT_eX]

[DOI]

Nicholas Coughlin

Proceedings of the Formal Methods - 24th International Symposium, 2021

Backwards-directed information flow analysis for concurrent programs.

[BibT_eX]

[DOI]

Nicholas Coughlin

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Linearizability on hardware weak memory models.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

2019

Modelling concurrent objects running on the TSO and ARMv8 memory models.

[BibT_eX]

[DOI]

John Derrick

Sci. Comput. Program., 2019

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Correctness of Concurrent Objects under Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th Refinement Workshop, 2018

A sound and complete definition of linearizability on weak memory models.

[BibT_eX]

[DOI]

CoRR, 2018

Observational Models for Linearizability Checking on Weak Memory Models.

[BibT_eX]

[DOI]

John Derrick

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

2017

Relating trace refinement and linearizability.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

2016

An Algebra of Synchronous Atomic Steps.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Next-preserving branching bisimulation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

[BibT_eX]

[DOI]

Jeff W. Sanders

Trans. Comput. Collect. Intell., 2014

2013

Path-Sensitive Data Flow Analysis Simplified.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Cut Set Analysis using Behavior Trees and model checking.

[BibT_eX]

[DOI]

Peter A. Lindsay

Formal Aspects Comput., 2012

Incremental Development of Multi-agent Systems in Object-Z.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Reasoning About Adaptivity of Agents and Multi-agent Systems.

[BibT_eX]

[DOI]

Jeffrey W. Sanders

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Experience with fault injection experiments for FMEA.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

2010

Integrating Requirements: The Behavior Tree Philosophy.

[BibT_eX]

[DOI]

Ian J. Hayes

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

Safety Assessment Using Behavior Trees and Model Checking.

[BibT_eX]

[DOI]

Peter A. Lindsay

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

Slicing Behavior Tree Models for Verification.

[BibT_eX]

[DOI]

Saad Zafar

Proceedings of the Theoretical Computer Science, 2010

2009

Model checking action system refinements.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Dynamic Relational Behaviour for Large-Scale Systems.

[BibT_eX]

[DOI]

R. Geoff Dromey

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2008

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Formal verification of ASMs using MDGs.

[BibT_eX]

[DOI]

Amjad Gawanmeh

Sofiène Tahar

J. Syst. Archit., 2008

2007

Probabilistic Model-Checking Support for FMEA.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Probabilistic Timed Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Introducing Time in an Industrial Application of Model-Checking.

[BibT_eX]

[DOI]

Lionel van den Berg

Paul A. Strooper

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Timed Behavior Trees and Their Application to Verifying Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

Early Validation and Verification of a Distributed Role-Based Access Control Model.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Simulation Machines for Checking Action System Refinements.

[BibT_eX]

[DOI]

Proceedings of the 11th Refinement Workshop, 2006

Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

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

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

Formalising Behaviour Trees with CSP.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Compositional Verification for Object-Z.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Proving Temporal Properties of Z Specifications Using Abstraction.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Formal Verification of ASM Designs Using the MDG Tool.

[BibT_eX]

[DOI]

Amjad Gawanmeh

Sofiène Tahar

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Interfacing ASM with the MDG Tool.

[BibT_eX]

[DOI]

Amjad Gawanmeh

Sofiène Tahar

Proceedings of the Abstract State Machines, 2003

Modelling Large Railway Interlockings and Model Checking Small Ones.

[BibT_eX]

[DOI]

Neil J. Robinson

Proceedings of the Computer Science 2003, 2003

2002

Model Checking Object-Z Using ASM.

[BibT_eX]

[DOI]

Roger Duke

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Model Checking Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2002, 2002

2001

Model checking abstract state machines.

[BibT_eX]

[DOI]

PhD thesis, 2001

Model checking with abstract types.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

2000

Model Checking Support for the ASM High-Level Language.

[BibT_eX]

[DOI]

Giuseppe Del Castillo

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

1998

An Agenda for Specifying Software Components with Complex Data Models.

[BibT_eX]

[DOI]

Thomas Santen

Maritta Heisel

Proceedings of the Computer Safety, 1998

1997

Model Checking for Abstract State Machines.

[BibT_eX]

[DOI]