Logic for computer science. - Steve Reeves; Michael Clarke (Addison-Wesley, 1990)

Fear of Formal Reasoning. - Pat Fung; Pamela O'Shea; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (2), 1992)

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. - Tim O'Shea; Pat Fung; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (1), 1992)

Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). - Robert Johnson; Steve Reeves (TABLEAUX, 1992)

A Review of Several Programs for the Teaching of Logic. - Doug Goldson; Steve Reeves; Richard Bornat (Comput. J., 1993)

Editorial. - Krysia Broda; Marcello D'Agostino; Rajeev Goré; Rob Johnson 001; Steve Reeves (Log. J. IGPL, 1995)

Specifying and Reasoning About CSCW. - Steve Reeves (DSV-IS, 1996)

Computer tools to teach formal reasoning. - Pat Fung; Tim O'Shea; Doug Goldson; Steve Reeves; Richard Bornat (Comput. Educ., 1996)

A Logic for the Schema Calculus. - Martin C. Henson; Steve Reeves (ZUM, 1998)

Revising Z: Part I - Logic and Semantics. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 1999)

Revising Z: Part II - Logical Development. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 1999)

mu-Charts and Z: examples and extensions. - Greg Reeve; Steve Reeves (APSEC, 2000)

A Survey of Software Development Practices in the New Zealand Software Industry . - Lindsay Groves; Ray Nickson; Greg Reeve; Steve Reeves; Mark Utting (Australian Software Engineering Conference, 2000)

mu-Charts and Z: Hows, Whys, and Wherefores. - Greg Reeve; Steve Reeves (IFM, 2000)

Program Development and Specification Refinement in the Schema Calculus. - Martin C. Henson; Steve Reeves (ZB, 2000)

Investigating Z. - Martin C. Henson; Steve Reeves (J. Log. Comput., 2000)

Idioms for mu-Chart. - Grant Anderson; Greg Reeve; Steve Reeves (Australian Software Engineering Conference, 2001)

Teaching formal methods lite via testing. - Mark Utting; Steve Reeves (Softw. Test. Verification Reliab., 2001)

Results on Formal Stepwise Design in Z. - Moshe Deutsch; Martin C. Henson; Steve Reeves (APSEC, 2002)

µ-Chart-Based Specification and Refinement. - Doug Goldson; Greg Reeve; Steve Reeves (ICFEM, 2002)

Comparison of Data and Process Refinement. - Steve Reeves; David Streader (ICFEM, 2003)

Operation Refinement and Monotonicity in the Schema Calculus. - Moshe Deutsch; Martin C. Henson; Steve Reeves (ZB, 2003)

Z Logic and its Consequences. - Martin C. Henson; Steve Reeves; Jonathan P. Bowen (Comput. Artif. Intell., 2003)

A Logic for Schema-Based Program Development. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 2003)

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. - Moshe Deutsch; Martin C. Henson; Steve Reeves (Log. J. IGPL, 2003)

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. - Robi Malik; David Streader; Steve Reeves (ATVA, 2004)

Atomic Components. - Steve Reeves; David Streader (ICTAC, 2004)

Behavioral modeling for mobile agent systems using Petri nets. - Ali A. Pouyan; Steve Reeves (SMC (5), 2004)

Including Design Guidelines in the Formal Specification of Interfaces in Z. - Judy Bowen; Steve Reeves (ZB, 2005)

Stepwise Refinement of Processes. - Steve Reeves; David Streader (FACS, 2005)

Constructing Programs or Processes. - Steve Reeves; David Streader (J. Univers. Comput. Sci., 2005)

Logic and refinement for charts. - Greg Reeve; Steve Reeves (ACSC, 2006)

Formal Refinement of Informal GUI Design Artefacts. - Judy Bowen; Steve Reeves (ASWEC, 2006)

Formal Models for Informal GUI Designs. - Judy Bowen; Steve Reeves (FMIS@ICFEM, 2006)

Conflicts and Fair Testing. - Robi Malik; David Streader; Steve Reeves (Int. J. Found. Comput. Sci., 2006)

Using formal models to design user interfaces: a case study. - Judy Bowen; Steve Reeves (BCS HCI (1), 2007)

Modular Synthesis of Discrete Controllers. - Petra Malik; Robi Malik; David Streader; Steve Reeves (ICECCS, 2007)

Feature Refinement. - Steve Reeves; David Streader (SEFM, 2007)

Generic Tools via General Refinement. - Steve Reeves; David Streader (TTSS, 2007)

General Refinement, Part One: Interfaces, Determinism and Special Refinement. - Steve Reeves; David Streader (Refine@FM, 2008)

General Refinement, Part Two: Flexible Refinement. - Steve Reeves; David Streader (Refine@FM, 2008)

Data refinement and singleton failures refinement are not equivalent. - Steve Reeves; David Streader (Formal Aspects Comput., 2008)

Formal models for user interface design artefacts. - Judy Bowen; Steve Reeves (Innov. Syst. Softw. Eng., 2008)

Supporting Multi-path UI Development with Vertical Refinement. - Judy Bowen; Steve Reeves (Australian Software Engineering Conference, 2009)

A Robust Semantics Hides Fewer Errors. - Steve Reeves; David Streader (FM, 2009)

Preface. - Eerke A. Boiten; John Derrick; Steve Reeves (REFINE@FMWeek, 2009)

Guarded Operations, Refinement and Simulation. - Steve Reeves; David Streader (REFINE@FMWeek, 2009)

Refinement for user interface designs. - Judy Bowen; Steve Reeves (Formal Aspects Comput., 2009)

Developing usability studies via formal models of UIs. - Judy Bowen; Steve Reeves (EICS, 2010)

UI-driven test-first development of interactive systems. - Judy Bowen; Steve Reeves (EICS, 2011)

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. - Jonathan P. Bowen; Steve Reeves (FM, 2011)

Refinement for Probabilistic Systems with Nondeterminism - Steve Reeves; David Streader (Refine@FM, 2011)

Preface for FMIS 2011. - Judy Bowen; Steve Reeves (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Contexts, refinement and determinism. - Steve Reeves; David Streader (Sci. Comput. Program., 2011)

Modelling user manuals of modal medical devices and learning from the experience. - Judy Bowen; Steve Reeves (EICS, 2012)

Editorial. - Eerke A. Boiten; John Derrick; Jin Song Dong; Steve Reeves (Formal Aspects Comput., 2012)

A Tale of Two Studies. - Judy Bowen; Steve Reeves; Andrea Schweer (AUIC, 2013)

Modelling safety properties of interactive medical systems. - Judy Bowen; Steve Reeves (EICS, 2013)

Formal methods for interactive system: (FMIS 2013). - Judy Bowen; Steve Reeves (EICS, 2013)

Preface to the proceedings of FMIS 2013. - Judy Bowen; Steve Reeves (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Editorial. - Jonathan P. Bowen; Michael J. Butler; Steve Reeves; Mike Hinchey (Formal Aspects Comput., 2013)

UI-design driven model-based testing. - Judy Bowen; Steve Reeves (Innov. Syst. Softw. Eng., 2013)

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. - Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves (Sci. Comput. Program., 2013)

A Simplified Z Semantics for Presentation Interaction Models. - Judy Bowen; Steve Reeves (FM, 2014)

Editorial. - Eerke A. Boiten; John Derrick; Steve Reeves (Formal Aspects Comput., 2014)

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. - Elvinia Riccobene; Steve Reeves (Sci. Comput. Program., 2014)

Design Patterns for Models of Interactive Systems. - Judy Bowen; Steve Reeves (ASWEC, 2015)

Using State Machines for the Visualisation of Specifications via Refinement. - Colin Pilbrow; Steve Reeves (ASWEC (2), 2015)

Composing Patterns to Construct Secure Systems. - Paul Rimba; Liming Zhu 001; Len Bass; Ihor Kuz; Steve Reeves (EDCC, 2015)

Preface. - Steve Reeves (Innov. Syst. Softw. Eng., 2015)

Combining Models for Interactive System Modelling. - Judy Bowen; Steve Reeves (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. - Colin Pilbrow; Steve Reeves (APSEC, 2017)

Modelling safety-critical devices: coloured petri nets and Z. - Sapna Jaidka; Steve Reeves; Judy Bowen (EICS, 2017)

Supporting interactive system testing with interaction sequences. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2017)

Generating Obligations, Assertions and Tests from UI Models. - Judy Bowen; Steve Reeves (Proc. ACM Hum. Comput. Interact., 2017)

Engineering Interactive Systems with Model-Driven Code Contracts. - Judy Bowen; Steve Reeves (ASWEC, 2018)

Simulating Interaction Sequences. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2018)

Using Abstraction with Interaction Sequences for Interactive System Modelling. - Jessica Turner; Judy Bowen; Steve Reeves (STAF Workshops, 2018)

Integrating User Design and Formal Models within PVSio-Web. - Nathaniel Watson; Steve Reeves; Paolo Masci 001 (F-IDE@FLoC, 2018)

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. - Sapna Jaidka; Steve Reeves; Judy Bowen (APSEC, 2019)

Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions. - Felipe Bravo-Marquez; Steve Reeves; Martín Ugarte (DAPPCON, 2019)

Usable-by-Construction. - Steve Reeves (EICS Workshops, 2019)

Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. - Sapna Jaidka; Steve Reeves; Judy Bowen (FM Workshops (1), 2019)

SeqCheck: a model checking tool for interactive systems. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2020)

Model-based Testing of Interactive Systems using Interaction Sequences. - Jessica Turner; Judy Bowen; Steve Reeves (Proc. ACM Hum. Comput. Interact., 2020)

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). - Daniel Britten; Vilhelm Sjöberg; Steve Reeves (FMBC@CAV, 2021)

Modelling a Blockchain for Smart Contract Verification using DeepSEA. - Daniel Britten; Steve Reeves (FTSCS, 2022)

Provably Correct Smart Contracts: An Approach using DeepSEA. - Daniel Britten; Vilhelm Sjöberg; Steve Reeves (SPLASH Companion, 2022)

A Logic for Veracity. - Steve Reeves (CoRR, 2023)

Usable-by-Construction: a formal framework. - Steve Reeves (CoRR, 2024)

Foundational Verification of Smart Contracts through Verified Compilation. - Vilhelm Sjöberg; Kinnari Dave; Daniel Britten; Maria A Schett; Xinyuan Sun; Qinshi Wang; Sean Noble Anderson; Steve Reeves; Zhong Shao 001 (CoRR, 2024)

A Logic for Veracity: Development and Implementation. - Daniel Britten; Steve Reeves (CoRR, 2024)