Kirsten Winter

58 papers A* 1A 2B 13C 4Misc 1Journal 18Unranked 18

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