Steve Reeves

Orcid: 0000-0002-3840-6060

Affiliations:
  • University of Waikato, Hamilton, New Zealand


According to our database1, Steve Reeves authored at least 90 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Usable-by-Construction: a formal framework.
CoRR, 2024

2023
A Logic for Veracity.
CoRR, 2023

2022
Provably Correct Smart Contracts: An Approach using DeepSEA.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Modelling a Blockchain for Smart Contract Verification using DeepSEA.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).
Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2020
Model-based Testing of Interactive Systems using Interaction Sequences.
Proc. ACM Hum. Comput. Interact., 2020

SeqCheck: a model checking tool for interactive systems.
Proceedings of the EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2020

2019
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Usable-by-Construction.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions.
Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2019

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Integrating User Design and Formal Models within PVSio-Web.
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Using Abstraction with Interaction Sequences for Interactive System Modelling.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Simulating Interaction Sequences.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Engineering Interactive Systems with Model-Driven Code Contracts.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017
Generating Obligations, Assertions and Tests from UI Models.
Proc. ACM Hum. Comput. Interact., 2017

Supporting interactive system testing with interaction sequences.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Modelling safety-critical devices: coloured petri nets and Z.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement.
Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

Combining Models for Interactive System Modelling.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2015
Preface.
Innov. Syst. Softw. Eng., 2015

Composing Patterns to Construct Secure Systems.
Proceedings of the 11th European Dependable Computing Conference, 2015

Using State Machines for the Visualisation of Specifications via Refinement.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Design Patterns for Models of Interactive Systems.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.
Sci. Comput. Program., 2014

Editorial.
Formal Aspects Comput., 2014

A Simplified Z Semantics for Presentation Interaction Models.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010.
Sci. Comput. Program., 2013

Editorial.
Formal Aspects Comput., 2013

Preface to the proceedings of FMIS 2013.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Formal methods for interactive system: (FMIS 2013).
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Modelling safety properties of interactive medical systems.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

A Tale of Two Studies.
Proceedings of the Fourteenth Australasian User Interface Conference, 2013

2012
Editorial.
Formal Aspects Comput., 2012

Modelling user manuals of modal medical devices and learning from the experience.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

2011
Contexts, refinement and determinism.
Sci. Comput. Program., 2011

Preface for FMIS 2011.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Refinement for Probabilistic Systems with Nondeterminism
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
Proceedings of the FM 2011: Formal Methods, 2011

UI-driven test-first development of interactive systems.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010
Developing usability studies via formal models of UIs.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009
Guarded Operations, Refinement and Simulation.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Preface.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

UI-Design Driven Model-Based Testing.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Robust Semantics Hides Fewer Errors.
Proceedings of the FM 2009: Formal Methods, 2009

Supporting Multi-path UI Development with Vertical Refinement.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Formal models for user interface design artefacts.
Innov. Syst. Softw. Eng., 2008

Data refinement and singleton failures refinement are not equivalent.
Formal Aspects Comput., 2008

General Refinement, Part Two: Flexible Refinement.
Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

General Refinement, Part One: Interfaces, Determinism and Special Refinement.
Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

2007
Generic Tools via General Refinement.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Refinement for User Interface Designs.
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Feature Refinement.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Modular Synthesis of Discrete Controllers.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Using formal models to design user interfaces: a case study.
Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

2006
Conflicts and Fair Testing.
Int. J. Found. Comput. Sci., 2006

Formal Models for Informal GUI Designs.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Formal Refinement of Informal GUI Design Artefacts.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Logic and refinement for charts.
Proceedings of the Computer Science 2006, 2006

2005
Constructing Programs or Processes.
J. Univers. Comput. Sci., 2005

Stepwise Refinement of Processes.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Including Design Guidelines in the Formal Specification of Interfaces in Z.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004
Behavioral modeling for mobile agent systems using Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

Atomic Components.
Proceedings of the Theoretical Aspects of Computing, 2004

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
Log. J. IGPL, 2003

A Logic for Schema-Based Program Development.
Formal Aspects Comput., 2003

Z Logic and its Consequences.
Comput. Artif. Intell., 2003

Operation Refinement and Monotonicity in the Schema Calculus.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Comparison of Data and Process Refinement.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
µ-Chart-Based Specification and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2002

Results on Formal Stepwise Design in Z.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
Teaching formal methods lite via testing.
Softw. Test. Verification Reliab., 2001

Idioms for mu-Chart.
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000
Investigating Z.
J. Log. Comput., 2000

Program Development and Specification Refinement in the Schema Calculus.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

mu-Charts and Z: Hows, Whys, and Wherefores.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

A Survey of Software Development Practices in the New Zealand Software Industry .
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

mu-Charts and Z: examples and extensions.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Revising Z: Part II - Logical Development.
Formal Aspects Comput., 1999

Revising Z: Part I - Logic and Semantics.
Formal Aspects Comput., 1999

1998
A Logic for the Schema Calculus.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1996
Computer tools to teach formal reasoning.
Comput. Educ., 1996

Specifying and Reasoning About CSCW.
Proceedings of the Design, 1996

1995
Editorial.
Log. J. IGPL, 1995

1993
A Review of Several Programs for the Teaching of Logic.
Comput. J., 1993

1992
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods.
Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

Fear of Formal Reasoning.
Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1990
Logic for computer science.
International computer science series, Addison-Wesley, ISBN: 978-0-201-41643-5, 1990


  Loading...