Kirsten Winter

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 15

Top Venues

CoRR

Formal Aspects Comput.

CSF

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Nicholas Coughlin, Kirsten Winter, Graeme Smith
Compositional Reasoning for Non-multicopy Atomic Architectures. Formal Aspects Comput. 35 (2) (2023)
Kirsten Winter, Nicholas Coughlin, Graeme Smith
Backwards-directed information flow analysis for concurrent programs. CSF (2021)
Nicholas Coughlin, Kirsten Winter, Graeme Smith
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. FM (2021)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Linearizability on hardware weak memory models. Formal Aspects Comput. 32 (1) (2020)
Robert J. Colvin, Kirsten Winter
An abstract semantics of speculative execution for reasoning about security vulnerabilities. CoRR (2020)
Kirsten Winter, Graeme Smith, John Derrick
Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019)
Robert J. Colvin, Kirsten Winter
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. FM Workshops (2) (2019)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects Comput. 31 (2) (2019)
Kirsten Winter, Graeme Smith, John Derrick
Observational Models for Linearizability Checking on Weak Memory Models. TASE (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
A sound and complete definition of linearizability on weak memory models. CoRR (2018)
Graeme Smith, Kirsten Winter, Robert J. Colvin
Correctness of Concurrent Objects under Weak Memory Models. Refine@FM (2018)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. CoRR (2017)
Graeme Smith, Kirsten Winter
Relating trace refinement and linearizability. Formal Aspects Comput. 29 (6) (2017)
Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps. FM (2016)
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
An algebra of synchronous atomic steps. CoRR (2016)
Nisansala Yatapanage, Kirsten Winter
Next-preserving branching bisimulation. Theor. Comput. Sci. 594 (2015)
Graeme Smith, Jeff W. Sanders, Kirsten Winter
Designing Adaptive Systems Using Teleo-Reactive Agents. Trans. Comput. Collect. Intell. 16 (2014)
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
Path-Sensitive Data Flow Analysis Simplified. ICFEM (2013)
Graeme Smith, Jeffrey W. Sanders, Kirsten Winter
Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS (2012)
Graeme Smith, Kirsten Winter
Incremental Development of Multi-agent Systems in Object-Z. SEW (2012)
Kirsten Winter
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. ISoLA (2) (2012)
Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
Cut Set Analysis using Behavior Trees and model checking. Formal Aspects Comput. 24 (2) (2012)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay
Experience with fault injection experiments for FMEA. Softw. Pract. Exp. 41 (11) (2011)
Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage
Safety Assessment Using Behavior Trees and Model Checking. SEFM (2010)
Kirsten Winter, Ian J. Hayes, Robert Colvin
Integrating Requirements: The Behavior Tree Philosophy. SEFM (2010)
Nisansala Yatapanage, Kirsten Winter, Saad Zafar
Slicing Behavior Tree Models for Verification. IFIP TCS (2010)
Graeme Smith, Kirsten Winter
Model checking action system refinements. Formal Aspects Comput. 21 (1-2) (2009)
Kirsten Winter, Robert Colvin, R. Geoff Dromey
Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference (2009)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Formal verification of ASMs using MDGs. J. Syst. Archit. 54 (1-2) (2008)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage
Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. J. Vis. Lang. Comput. 19 (3) (2008)
Robert Colvin, Lars Grunske, Kirsten Winter
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. J. Syst. Softw. 81 (12) (2008)
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey
Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC (2007)
Lars Grunske, Kirsten Winter, Robert Colvin
Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC (2007)
Robert Colvin, Lars Grunske, Kirsten Winter
Probabilistic Timed Behavior Trees. IFM (2007)
Lars Grunske, Robert Colvin, Kirsten Winter
Probabilistic Model-Checking Support for FMEA. QEST (2007)
Lionel van den Berg, Paul A. Strooper, Kirsten Winter
Introducing Time in an Industrial Application of Model-Checking. FMICS (2007)
Graeme Smith, Kirsten Winter
Simulation Machines for Checking Action System Refinements. Electron. Notes Theor. Comput. Sci. 187 (2007)
Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM (2006)
Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM (2005)
Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
An Environment for Building a System out of its Requirements. ASE (2004)
Kirsten Winter
Formalising Behaviour Trees with CSP. IFM (2004)
Graeme Smith, Kirsten Winter
Proving Temporal Properties of Z Specifications Using Abstraction. ZB (2003)
Kirsten Winter, Neil J. Robinson
Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC (2003)
Kirsten Winter, Graeme Smith
Compositional Verification for Object-Z. ZB (2003)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Interfacing ASM with the MDG Tool. Abstract State Machines (2003)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Formal Verification of ASM Designs Using the MDG Tool. SEFM (2003)
Kirsten Winter, Roger Duke
Model Checking Object-Z Using ASM. IFM (2002)
Kirsten Winter
Model Checking Railway Interlocking Systems. ACSC (2002)
Kirsten Winter
Model checking with abstract types. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Kirsten Winter
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. Abstract State Machines (2000)
Giuseppe Del Castillo, Kirsten Winter
Model Checking Support for the ASM High-Level Language. TACAS (2000)
Kirsten Winter, Thomas Santen, Maritta Heisel
An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP (1998)
Kirsten Winter
Model Checking for Abstract State Machines. J. Univers. Comput. Sci. 3 (5) (1997)
Friedrich Strauß, Stefan Hügel, Kirsten Winter, Britta Schinzel
Ein modellbasierter Ansatz zur Dialogsteuerung in Benutzungsoberflächen. Software-Ergonomie (1995)

Kirsten Winter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kirsten Winter