Steve Reeves

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 22

Top Topics

Regulatory Requirements

Top Venues

Proc. ACM Hum. Comput. Interact.

Publications

Steve Reeves
Usable-by-Construction: a formal framework. CoRR (2024)
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Foundational Verification of Smart Contracts through Verified Compilation. CoRR (2024)
Daniel Britten, Steve Reeves
A Logic for Veracity: Development and Implementation. CoRR (2024)
Steve Reeves
A Logic for Veracity. CoRR (2023)
Daniel Britten, Vilhelm Sjöberg, Steve Reeves
Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion (2022)
Daniel Britten, Steve Reeves
Modelling a Blockchain for Smart Contract Verification using DeepSEA. FTSCS (2022)
Daniel Britten, Vilhelm Sjöberg, Steve Reeves
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). FMBC@CAV (2021)
Jessica Turner, Judy Bowen, Steve Reeves
Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. 4 (EICS) (2020)
Jessica Turner, Judy Bowen, Steve Reeves
SeqCheck: a model checking tool for interactive systems. EICS (2020)
Sapna Jaidka, Steve Reeves, Judy Bowen
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) (2019)
Felipe Bravo-Marquez, Steve Reeves, Martín Ugarte
Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions. DAPPCON (2019)
Sapna Jaidka, Steve Reeves, Judy Bowen
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC (2019)
Steve Reeves
Usable-by-Construction. EICS Workshops (2019)
Judy Bowen, Steve Reeves
Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC (2018)
Jessica Turner, Judy Bowen, Steve Reeves
Simulating Interaction Sequences. EICS (2018)
Nathaniel Watson, Steve Reeves, Paolo Masci
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC (2018)
Jessica Turner, Judy Bowen, Steve Reeves
Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops (2018)
Colin Pilbrow, Steve Reeves
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC (2017)
Sapna Jaidka, Steve Reeves, Judy Bowen
Modelling safety-critical devices: coloured petri nets and Z. EICS (2017)
Colin Pilbrow, Steve Reeves
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC Workshops (2017)
Jessica Turner, Judy Bowen, Steve Reeves
Supporting interactive system testing with interaction sequences. EICS (2017)
Judy Bowen, Steve Reeves
Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
Judy Bowen, Steve Reeves
Design Patterns for Models of Interactive Systems. ASWEC (2015)
Steve Reeves
Preface. Innov. Syst. Softw. Eng. 11 (2) (2015)
Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves
Composing Patterns to Construct Secure Systems. EDCC (2015)
Colin Pilbrow, Steve Reeves
Using State Machines for the Visualisation of Specifications via Refinement. ASWEC (2) (2015)
Elvinia Riccobene, Steve Reeves
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. 94 (2014)
Judy Bowen, Steve Reeves
A Simplified Z Semantics for Presentation Interaction Models. FM (2014)
Eerke A. Boiten, John Derrick, Steve Reeves
Editorial. Formal Aspects Comput. 26 (2) (2014)
Judy Bowen, Steve Reeves
UI-design driven model-based testing. Innov. Syst. Softw. Eng. 9 (3) (2013)
Judy Bowen, Steve Reeves
Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78 (3) (2013)
Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
Editorial. Formal Aspects Comput. 25 (3) (2013)
Judy Bowen, Steve Reeves
Formal methods for interactive system: (FMIS 2013). EICS (2013)
Judy Bowen, Steve Reeves
Modelling safety properties of interactive medical systems. EICS (2013)
Judy Bowen, Steve Reeves, Andrea Schweer
A Tale of Two Studies. AUIC (2013)
Judy Bowen, Steve Reeves
Modelling user manuals of modal medical devices and learning from the experience. EICS (2012)
Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
Editorial. Formal Aspects Comput. 24 (1) (2012)
Judy Bowen, Steve Reeves
UI-driven test-first development of interactive systems. EICS (2011)
Judy Bowen, Steve Reeves
Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Steve Reeves, David Streader
Contexts, refinement and determinism. Sci. Comput. Program. 76 (9) (2011)
Jonathan P. Bowen, Steve Reeves
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. FM (2011)
Steve Reeves, David Streader
Refinement for Probabilistic Systems with Nondeterminism Refine@FM (2011)
Judy Bowen, Steve Reeves
Developing usability studies via formal models of UIs. EICS (2010)
Judy Bowen, Steve Reeves
UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Eerke A. Boiten, John Derrick, Steve Reeves
Preface. Electron. Notes Theor. Comput. Sci. 259 (2009)
Steve Reeves, David Streader
Guarded Operations, Refinement and Simulation. Electron. Notes Theor. Comput. Sci. 259 (2009)
Judy Bowen, Steve Reeves
Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference (2009)
Steve Reeves, David Streader
A Robust Semantics Hides Fewer Errors. FM (2009)
Judy Bowen, Steve Reeves
Refinement for user interface designs. Formal Aspects Comput. 21 (6) (2009)
Steve Reeves, David Streader
Generic Tools via General Refinement. Electron. Notes Theor. Comput. Sci. 207 (2008)
Steve Reeves, David Streader
Data refinement and singleton failures refinement are not equivalent. Formal Aspects Comput. 20 (3) (2008)
Judy Bowen, Steve Reeves
Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. 4 (2) (2008)
Judy Bowen, Steve Reeves
Refinement for User Interface Designs. Electron. Notes Theor. Comput. Sci. 208 (2008)
Steve Reeves, David Streader
General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electron. Notes Theor. Comput. Sci. 214 (2008)
Steve Reeves, David Streader
General Refinement, Part Two: Flexible Refinement. Electron. Notes Theor. Comput. Sci. 214 (2008)
Petra Malik, Robi Malik, David Streader, Steve Reeves
Modular Synthesis of Discrete Controllers. ICECCS (2007)
Steve Reeves, David Streader
Feature Refinement. SEFM (2007)
Judy Bowen, Steve Reeves
Using formal models to design user interfaces: a case study. BCS HCI (1) (2007)
Judy Bowen, Steve Reeves
Formal Models for Informal GUI Designs. Electron. Notes Theor. Comput. Sci. 183 (2007)
Robi Malik, David Streader, Steve Reeves
Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17 (4) (2006)
Greg Reeve, Steve Reeves
Logic and refinement for charts. ACSC (2006)
Steve Reeves, David Streader
Stepwise Refinement of Processes. Electron. Notes Theor. Comput. Sci. 160 (2006)
Judy Bowen, Steve Reeves
Formal Refinement of Informal GUI Design Artefacts. ASWEC (2006)
Steve Reeves, David Streader
Constructing Programs or Processes. J. Univers. Comput. Sci. 11 (12) (2005)
Judy Bowen, Steve Reeves
Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB (2005)
Robi Malik, David Streader, Steve Reeves
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA (2004)
Steve Reeves, David Streader
Atomic Components. ICTAC (2004)
Ali A. Pouyan, Steve Reeves
Behavioral modeling for mobile agent systems using Petri nets. SMC (5) (2004)
Martin C. Henson, Steve Reeves
A Logic for Schema-Based Program Development. Formal Aspects Comput. 15 (1) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL 11 (3) (2003)
Martin C. Henson, Steve Reeves, Jonathan P. Bowen
Z Logic and its Consequences. Comput. Artif. Intell. 22 (3-4) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Operation Refinement and Monotonicity in the Schema Calculus. ZB (2003)
Steve Reeves, David Streader
Comparison of Data and Process Refinement. ICFEM (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Results on Formal Stepwise Design in Z. APSEC (2002)
Doug Goldson, Greg Reeve, Steve Reeves
µ-Chart-Based Specification and Refinement. ICFEM (2002)
Mark Utting, Steve Reeves
Teaching formal methods lite via testing. Softw. Test. Verification Reliab. 11 (3) (2001)
Grant Anderson, Greg Reeve, Steve Reeves
Idioms for mu-Chart. Australian Software Engineering Conference (2001)
Greg Reeve, Steve Reeves
mu-Charts and Z: Hows, Whys, and Wherefores. IFM (2000)
Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference (2000)
Martin C. Henson, Steve Reeves
Program Development and Specification Refinement in the Schema Calculus. ZB (2000)
Martin C. Henson, Steve Reeves
Investigating Z. J. Log. Comput. 10 (1) (2000)
Greg Reeve, Steve Reeves
mu-Charts and Z: examples and extensions. APSEC (2000)
Martin C. Henson, Steve Reeves
Revising Z: Part I - Logic and Semantics. Formal Aspects Comput. 11 (4) (1999)
Martin C. Henson, Steve Reeves
Revising Z: Part II - Logical Development. Formal Aspects Comput. 11 (4) (1999)
Martin C. Henson, Steve Reeves
A Logic for the Schema Calculus. ZUM (1998)
Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat
Computer tools to teach formal reasoning. Comput. Educ. 27 (1) (1996)
Steve Reeves
Specifying and Reasoning About CSCW. DSV-IS (1996)
Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
Editorial. Log. J. IGPL 3 (6) (1995)
Doug Goldson, Steve Reeves, Richard Bornat
A Review of Several Programs for the Teaching of Logic. Comput. J. 36 (4) (1993)
Robert Johnson, Steve Reeves
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX (1992)
Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson
Fear of Formal Reasoning. PPIG (2) (1992)
Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. PPIG (1) (1992)