| 2026 | TACAS | Data Structure Analysis for Binaries. | Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter |
| 2024 | FM | Detecting Speculative Execution Vulnerabilities on Weak Memory Models. | Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter |
| 2021 | FM | Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. | Nicholas Coughlin, Kirsten Winter, Graeme Smith |
| 2019 | FM | An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. | Robert J. Colvin, Kirsten Winter |
| 2018 | TASE | Observational Models for Linearizability Checking on Weak Memory Models. | Kirsten Winter, Graeme Smith, John Derrick |
| 2016 | FM | An Algebra of Synchronous Atomic Steps. | Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis |
| 2013 | ICFEM | Path-Sensitive Data Flow Analysis Simplified. | Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
| 2012 | ICECCS | Reasoning About Adaptivity of Agents and Multi-agent Systems. | Graeme Smith, Jeffrey W. Sanders, Kirsten Winter |
| 2012 | ISoLA | Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. | Kirsten Winter |
| 2012 | SEW | Incremental Development of Multi-agent Systems in Object-Z. | Graeme Smith, Kirsten Winter |
| 2010 | SEFM | Safety Assessment Using Behavior Trees and Model Checking. | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
| 2010 | SEFM | Integrating Requirements: The Behavior Tree Philosophy. | Kirsten Winter, Ian J. Hayes, Robert Colvin |
| 2007 | APSEC | Early Validation and Verification of a Distributed Role-Based Access Control Model. | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | FMICS | Introducing Time in an Industrial Application of Model-Checking. | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
| 2007 | IFM | Probabilistic Timed Behavior Trees. | Robert Colvin, Lars Grunske, Kirsten Winter |
| 2006 | FM | 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 |
| 2005 | IFM | 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 |
| 2004 | IFM | Formalising Behaviour Trees with CSP. | Kirsten Winter |
| 2003 | SEFM | Formal Verification of ASM Designs Using the MDG Tool. | Amjad Gawanmeh, Sofine Tahar, Kirsten Winter |
| 2002 | IFM | Model Checking Object-Z Using ASM. | Kirsten Winter, Roger Duke |
| 2000 | TACAS | Model Checking Support for the ASM High-Level Language. | Giuseppe Del Castillo, Kirsten Winter |
| 1998 | SAFECOMP | An Agenda for Specifying Software Components with Complex Data Models. | Kirsten Winter, Thomas Santen, Maritta Heisel |