Personal information

Other IDs

Scopus Author ID: 7102635636
Scopus Author ID: 16460681100

Countries

New Zealand

Activities

Collapse all

Employment (3)

University of Waikato: Hamilton, NZ

1994-02-01 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
Steve Reeves

Queen Mary University of London: London, London, GB

1983-10-01 to 1994-01-31 | Lecturer (Computer Science and Statistics)
Employment
Source: Self-asserted source
Steve Reeves

University of Essex: Colchester, Essex, GB

1982-10-01 to 1983-10-01 | Lecturer (Computer Science)
Employment
Source: Self-asserted source
Steve Reeves

Works (50 of 96)

Items per page:
Page 1 of 2

Modelling a Blockchain for Smart Contract Verification using DeepSEA

FTSCS 2022 - Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, co-located with SPLASH 2022
2022 | Conference paper
DOI: 10.1145/3563822.3568011
EID:

2-s2.0-85146970871
Contributors: Britten, D.; Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts

OpenAccess Series in Informatics
2021 | Conference paper
EID:

2-s2.0-85129771998

Part of ISSN: 21906807
Contributors: Britten, D.; Sjöberg, V.; Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Formal modelling of safety-critical interactive devices using coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Journal article
DOI: 10.1007/978-3-030-54994-7_34
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Model-based Testing of Interactive Systems using Interaction Sequences

Proceedings of the ACM on Human-Computer Interaction
2020 | Journal article
DOI: 10.1145/3397873
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

SeqCheck: A model checking tool for interactive systems

EICS 2020 - 12th ACM SIG CHI Symposium on Engineering Interactive Computing Systems, Proceedings
2020 | Conference paper
DOI: 10.1145/3393672.3398639
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems

Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2019 | Conference paper
DOI: 10.1109/APSEC48747.2019.00054
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Proof-of-learning: A blockchain consensus mechanism based on machine learning competitions

Proceedings - 2019 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPCON 2019
2019 | Conference paper
DOI: 10.1109/DAPPCON.2019.00023
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Usable-by-construction

CEUR Workshop Proceedings
2019 | Conference paper
EID:

2-s2.0-85075980377

Part of ISSN: 16130073
Contributors: Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Usable-by-construction

CEUR Workshop Proceedings
2019 | Conference paper
URI:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85075980377&partnerID=40&md5=5980ca68449a4f7f0aec31cd3a1cd14d
Source: Self-asserted source
Steve Reeves

Characterising sound visualisations of specifications using micro-charts and refinement

Proceedings - 2017 24th Asia-Pacific Software Engineering Conference Workshops, APSECW 2017
2018 | Conference paper
DOI: 10.1109/APSEC.2017.74
DOI: 10.1109/APSECW.2017.16
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 4)‎

Engineering interactive systems with model-driven code contracts

Proceedings - 25th Australasian Software Engineering Conference, ASWEC 2018
2018 | Conference paper
DOI: 10.1109/ASWEC.2018.00010
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Integrating user design and formal models within PVSio-Web

Electronic Proceedings in Theoretical Computer Science, EPTCS
2018 | Conference paper
DOI: 10.4204/EPTCS.284.8
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Integrating User Design and Formal Models within PVSio-Web

arXiv
2018 | Other
DOI: 10.48550/arxiv.1811.10821
EID:

2-s2.0-85170744045

Part of ISSN: 23318422
Contributors: Watson, N.; Reeves, S.; Masci, P.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Preface

Electronic Proceedings in Theoretical Computer Science, EPTCS
2018 | Conference paper
DOI: 10.4204/EPTCS.282
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Simulating interaction sequences

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2018
2018 | Conference paper
DOI: 10.1145/3220134.3220139
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Using abstraction with interaction sequences for interactive system modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Journal article
DOI: 10.1007/978-3-030-04771-9_20
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Generating obligations, assertions and tests from UI models

Proceedings of the ACM on Human-Computer Interaction
2017 | Journal article
DOI: 10.1145/3095807
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Modelling safety-critical devices: Coloured petri nets and Z

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017
2017 | Conference paper
DOI: 10.1145/3102113.3102125
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Supporting interactive system testing with interaction sequences

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017
2017 | Conference paper
DOI: 10.1145/3102113.3102149
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Composing Patterns to Construct Secure Systems

Proceedings - 2015 11th European Dependable Computing Conference, EDCC 2015
2016 | Conference paper
DOI: 10.1109/EDCC.2015.12
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface

Electronic Proceedings in Theoretical Computer Science, EPTCS
2016 | Conference paper
DOI: 10.4204/EPTCS.209
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Welcome message from the general chairs

Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2016 | Conference paper
DOI: 10.1109/APSEC.2016.007
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Design patterns for models of interactive systems

Proceedings - 2015 24th Australasian Software Engineering Conference, ASWEC 2015
2015 | Conference paper
DOI: 10.1109/ASWEC.2015.30
EID:

2-s2.0-85006133080
Contributors: Bowen, J.; Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Using state machines for the visualisation of specifications via refinement

ACM International Conference Proceeding Series
2015 | Conference paper
DOI: 10.1145/2811681.2811702
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

A simplified z semantics for presentation interaction models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Journal article
DOI:

10.1007/978-3-319-06410-9-11

DOI: 10.1007/978-3-319-06410-9_11
EID:

2-s2.0-84900326883
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 3)‎

Preface: Abstract state machines, alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012

Science of Computer Programming
2014 | Journal article
DOI: 10.1016/j.scico.2014.06.002
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

A tale of two studies

Conferences in Research and Practice in Information Technology Series
2013 | Conference paper
EID:

2-s2.0-85072025853

Part of ISSN: 14451336
Contributors: Bowen, J.; Reeves, S.; Schweer, A.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

A tale of two studies

Conferences in Research and Practice in Information Technology Series
2013 | Conference paper
URI:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85072025853&partnerID=40&md5=1e3ba58d775a3ff75526658c908b4692
Source: Self-asserted source
Steve Reeves

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

Science of Computer Programming
2013 | Journal article
DOI: 10.1016/j.scico.2011.03.004
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Formal methods for interactive system (FMIS 2013)

EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
2013 | Conference paper
DOI: 10.1145/2480296.2483223
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Modelling safety properties of interactive medical systems

EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
2013 | Conference paper
DOI: 10.1145/2480296.2480314
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Preface

Electronic Communications of the EASST
2013 | Journal article
DOI: 10.14279/tuj.eceasst.69.966.986
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Preface

Electronic Proceedings in Theoretical Computer Science, EPTCS
2013 | Conference paper
DOI: 10.4204/EPTCS.115
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

UI-design driven model-based testing

Innovations in Systems and Software Engineering
2013 | Journal article
DOI: 10.14279/tuj.eceasst.22.314.311
DOI: 10.1007/s11334-013-0199-6
EID:

2-s2.0-84881490451
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 4)‎

Editorial

Formal Aspects of Computing
2012 | Journal article
DOI: 10.1007/s00165-011-0220-5
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 7)‎

Foreword

2012 | Conference paper
EID:

2-s2.0-84864071099
Contributors: Campos, J.C.; Barbosa, S.D.J.; Palanque, P.; Kazman, R.; Harrison, M.; Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Foreword

EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
2012 | Conference paper
URI:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84864071099&partnerID=40&md5=e9db9024e7baf479ea9776c0933d1a7b
Source: Self-asserted source
Steve Reeves

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

EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
2012 | Conference paper
DOI: 10.1145/2305484.2305505
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Preface to the volume

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI: 10.1007/978-3-642-30885-7
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Contexts, refinement and determinism

Science of Computer Programming
2011 | Journal article
DOI: 10.1016/j.scico.2010.11.011
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

From a community of practice to a body of knowledge: A case study of the formal methods community

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI: 10.1007/978-3-642-21437-0_24
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Preface

Electronic Communications of the EASST
2011 | Journal article
DOI: 10.14279/tuj.eceasst.45.674.690
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Preface

Electronic Proceedings in Theoretical Computer Science, EPTCS
2011 | Conference paper
EID:

2-s2.0-85021961849

Part of ISSN: 20752180
Contributors: Boiten, E.; Derrick, J.; Reeves, S.
Source: Self-asserted source
Steve Reeves via Scopus - Elsevier

Preface

Electronic Proceedings in Theoretical Computer Science, EPTCS
2011 | Conference paper
URI:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85021961849&partnerID=40&md5=63f6683725f41e2b7c24bb644c39d65a
Source: Self-asserted source
Steve Reeves

Refinement for probabilistic systems with nondeterminism

Electronic Proceedings in Theoretical Computer Science, EPTCS
2011 | Conference paper
DOI: 10.4204/EPTCS.55.6
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

UI-driven test-first development of interactive systems

Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011
2011 | Conference paper
DOI: 10.1145/1996461.1996515
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

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 | Journal article
URI:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-77950836614&partnerID=40&md5=f136cb69e82427760605219ea0b9550e

EID:

2-s2.0-77950836614
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Developing usability studies via formal models of UIs

EICS'10 - Proceedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
2010 | Conference paper
DOI: 10.1145/1822018.1822044
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

A robust semantics hides fewer errors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Journal article
DOI: 10.1007/978-3-642-05089-3_32
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎

Guarded Operations, Refinement and Simulation

Electronic Notes in Theoretical Computer Science
2009 | Journal article
DOI: 10.1016/j.entcs.2009.12.024
Source: Self-asserted source
Steve Reeves
grade
Preferred source (of 2)‎
Items per page:
Page 1 of 2
How many people are using ORCID?