Steve Reeves

Scopus Publications

Blockchain technology disruptions: Exploring accounting and auditing academics and practitioners' perception
Musbaudeen Titilope Oladejo, Vida Botes, Mary Low, Steve Reeves
Accounting and Finance, 2024
This study explores the practical impact of blockchain technology (BCT), which contrasts strongly with literature that has predominantly hypothesised BCT's potential to disrupt accounting practice. We interviewed 44 practitioners and academics with knowledge of BCT across 13 countries and industries. We employed the technological context of the technological, organisation and environmental (TOE) theoretical framework within a constructivist‐interpretivist paradigm to understand any nuanced practical realities of BCT's impact. Our research ascertained an expectation gap regarding the expected BCT impacts on accounting and auditing practices versus the current reality. Our findings support the sceptics and oppose prior enthusiastic claims that BCT disrupts accounting and auditing functions.
Provably Correct Smart Contracts: An Approach using DeepSEA
Daniel Britten, Vilhelm Sjöberg, Steve Reeves
Splash Companion 2022 Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems Programming Languages and Applications Software for Humanity, 2022
It is possible to download a piece of software over the internet and then verify its correctness locally using an appropriate trusted proof system. However, on a blockchain like Ethereum, smart contracts cannot be altered once deployed. This guarantee of immutability makes it possible for end users to interact collectively with a 'networked' piece of software, with the same opportunity to verify its correctness. Formal verification of smart contracts on a blockchain therefore offers an unprecedented opportunity for end users to collectively interact with a deployed instance of software that they can verify while not relying on a central authority. All that is required to be trusted beyond the blockchain itself is an appropriate proof system, a component which always needs to be in the trusted computing base, and whose rules and definitions can be public knowledge. DeepSEA (Deep Simulation of Executable Abstractions) could serve as such a proof system.
Modelling a Blockchain for Smart Contract Verification using DeepSEA
Daniel Britten, Steve Reeves
Ftscs 2022 Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety Critical Systems Co Located with Splash 2022, 2022
To create trustworthy programs, the 'gold standard' is specifications at a high-enough level to clearly correspond to the informal specifications, and also a refinement proof linking these high-level specifications down to, in our case, executable bytecode. The DeepSEA system demonstrates how this can be done, in the context of smart contracts on the Ethereum blockchain. A key component of this is the model of the blockchain on which the smart contracts reside. When doing proofs in DeepSEA, it is critical to have such a model, which allows for the writing of specifications at a high-level clearly corresponding to informal specifications. A candidate model for doing so and its usefulness for carrying out proofs is discussed in this paper.
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts
Openaccess Series in Informatics, 2021
SeqCheck: A model checking tool for interactive systems
Jessica Turner, Judy Bowen, Steve Reeves
Eics 2020 12th ACM Sig Chi Symposium on Engineering Interactive Computing Systems Proceedings, 2020
In this paper we describe SeqCheck, a model checking tool which allows us to investigate if certain properties hold for an interactive system. These properties allow us to determine if the interaction sequence model of an interactive system's overlap component behaves as expected. We describe the properties we have defined for this overlap component and then demonstrate the use of SeqCheck to identify when these do not hold.
Model-based Testing of Interactive Systems using Interaction Sequences
Jessica Turner, Judy Bowen, Steve Reeves
Proceedings of the ACM on Human Computer Interaction, 2020
Testing is an important part of the software engineering process to help ensure that systems will behave as expected. In this paper we investigate interactive system testing, taking into consideration the different components of the system. Interactive systems have three different components, the interactive, functional and overlap. The interactive component is the interface of the interactive system, the functional the underlying instructions of the interactive system, and the overlap component the point at which the interactive and functional components intersect. The interactive and functional components are often tested separately, however, problems can occur where these components overlap. Therefore, in this paper we present a model-based testing approach specifically designed to inspect the overlap component behaviour and to ensure that it behaves as expected.
Formal modelling of safety-critical interactive devices using coloured petri nets
Sapna Jaidka, Steve Reeves, Judy Bowen
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2020
Formal modelling is now widely applied for creating models of safety-critical interactive systems. Most approaches built so far either focus on the user interface or on the functional part of a safety-critical interactive system. This paper aims to apply formal methods for modelling and specifying the user interface, interaction and functional aspects of a safety-critical system in a single model using Coloured Petri Nets (CPN). We have used CPNs because of its expressive graphic representation and the ability to simulate the system behaviour. The technique is illustrated through a case study of the Niki T34 Infusion Pump.
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems
Sapna Jaidka, Steve Reeves, Judy Bowen
Proceedings Asia Pacific Software Engineering Conference APSEC, 2019
To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical representation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.
Proof-of-learning: A blockchain consensus mechanism based on machine learning competitions
Felipe Bravo-Marquez, Steve Reeves, Martin Ugarte
Proceedings 2019 IEEE International Conference on Decentralized Applications and Infrastructures Dappcon 2019, 2019
This article presents WekaCoin, a peer-to-peer cryptocurrency based on a new distributed consensus protocol called Proof-of-Learning. Proof-of-learning achieves distributed consensus by ranking machine learning systems for a given task. The aim of this protocol is to alleviate the computational waste involved in hashing-based puzzles and to create a public distributed and verifiable database of state-of-the-art machine learning models and experiments.
Usable-by-construction
Ceur Workshop Proceedings, 2019
Engineering interactive systems with model-driven code contracts
Judy Bowen, Steve Reeves
Proceedings 25th Australasian Software Engineering Conference ASWEC 2018, 2018
Integrating user design and formal models within PVSio-Web
Nathaniel Watson, Steve Reeves, Paolo Masci
Electronic Proceedings in Theoretical Computer Science Eptcs, 2018
Preface
J. Derrick, Brijesh Dongol, S. Reeves
Electronic Proceedings in Theoretical Computer Science Eptcs, 2018
Simulating interaction sequences
Jessica Turner, Judy Bowen, Steve Reeves
Proceedings of the ACM Sigchi Symposium on Engineering Interactive Computing Systems Eics 2018, 2018
Using abstraction with interaction sequences for interactive system modelling
Jessica Turner, Judy Bowen, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2018
Characterising sound visualisations of specifications using micro-charts and refinement
Colin Pilbrow, Steve Reeves
Proceedings 2017 24th Asia Pacific Software Engineering Conference Workshops Apsecw 2017, 2017
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement
Colin Pilbrow, Steve Reeves
Proceedings Asia Pacific Software Engineering Conference APSEC, 2017
Supporting interactive system testing with interaction sequences
Jessica Turner, Judy Bowen, Steve Reeves
Proceedings of the ACM Sigchi Symposium on Engineering Interactive Computing Systems Eics 2017, 2017
Modelling safety-critical devices: Coloured petri nets and Z
Sapna Jaidka, Steve Reeves, Judy Bowen
Proceedings of the ACM Sigchi Symposium on Engineering Interactive Computing Systems Eics 2017, 2017
Combining Models for Interactive System Modelling
Judy Bowen, Steve Reeves
Human Computer Interaction Series, 2017
Generating obligations, assertions and tests from UI models
Judy Bowen, Steve Reeves
Proceedings of the ACM on Human Computer Interaction, 2017
Welcome message from the general chairs
Proceedings Asia Pacific Software Engineering Conference APSEC, 2016
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
J. Derrick, E. Boiten, S. Reeves
Electronic Proceedings in Theoretical Computer Science Eptcs, 2016
Composing Patterns to Construct Secure Systems
Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves
Proceedings 2015 11th European Dependable Computing Conference Edcc 2015, 2016
Using state machines for the visualisation of specifications via refinement
Colin Pilbrow, Steve Reeves
ACM International Conference Proceeding Series, 2015
Design patterns for models of interactive systems
Judy Bowen, Steve Reeves
Proceedings 2015 24th Australasian Software Engineering Conference ASWEC 2015, 2015
Preface: Abstract state machines, alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012
Elvinia Riccobene, Steve Reeves
Science of Computer Programming, 2014
A simplified z semantics for presentation interaction models
Judy Bowen, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2014
Editorial
Eerke A. Boiten, John Derrick, Steve Reeves
Formal Aspects of Computing, 2014
UI-design driven model-based testing
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering, 2013
Modelling safety properties of interactive medical systems
Judy Bowen, S. Reeves
Eics 2013 Proceedings of the ACM Sigchi Symposium on Engineering Interactive Computing Systems, 2013
Formal methods for interactive system (FMIS 2013)
Eics 2013 Proceedings of the ACM Sigchi Symposium on Engineering Interactive Computing Systems, 2013
Preface
John Derrick, Eerke Boiten, Steve Reeves
Electronic Proceedings in Theoretical Computer Science Eptcs, 2013
Editorial
Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey
Formal Aspects of Computing, 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
Science of Computer Programming, 2013
A tale of two studies
Conferences in Research and Practice in Information Technology Series, 2013
Preface
Judy Bowen, Steve Reeves
Electronic Communications of the Easst, 2013
Modelling user manuals of modal medical devices and learning from the experience
Judy Bowen, Steve Reeves
Eics 12 Proceedings of the 2012 ACM Sigchi Symposium on Engineering Interactive Computing Systems, 2012
Foreword
Eics 12 Proceedings of the 2012 ACM Sigchi Symposium on Engineering Interactive Computing Systems, 2012
Preface to the volume
Derrick J, Fitzgerald J, Gnesi S, Khurshid S, Leuschel M, et al.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2012
Editorial
Eerke Boiten, John Derrick, Jin Song Dong, Steve Reeves
Formal Aspects of Computing, 2012
Contexts, refinement and determinism
Steve Reeves, David Streader
Science of Computer Programming, 2011
UI-driven test-first development of interactive systems
Judy Bowen, Steve Reeves
Proceedings of the 2011 Sigchi Symposium on Engineering Interactive Computing Systems Eics 2011, 2011
From a community of practice to a body of knowledge: A case study of the formal methods community
Jonathan P. Bowen, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2011
Refinement for probabilistic systems with nondeterminism
Steve Reeves, David Streader
Electronic Proceedings in Theoretical Computer Science Eptcs, 2011
Preface
Electronic Proceedings in Theoretical Computer Science Eptcs, 2011
Preface
Judy Bowen, Steve Reeves
Electronic Communications of the Easst, 2011
Developing usability studies via formal models of UIs
Judy Bowen, Steve Reeves
Eics 10 Proceedings of the 2010 ACM Sigchi Symposium on Engineering Interactive Computing Systems, 2010
Abstract State Machines, Alloy, B and Z: Preface
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2010
Guarded Operations, Refinement and Simulation
Steve Reeves, David Streader
Electronic Notes in Theoretical Computer Science, 2009
Preface
Eerke Boiten, John Derrick, Steve Reeves
Electronic Notes in Theoretical Computer Science, 2009
A robust semantics hides fewer errors
Steve Reeves, David Streader
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2009
Refinement for user interface designs
Judy Bowen, Steve Reeves
Formal Aspects of Computing, 2009
Supporting multi-path UI development with vertical refinement
Judy Bowen, Steve Reeves
Proceedings of the Australian Software Engineering Conference ASWEC, 2009
UI-design driven model-based testing
Bowen, Judy, Reeves, Steve
Electronic Communications of the Easst, 2009
General Refinement, Part Two: Flexible Refinement
Steve Reeves, David Streader
Electronic Notes in Theoretical Computer Science, 2008
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Steve Reeves, David Streader
Electronic Notes in Theoretical Computer Science, 2008
Data refinement and singleton failures refinement are not equivalent
Steve Reeves, David Streader
Formal Aspects of Computing, 2008
Refinement for User Interface Designs
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science, 2008
Generic Tools via General Refinement
Steve Reeves, David Streader
Electronic Notes in Theoretical Computer Science, 2008
Formal models for user interface design artefacts
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering, 2008
Formal methods and refinement for user-centred design artefacts
Proceedings of Nzcsrsc 2007 the 5th New Zealand Computer Science Research Student Conference, 2007
Feature refinement
Steve Reeves, David Streader
Proceedings 5th IEEE International Conference on Software Engineering and Formal Methods Sefm 2007, 2007
Formal Models for Informal GUI Designs
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science, 2007
Using formal models to design user interfaces a case study
Judy Bowen, Steve Reeves
People and Computers Xxi Hci but Not as We Know It Proceedings of Hci 2007 the 21st British Hci Group Annual Conference, 2007
Modular synthesis of discrete controllers
Petra Malik, Robi Malik, David Streader, Steve Reeves
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS, 2007
Logic and refinement for Charts
Conferences in Research and Practice in Information Technology Series, 2006
Formal refinement of informal GUI design artefacts
J. Bowen, S. Reeves
Proceedings of the Australian Software Engineering Conference ASWEC, 2006
Stepwise Refinement of Processes
Steve Reeves, David Streader
Electronic Notes in Theoretical Computer Science, 2006
Conflicts and fair testing
ROBI MALIK, DAVID STREADER, STEVE REEVES
International Journal of Foundations of Computer Science, 2006
Constructing programs or processes
Journal of Universal Computer Science, 2005
Atomic components
Steve Reeves, David Streader
Lecture Notes in Computer Science, 2005
Including design guidelines in the formal specification of interfaces in Z
Judy Bowen, Steve Reeves
Lecture Notes in Computer Science, 2005
Behavioral modeling for mobile agent systems using Petri nets
A.A. Pouyan, S. Reeves
Conference Proceedings IEEE International Conference on Systems Man and Cybernetics, 2004
Fair testing revisited: a process-algebraic characterisation of conflicts
Robi Malik, David Streader, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2004
A logic for schema-based program development
Martin C. Henson, Steve Reeves
Formal Aspects of Computing, 2003
Comparison of Data and Process Refinement
Steve Reeves, David Streader
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2003
Operation refinement and monotonicity in the schema calculus
Moshe Deutsch, Martin C. Henson, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2003
Z logic and its consequences
Computing and Informatics, 2003
Results on formal stepwise design in Z
M. Deutsch, M.C. Henson, S. Reeves
Proceedings Asia Pacific Software Engineering Conference APSEC, 2002
μ-chart-based specification and refinement
Doug Goldson, Greg Reeve, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2002
Teaching formal methods lite via testing
Mark Utting, Steve Reeves
Software Testing Verification and Reliability, 2001
Idioms for μ-charts
G. Anderson, G. Reeve, S. Reeves
Proceedings of the Australian Software Engineering Conference ASWEC, 2001
Investigating Z
M. Henson
Journal of Logic and Computation, 2000
μ-Charts and Z: Examples and extensions
G. Reeve, S. Reeves
Proceedings Asia Pacific Software Engineering Conference APSEC, 2000
μ Charts and Z: Hows, whys, and wherefores
Greg Reeve, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2000
Program development and specification refinement in the schema calculus
Martin C. Henson, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2000
A survey of software development practices in the New Zealand software industry
L. Groves, R. Nickson, G. Reeve, S. Reeves, M. Utting
Proceedings of the Australian Software Engineering Conference ASWEC, 2000
Revising Z: Part II - Logical development
Martin C. Henson, Steve Reeves
Formal Aspects of Computing, 1999
Revising Z: Part I - Logic and semantics
Martin C. Henson, Steve Reeves
Formal Aspects of Computing, 1999
Specifying collaborative software: A proposal
S. Reeves
Proceedings 1998 International Conference Software Engineering Education and Practice Seep 1998, 1998
A logic for the schema calculus
Martin C. Henson, Steve Reeves
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1998
A teaching and support tool for building formal models of graphical user-interfaces
S. Reeves
Proceedings 1996 International Conference Software Engineering Education and Practice Seep 1996, 1996
Computer tools to teach formal reasoning
P. Fung, T. O'Shea, D. Goldson, S. Reeves, R. Bornat
Computers and Education, 1996
Computer support for students’ work in a formal system: MacPICT
Steve Reeves
International Journal of Mathematical Education in Science and Technology, 1995
Why computer science students find formal reasoning frightening
P. Fung, T. O'Shea, D. Goldson, S. Reeves, R. Bornat
Journal of Computer Assisted Learning, 1994
The Calculator Project-formal reasoning about programs
S. Reeves, D. Goldson, P. Fung, T. O'Shea, M. Hopkins, R. Bornat
Proceedings Software Education Conference Srig Et 1994, 1994
Computer science students perceptions of learning formal reasoning methods
P. Fung, T. O'Shea, D. Goldson, S. Reeves, R. Bornat
International Journal of Mathematical Education in Science and Technology, 1993

Steve Reeves

RESEARCH INTERESTS

Scopus Publications