| 2021 | CAV | Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). | Daniel Britten, Vilhelm Sjberg, Steve Reeves |
| 2020 | EICS | SeqCheck: a model checking tool for interactive systems. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2019 | APSEC | A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2019 | EICS | Usable-by-Construction. | Steve Reeves |
| 2019 | FM | Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2018 | EICS | Simulating Interaction Sequences. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2017 | APSEC | Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. | Colin Pilbrow, Steve Reeves |
| 2017 | APSEC | Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. | Colin Pilbrow, Steve Reeves |
| 2017 | EICS | Modelling safety-critical devices: coloured petri nets and Z. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2017 | EICS | Supporting interactive system testing with interaction sequences. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2015 | EDCC | Composing Patterns to Construct Secure Systems. | Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves |
| 2014 | FM | A Simplified Z Semantics for Presentation Interaction Models. | Judy Bowen, Steve Reeves |
| 2013 | EICS | Modelling safety properties of interactive medical systems. | Judy Bowen, Steve Reeves |
| 2013 | EICS | Formal methods for interactive system: (FMIS 2013). | Judy Bowen, Steve Reeves |
| 2012 | EICS | Modelling user manuals of modal medical devices and learning from the experience. | Judy Bowen, Steve Reeves |
| 2011 | EICS | UI-driven test-first development of interactive systems. | Judy Bowen, Steve Reeves |
| 2011 | FM | From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. | Jonathan P. Bowen, Steve Reeves |
| 2010 | EICS | Developing usability studies via formal models of UIs. | Judy Bowen, Steve Reeves |
| 2009 | FM | A Robust Semantics Hides Fewer Errors. | Steve Reeves, David Streader |
| 2007 | ICECCS | Modular Synthesis of Discrete Controllers. | Petra Malik, Robi Malik, David Streader, Steve Reeves |
| 2007 | SEFM | Feature Refinement. | Steve Reeves, David Streader |
| 2004 | ATVA | Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. | Robi Malik, David Streader, Steve Reeves |
| 2004 | ICTAC | Atomic Components. | Steve Reeves, David Streader |
| 2004 | SMC | Behavioral modeling for mobile agent systems using Petri nets. | Ali A. Pouyan, Steve Reeves |
| 2003 | ICFEM | Comparison of Data and Process Refinement. | Steve Reeves, David Streader |
| 2002 | APSEC | Results on Formal Stepwise Design in Z. | Moshe Deutsch, Martin C. Henson, Steve Reeves |
| 2002 | ICFEM | µ-Chart-Based Specification and Refinement. | Doug Goldson, Greg Reeve, Steve Reeves |
| 2000 | APSEC | mu-Charts and Z: examples and extensions. | Greg Reeve, Steve Reeves |
| 2000 | IFM | mu-Charts and Z: Hows, Whys, and Wherefores. | Greg Reeve, Steve Reeves |
| 1992 | TABLEAUX | Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). | Robert Johnson, Steve Reeves |