Kirsten Winter

According to our database, Kirsten Winter authored at least 52 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Compositional Reasoning for Non-multicopy Atomic Architectures.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Formal Aspects Comput., June, 2023

2021

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

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

Backwards-directed information flow analysis for concurrent programs.

Kirsten Winter, Nicholas Coughlin, Graeme Smith

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

2020

Linearizability on hardware weak memory models.

Graeme Smith, Kirsten Winter, Robert J. Colvin

Formal Aspects Comput., 2020

2019

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

Kirsten Winter, Graeme Smith, John Derrick

Sci. Comput. Program., 2019

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

Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin

Formal Aspects Comput., 2019

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

Robert J. Colvin, Kirsten Winter

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

2018

Correctness of Concurrent Objects under Weak Memory Models.

Graeme Smith, Kirsten Winter, Robert J. Colvin

Proceedings of the Proceedings 18th Refinement Workshop, 2018

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

Graeme Smith, Kirsten Winter, Robert J. Colvin

CoRR, 2018

Observational Models for Linearizability Checking on Weak Memory Models.

Kirsten Winter, Graeme Smith, John Derrick

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

2017

Relating trace refinement and linearizability.

Graeme Smith, Kirsten Winter

Formal Aspects Comput., 2017

2016

An Algebra of Synchronous Atomic Steps.

Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis

Proceedings of the FM 2016: Formal Methods, 2016

2015

Next-preserving branching bisimulation.

Nisansala Yatapanage, Kirsten Winter

Theor. Comput. Sci., 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

Graeme Smith, Jeff W. Sanders, Kirsten Winter

Trans. Comput. Collect. Intell., 2014

2013

Path-Sensitive Data Flow Analysis Simplified.

Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Cut Set Analysis using Behavior Trees and model checking.

Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

Formal Aspects Comput., 2012

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

Graeme Smith, Kirsten Winter

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

Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.

Kirsten Winter

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.

Graeme Smith, Jeffrey W. Sanders, Kirsten Winter

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

2011

Experience with fault injection experiments for FMEA.

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay

Softw. Pract. Exp., 2011

2010

Integrating Requirements: The Behavior Tree Philosophy.

Kirsten Winter, Ian J. Hayes, Robert Colvin

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

Safety Assessment Using Behavior Trees and Model Checking.

Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage

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

Slicing Behavior Tree Models for Verification.

Nisansala Yatapanage, Kirsten Winter, Saad Zafar

Proceedings of the Theoretical Computer Science, 2010

2009

Model checking action system refinements.

Graeme Smith, Kirsten Winter

Formal Aspects Comput., 2009

Dynamic Relational Behaviour for Large-Scale Systems.

Kirsten Winter, Robert Colvin, 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.

Lars Grunske, Kirsten Winter, Nisansala Yatapanage

J. Vis. Lang. Comput., 2008

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

Robert Colvin, Lars Grunske, Kirsten Winter

J. Syst. Softw., 2008

Formal verification of ASMs using MDGs.

Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter

J. Syst. Archit., 2008

2007

Probabilistic Model-Checking Support for FMEA.

Lars Grunske, Robert Colvin, Kirsten Winter

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

Probabilistic Timed Behavior Trees.

Robert Colvin, Lars Grunske, Kirsten Winter

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

Introducing Time in an Industrial Application of Model-Checking.

Lionel van den Berg, Paul A. Strooper, Kirsten Winter

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

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

Lars Grunske, Kirsten Winter, Robert Colvin

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

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

Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey

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

2006

Simulation Machines for Checking Action System Refinements.

Graeme Smith, Kirsten Winter

Proceedings of the 11th Refinement Workshop, 2006

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

Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson

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.

Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

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

2004

An Environment for Building a System out of its Requirements.

Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington

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

Formalising Behaviour Trees with CSP.

Kirsten Winter

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

2003

Compositional Verification for Object-Z.

Kirsten Winter, Graeme Smith

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

Proving Temporal Properties of Z Specifications Using Abstraction.

Graeme Smith, Kirsten Winter

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

Formal Verification of ASM Designs Using the MDG Tool.

Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter

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

Interfacing ASM with the MDG Tool.

Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter

Proceedings of the Abstract State Machines, 2003

Modelling Large Railway Interlockings and Model Checking Small Ones.

Kirsten Winter, Neil J. Robinson

Proceedings of the Computer Science 2003, 2003

2002

Model Checking Object-Z Using ASM.

Kirsten Winter, Roger Duke

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

Model Checking Railway Interlocking Systems.

Kirsten Winter

Proceedings of the Computer Science 2002, 2002

2001

Model checking abstract state machines.

Kirsten Winter

PhD thesis, 2001

Model checking with abstract types.

Kirsten Winter

Proceedings of the Workshop on Software Model Checking 2001, 2001

2000

Model Checking Support for the ASM High-Level Language.

Giuseppe Del Castillo, Kirsten Winter

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.

Kirsten Winter

Proceedings of the Abstract State Machines, 2000

1998

An Agenda for Specifying Software Components with Complex Data Models.

Kirsten Winter, Thomas Santen, Maritta Heisel

Proceedings of the Computer Safety, 1998

1997

Model Checking for Abstract State Machines.

Kirsten Winter

J. Univers. Comput. Sci., 1997

1995

Ein modellbasierter Ansatz zur Dialogsteuerung in Benutzungsoberflächen.

Friedrich Strauß, Stefan Hügel, Kirsten Winter, Britta Schinzel

Proceedings of the Software-Ergonomie '95, Mensch - Computer, 1995