We stand with Ukraine

We stand with Ukraine

Steve Reeves

Orcid: 0000-0002-3840-6060

Affiliations:

University of Waikato, Hamilton, New Zealand

According to our database¹, Steve Reeves authored at least 92 papers between 1990 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2024

A Logic for Veracity: Development and Implementation.

[BibT_eX]

[DOI]

,

CoRR, 2024

Foundational Verification of Smart Contracts through Verified Compilation.

[BibT_eX]

[DOI]

Vilhelm Sjöberg

,

,

,

,

,

,

Sean Noble Anderson

,

,

CoRR, 2024

Usable-by-Construction: a formal framework.

[BibT_eX]

[DOI]

CoRR, 2024

2023

A Logic for Veracity.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Provably Correct Smart Contracts: An Approach using DeepSEA.

[BibT_eX]

[DOI]

,

Vilhelm Sjöberg

,

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Modelling a Blockchain for Smart Contract Verification using DeepSEA.

[BibT_eX]

[DOI]

,

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).

[BibT_eX]

[DOI]

,

Vilhelm Sjöberg

,

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2020

Model-based Testing of Interactive Systems using Interaction Sequences.

[BibT_eX]

[DOI]

,

,

Proc. ACM Hum. Comput. Interact., 2020

SeqCheck: a model checking tool for interactive systems.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Usable-by-Construction.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions.

[BibT_eX]

[DOI]

Felipe Bravo-Marquez

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Integrating User Design and Formal Models within PVSio-Web.

[BibT_eX]

[DOI]

Nathaniel Watson

,

,

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Using Abstraction with Interaction Sequences for Interactive System Modelling.

[BibT_eX]

[DOI]

,

,

Proceedings of the Software Technologies: Applications and Foundations, 2018

Simulating Interaction Sequences.

[BibT_eX]

[DOI]

,

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Engineering Interactive Systems with Model-Driven Code Contracts.

[BibT_eX]

[DOI]

,

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

Generating Obligations, Assertions and Tests from UI Models.

[BibT_eX]

[DOI]

,

Proc. ACM Hum. Comput. Interact., 2017

Supporting interactive system testing with interaction sequences.

[BibT_eX]

[DOI]

,

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Modelling safety-critical devices: coloured petri nets and Z.

[BibT_eX]

[DOI]

,

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Combining Models for Interactive System Modelling.

[BibT_eX]

[DOI]

,

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2015

Preface.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

Composing Patterns to Construct Secure Systems.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 11th European Dependable Computing Conference, 2015

Using State Machines for the Visualisation of Specifications via Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Design Patterns for Models of Interactive Systems.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

Elvinia Riccobene

,

Sci. Comput. Program., 2014

Editorial.

[BibT_eX]

[DOI]

Eerke A. Boiten

,

,

Formal Aspects Comput., 2014

A Simplified Z Semantics for Presentation Interaction Models.

[BibT_eX]

[DOI]

,

Proceedings of the FM 2014: Formal Methods, 2014

2013

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010.

[BibT_eX]

[DOI]

,

,

Sarfraz Khurshid

,

,

Sci. Comput. Program., 2013

UI-design driven model-based testing.

[BibT_eX]

[DOI]

,

Innov. Syst. Softw. Eng., 2013

Editorial.

[BibT_eX]

[DOI]

Jonathan P. Bowen

,

Michael J. Butler

,

,

Formal Aspects Comput., 2013

Preface to the proceedings of FMIS 2013.

[BibT_eX]

[DOI]

,

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Formal methods for interactive system: (FMIS 2013).

[BibT_eX]

[DOI]

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Modelling safety properties of interactive medical systems.

[BibT_eX]

[DOI]

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

A Tale of Two Studies.

[BibT_eX]

[DOI]

,

,

Proceedings of the Fourteenth Australasian User Interface Conference, 2013

2012

Editorial.

[BibT_eX]

[DOI]

Eerke A. Boiten

,

,

,

Formal Aspects Comput., 2012

Modelling user manuals of modal medical devices and learning from the experience.

[BibT_eX]

[DOI]

,

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

2011

Contexts, refinement and determinism.

[BibT_eX]

[DOI]

,

Sci. Comput. Program., 2011

Preface for FMIS 2011.

[BibT_eX]

[DOI]

,

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Refinement for Probabilistic Systems with Nondeterminism

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

Jonathan P. Bowen

,

Proceedings of the FM 2011: Formal Methods, 2011

UI-driven test-first development of interactive systems.

[BibT_eX]

[DOI]

,

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010

Developing usability studies via formal models of UIs.

[BibT_eX]

[DOI]

,

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009

Refinement for user interface designs.

[BibT_eX]

[DOI]

,

Formal Aspects Comput., 2009

Guarded Operations, Refinement and Simulation.

[BibT_eX]

[DOI]

,

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

Preface.

[BibT_eX]

[DOI]

Eerke A. Boiten

,

,

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

A Robust Semantics Hides Fewer Errors.

[BibT_eX]

[DOI]

,

Proceedings of the FM 2009: Formal Methods, 2009

Supporting Multi-path UI Development with Vertical Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Formal models for user interface design artefacts.

[BibT_eX]

[DOI]

,

Innov. Syst. Softw. Eng., 2008

Data refinement and singleton failures refinement are not equivalent.

[BibT_eX]

[DOI]

,

Formal Aspects Comput., 2008

General Refinement, Part Two: Flexible Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

General Refinement, Part One: Interfaces, Determinism and Special Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

2007

Generic Tools via General Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Feature Refinement.

[BibT_eX]

[DOI]

,

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

Modular Synthesis of Discrete Controllers.

[BibT_eX]

[DOI]

,

,

,

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.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

,

Int. J. Found. Comput. Sci., 2006

Formal Models for Informal GUI Designs.

[BibT_eX]

[DOI]

,

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Formal Refinement of Informal GUI Design Artefacts.

[BibT_eX]

[DOI]

,

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Logic and refinement for charts.

[BibT_eX]

[DOI]

,

Proceedings of the Computer Science 2006, 2006

2005

Constructing Programs or Processes.

[BibT_eX]

[DOI]

,

J. Univers. Comput. Sci., 2005

Stepwise Refinement of Processes.

[BibT_eX]

[DOI]

,

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Including Design Guidelines in the Formal Specification of Interfaces in Z.

[BibT_eX]

[DOI]

,

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Behavioral modeling for mobile agent systems using Petri nets.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2004

Atomic Components.

[BibT_eX]

[DOI]

,

Proceedings of the Theoretical Aspects of Computing, 2004

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

Martin C. Henson

,

Log. J. IGPL, 2003

A Logic for Schema-Based Program Development.

[BibT_eX]

[DOI]

Martin C. Henson

,

Formal Aspects Comput., 2003

Z Logic and its Consequences.

[BibT_eX]

[DOI]

Martin C. Henson

,

,

Jonathan P. Bowen

Comput. Artif. Intell., 2003

Operation Refinement and Monotonicity in the Schema Calculus.

[BibT_eX]

[DOI]

,

Martin C. Henson

,

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Comparison of Data and Process Refinement.

[BibT_eX]

[DOI]

,

Proceedings of the Formal Methods and Software Engineering, 2003

2002

µ-Chart-Based Specification and Refinement.

[BibT_eX]

[DOI]

,

,

Proceedings of the Formal Methods and Software Engineering, 2002

Results on Formal Stepwise Design in Z.

[BibT_eX]

[DOI]

,

Martin C. Henson

,

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Teaching formal methods lite via testing.

[BibT_eX]

[DOI]

,

Softw. Test. Verification Reliab., 2001

Idioms for mu-Chart.

[BibT_eX]

[DOI]

,

,

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

Investigating Z.

[BibT_eX]

[DOI]

Martin C. Henson

,

J. Log. Comput., 2000

Program Development and Specification Refinement in the Schema Calculus.

[BibT_eX]

[DOI]

Martin C. Henson

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

A Survey of Software Development Practices in the New Zealand Software Industry .

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

mu-Charts and Z: examples and extensions.

[BibT_eX]

[DOI]

,

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Revising Z: Part II - Logical Development.

[BibT_eX]

[DOI]

Martin C. Henson

,

Formal Aspects Comput., 1999

Revising Z: Part I - Logic and Semantics.

[BibT_eX]

[DOI]

Martin C. Henson

,

Formal Aspects Comput., 1999

1998

A Logic for the Schema Calculus.

[BibT_eX]

[DOI]

Martin C. Henson

,

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1996

Computer tools to teach formal reasoning.

[BibT_eX]

[DOI]

,

,

,

,

Comput. Educ., 1996

Specifying and Reasoning About CSCW.

[BibT_eX]

[DOI]

Proceedings of the Design, 1996

1995

Editorial.

[BibT_eX]

[DOI]

,

Marcello D'Agostino

,

,

,

Log. J. IGPL, 1995

1993

A Review of Several Programs for the Teaching of Logic.

[BibT_eX]

[DOI]

,

,

Comput. J., 1993

1992

Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).

[BibT_eX]

,

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.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

Fear of Formal Reasoning.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1990

Logic for computer science.

[BibT_eX]

,

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

Loading...