default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve Reeves
Person information
- affiliation: University of Waikato, Hamilton, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i4]Steve Reeves:
Usable-by-Construction: a formal framework. CoRR abs/2402.00218 (2024)- [i3]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 abs/2405.08348 (2024) - [i2]Daniel Britten, Steve Reeves:
A Logic for Veracity: Development and Implementation. CoRR abs/2407.16117 (2024) - 2023
- [i1]Steve Reeves:
A Logic for Veracity. CoRR abs/2302.06164 (2023) - 2022
- [c61]Daniel Britten
, Steve Reeves:
Modelling a Blockchain for Smart Contract Verification using DeepSEA. FTSCS 2022: 88-94 - [c60]Daniel Britten, Vilhelm Sjöberg, Steve Reeves:
Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion 2022: 5-6 - 2021
- [c59]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: 3:1-3:8 - 2020
- [j28]Jessica Turner, Judy Bowen, Steve Reeves:
Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. 4(EICS): 85:1-85:37 (2020) - [c58]Jessica Turner, Judy Bowen, Steve Reeves:
SeqCheck: a model checking tool for interactive systems. EICS 2020: 7:1-7:6
2010 – 2019
- 2019
- [c57]Sapna Jaidka, Steve Reeves, Judy Bowen:
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC 2019: 347-354 - [c56]Felipe Bravo-Marquez, Steve Reeves, Martín Ugarte:
Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions. DAPPCON 2019: 119-124 - [c55]Steve Reeves:
Usable-by-Construction. EICS Workshops 2019: 18-26 - [c54]Sapna Jaidka, Steve Reeves, Judy Bowen:
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) 2019: 465-485 - 2018
- [c53]Judy Bowen, Steve Reeves:
Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC 2018: 11-20 - [c52]Jessica Turner, Judy Bowen, Steve Reeves:
Simulating Interaction Sequences. EICS 2018: 8:1-8:7 - [c51]Jessica Turner, Judy Bowen, Steve Reeves:
Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops 2018: 257-273 - [c50]Nathaniel Watson, Steve Reeves, Paolo Masci:
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC 2018: 95-104 - [e10]John Derrick, Brijesh Dongol, Steve Reeves:
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents] - 2017
- [j27]Judy Bowen, Steve Reeves:
Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. 1(EICS): 5:1-5:18 (2017) - [c49]Colin Pilbrow, Steve Reeves:
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC Workshops 2017: 5-8 - [c48]Colin Pilbrow, Steve Reeves:
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC 2017: 612-617 - [c47]Sapna Jaidka, Steve Reeves, Judy Bowen:
Modelling safety-critical devices: coloured petri nets and Z. EICS 2017: 51-56 - [c46]Jessica Turner, Judy Bowen, Steve Reeves:
Supporting interactive system testing with interaction sequences. EICS 2017: 129-132 - [p1]Judy Bowen, Steve Reeves:
Combining Models for Interactive System Modelling. Handbook of Formal Methods in Human-Computer Interaction 2017: 161-182 - 2016
- [e9]Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich:
23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-5575-3 [contents] - [e8]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents] - 2015
- [j26]Steve Reeves:
Preface. Innov. Syst. Softw. Eng. 11(2): 71 (2015) - [c45]Colin Pilbrow, Steve Reeves:
Using State Machines for the Visualisation of Specifications via Refinement. ASWEC (2) 2015: 106-110 - [c44]Judy Bowen, Steve Reeves:
Design Patterns for Models of Interactive Systems. ASWEC 2015: 223-232 - [c43]Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves:
Composing Patterns to Construct Secure Systems. EDCC 2015: 213-224 - 2014
- [j25]Eerke A. Boiten, John Derrick, Steve Reeves:
Editorial. Formal Aspects Comput. 26(2): 195 (2014) - [j24]Elvinia Riccobene, Steve Reeves:
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. 94: 67-68 (2014) - [c42]Judy Bowen, Steve Reeves:
A Simplified Z Semantics for Presentation Interaction Models. FM 2014: 148-162 - 2013
- [j23]Judy Bowen, Steve Reeves:
Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j22]Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. Formal Aspects Comput. 25(3): 343 (2013) - [j21]Judy Bowen, Steve Reeves:
UI-design driven model-based testing. Innov. Syst. Softw. Eng. 9(3): 201-215 (2013) - [j20]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): 270-271 (2013) - [c41]Judy Bowen, Steve Reeves, Andrea Schweer:
A Tale of Two Studies. AUIC 2013: 81-90 - [c40]Judy Bowen, Steve Reeves:
Modelling safety properties of interactive medical systems. EICS 2013: 91-100 - [c39]Judy Bowen, Steve Reeves:
Formal methods for interactive system: (FMIS 2013). EICS 2013: 337-338 - [e7]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents] - 2012
- [j19]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves:
Editorial. Formal Aspects Comput. 24(1): 1 (2012) - [c38]Judy Bowen, Steve Reeves:
Modelling user manuals of modal medical devices and learning from the experience. EICS 2012: 121-130 - [e6]John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents] - [e5]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves:
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7 [contents] - 2011
- [j18]Judy Bowen, Steve Reeves:
Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j17]Steve Reeves, David Streader:
Contexts, refinement and determinism. Sci. Comput. Program. 76(9): 774-791 (2011) - [c37]Judy Bowen, Steve Reeves:
UI-driven test-first development of interactive systems. EICS 2011: 165-174 - [c36]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: 308-322 - [c35]Steve Reeves, David Streader:
Refinement for Probabilistic Systems with Nondeterminism. Refine@FM 2011: 84-100 - [e4]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - 2010
- [c34]Judy Bowen, Steve Reeves:
Developing usability studies via formal models of UIs. EICS 2010: 175-180 - [e3]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents]
2000 – 2009
- 2009
- [j16]Judy Bowen, Steve Reeves:
UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j15]Judy Bowen, Steve Reeves:
Refinement for user interface designs. Formal Aspects Comput. 21(6): 589-612 (2009) - [c33]Judy Bowen, Steve Reeves:
Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72 - [c32]Steve Reeves, David Streader:
A Robust Semantics Hides Fewer Errors. FM 2009: 499-515 - [c31]Eerke A. Boiten, John Derrick, Steve Reeves:
Preface. REFINE@FMWeek 2009: 1 - [c30]Steve Reeves, David Streader:
Guarded Operations, Refinement and Simulation. REFINE@FMWeek 2009: 177-191 - [e2]Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents] - 2008
- [j14]Steve Reeves, David Streader:
Data refinement and singleton failures refinement are not equivalent. Formal Aspects Comput. 20(3): 295-301 (2008) - [j13]Judy Bowen, Steve Reeves:
Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. 4(2): 125-141 (2008) - [c29]Steve Reeves, David Streader:
General Refinement, Part One: Interfaces, Determinism and Special Refinement. Refine@FM 2008: 277-307 - [c28]Steve Reeves, David Streader:
General Refinement, Part Two: Flexible Refinement. Refine@FM 2008: 309-329 - 2007
- [c27]Judy Bowen, Steve Reeves:
Using formal models to design user interfaces: a case study. BCS HCI (1) 2007: 159-166 - [c26]Petra Malik, Robi Malik, David Streader, Steve Reeves:
Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34 - [c25]Steve Reeves, David Streader:
Feature Refinement. SEFM 2007: 371-380 - [c24]Judy Bowen, Steve Reeves:
Refinement for User Interface Designs. FMIS@BCS HCI 2007: 5-22 - [c23]Steve Reeves, David Streader:
Generic Tools via General Refinement. TTSS 2007: 187-202 - 2006
- [j12]Robi Malik, David Streader, Steve Reeves:
Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006) - [c22]Greg Reeve, Steve Reeves:
Logic and refinement for charts. ACSC 2006: 13-23 - [c21]Judy Bowen, Steve Reeves:
Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230 - [c20]Judy Bowen, Steve Reeves:
Formal Models for Informal GUI Designs. FMIS@ICFEM 2006: 57-72 - 2005
- [j11]Steve Reeves, David Streader:
Constructing Programs or Processes. J. Univers. Comput. Sci. 11(12): 2034-2045 (2005) - [c19]Judy Bowen, Steve Reeves:
Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471 - [c18]Steve Reeves, David Streader:
Stepwise Refinement of Processes. FACS 2005: 275-289 - 2004
- [c17]Robi Malik, David Streader, Steve Reeves:
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134 - [c16]Steve Reeves, David Streader:
Atomic Components. ICTAC 2004: 128-139 - [c15]Ali A. Pouyan, Steve Reeves:
Behavioral modeling for mobile agent systems using Petri nets. SMC (5) 2004: 4935-4940 - 2003
- [j10]Martin C. Henson, Steve Reeves, Jonathan P. Bowen:
Z Logic and its Consequences. Comput. Artif. Intell. 22(3-4): 381-415 (2003) - [j9]Martin C. Henson, Steve Reeves:
A Logic for Schema-Based Program Development. Formal Aspects Comput. 15(1): 48-83 (2003) - [j8]Moshe Deutsch, Martin C. Henson, Steve Reeves:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL 11(3): 287-317 (2003) - [c14]Steve Reeves, David Streader:
Comparison of Data and Process Refinement. ICFEM 2003: 266-285 - [c13]Moshe Deutsch, Martin C. Henson, Steve Reeves:
Operation Refinement and Monotonicity in the Schema Calculus. ZB 2003: 103-126 - 2002
- [c12]Moshe Deutsch, Martin C. Henson, Steve Reeves:
Results on Formal Stepwise Design in Z. APSEC 2002: 33-42 - [c11]Doug Goldson, Greg Reeve, Steve Reeves:
µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334 - 2001
- [j7]Mark Utting, Steve Reeves:
Teaching formal methods lite via testing. Softw. Test. Verification Reliab. 11(3): 181-195 (2001) - [c10]Grant Anderson, Greg Reeve, Steve Reeves:
Idioms for mu-Chart. Australian Software Engineering Conference 2001: 224-234 - 2000
- [j6]Martin C. Henson, Steve Reeves:
Investigating Z. J. Log. Comput. 10(1): 43-73 (2000) - [c9]Greg Reeve, Steve Reeves:
mu-Charts and Z: examples and extensions. APSEC 2000: 258- - [c8]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: 189-202 - [c7]Greg Reeve, Steve Reeves:
mu-Charts and Z: Hows, Whys, and Wherefores. IFM 2000: 255-276 - [c6]Martin C. Henson, Steve Reeves:
Program Development and Specification Refinement in the Schema Calculus. ZB 2000: 344-362
1990 – 1999
- 1999
- [j5]Martin C. Henson, Steve Reeves:
Revising Z: Part I - Logic and Semantics. Formal Aspects Comput. 11(4): 359-380 (1999) - [j4]Martin C. Henson, Steve Reeves:
Revising Z: Part II - Logical Development. Formal Aspects Comput. 11(4): 381-401 (1999) - 1998
- [c5]Martin C. Henson, Steve Reeves:
A Logic for the Schema Calculus. ZUM 1998: 172-191 - 1996
- [j3]Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat:
Computer tools to teach formal reasoning. Comput. Educ. 27(1): 59-69 (1996) - [c4]Steve Reeves:
Specifying and Reasoning About CSCW. DSV-IS 1996: 366-391 - [e1]Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten:
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. Springer-Verlag, Singapore 1996, ISBN 981-3083-14-X [contents] - 1995
- [j2]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. Log. J. IGPL 3(6): 826 (1995) - 1993
- [j1]Doug Goldson, Steve Reeves, Richard Bornat:
A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993) - 1992
- [c3]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: 4 - [c2]Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson:
Fear of Formal Reasoning. PPIG (2) 1992: 8 - [c1]Robert Johnson, Steve Reeves:
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39 - 1990
- [b1]Steve Reeves, Michael Clarke:
Logic for computer science. International computer science series, Addison-Wesley 1990, ISBN 978-0-201-41643-5, pp. I-XI, 1-260
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
