Steve Reeves - RankMe

105 papers B 8C 9Misc 11Journal 32Unranked 36

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Logic for Veracity: Development and Implementation. CoRR Daniel Britten, Steve Reeves
2024	J	`jnl`	Foundational Verification of Smart Contracts through Verified Compilation. CoRR Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria Anna Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
2024	J	`jnl`	Usable-by-Construction: a formal framework. CoRR Steve Reeves
2023	J	`jnl`	A Logic for Veracity. CoRR Steve Reeves
2022	—	`conf`	Modelling a Blockchain for Smart Contract Verification using DeepSEA. FTSCS Daniel Britten, Steve Reeves
2022	—	`conf`	Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion Daniel Britten, Vilhelm Sjöberg, Steve Reeves
2021	—	`conf`	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). FMBC@CAV Daniel Britten, Vilhelm Sjöberg, Steve Reeves
2020	J	`jnl`	Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. Jessica Turner, Judy Bowen, Steve Reeves
2020	Misc	`conf`	SeqCheck: a model checking tool for interactive systems. EICS Jessica Turner, Judy Bowen, Steve Reeves
2019	C	`conf`	A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC Sapna Jaidka, Steve Reeves, Judy Bowen
2019	—	`conf`	Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) Sapna Jaidka, Steve Reeves, Judy Bowen
2019	—	`conf`	Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions. DAPPCON Felipe Bravo-Marquez, Steve Reeves, Martín Ugarte
2019	—	`conf`	Usable-by-Construction. EICS Workshops Steve Reeves
2018	—	`conf`	Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC Judy Bowen, Steve Reeves
2018	—	`conf`	Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC Nathaniel Watson, Steve Reeves, Paolo Masci
2018	—	`ed.`	Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. Refine@FM John Derrick, Brijesh Dongol, Steve Reeves
2018	Misc	`conf`	Simulating Interaction Sequences. EICS Jessica Turner, Judy Bowen, Steve Reeves
2018	—	`conf`	Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops Jessica Turner, Judy Bowen, Steve Reeves
2017	C	`conf`	Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC Colin Pilbrow, Steve Reeves
2017	—	`conf`	Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC Workshops Colin Pilbrow, Steve Reeves
2017	—	`ch.`	Combining Models for Interactive System Modelling. Handbook of Formal Methods in Human-Computer Interaction Judy Bowen, Steve Reeves
2017	J	`jnl`	Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. Judy Bowen, Steve Reeves
2017	Misc	`conf`	Modelling safety-critical devices: coloured petri nets and Z. EICS Sapna Jaidka, Steve Reeves, Judy Bowen
2017	Misc	`conf`	Supporting interactive system testing with interaction sequences. EICS Jessica Turner, Judy Bowen, Steve Reeves
2016	C	`ed.`	23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016 APSEC Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich
2016	—	`ed.`	Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2015	Misc	`conf`	Composing Patterns to Construct Secure Systems. EDCC Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves
2015	—	`conf`	Design Patterns for Models of Interactive Systems. ASWEC Judy Bowen, Steve Reeves
2015	J	`jnl`	Preface. Innov. Syst. Softw. Eng. Steve Reeves
2015	—	`conf`	Using State Machines for the Visualisation of Specifications via Refinement. ASWEC (2) Colin Pilbrow, Steve Reeves
2014	B	`conf`	A Simplified Z Semantics for Presentation Interaction Models. FM Judy Bowen, Steve Reeves
2014	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Steve Reeves
2014	J	`jnl`	Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. Elvinia Riccobene, Steve Reeves
2013	—	`conf`	A Tale of Two Studies. AUIC Judy Bowen, Steve Reeves, Andrea Schweer
2013	J	`jnl`	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2013	J	`jnl`	Editorial. Formal Aspects Comput. Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey
2013	Misc	`conf`	Formal methods for interactive system: (FMIS 2013). EICS Judy Bowen, Steve Reeves
2013	Misc	`conf`	Modelling safety properties of interactive medical systems. EICS Judy Bowen, Steve Reeves
2013	J	`jnl`	Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2013	—	`ed.`	Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Refine@IFM John Derrick, Eerke A. Boiten, Steve Reeves
2013	J	`jnl`	UI-design driven model-based testing. Innov. Syst. Softw. Eng. Judy Bowen, Steve Reeves
2012	Misc	`ed.`	ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012 EICS Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
2012	Misc	`conf`	Modelling user manuals of modal medical devices and learning from the experience. EICS Judy Bowen, Steve Reeves
2011	J	`jnl`	Contexts, refinement and determinism. Sci. Comput. Program. Steve Reeves, David Streader
2011	B	`conf`	From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. FM Jonathan P. Bowen, Steve Reeves
2011	J	`jnl`	Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2011	—	`ed.`	Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2011	—	`conf`	Refinement for Probabilistic Systems with Nondeterminism Refine@FM Steve Reeves, David Streader
2011	Misc	`conf`	UI-driven test-first development of interactive systems. EICS Judy Bowen, Steve Reeves
2010	—	`ed.`	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ABZ Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2010	Misc	`conf`	Developing usability studies via formal models of UIs. EICS Judy Bowen, Steve Reeves
2009	B	`conf`	A Robust Semantics Hides Fewer Errors. FM Steve Reeves, David Streader
2009	—	`conf`	Guarded Operations, Refinement and Simulation. REFINE@FMWeek Steve Reeves, David Streader
2009	—	`conf`	Preface. REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	—	`ed.`	Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009 REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	J	`jnl`	Refinement for user interface designs. Formal Aspects Comput. Judy Bowen, Steve Reeves
2009	—	`conf`	Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference Judy Bowen, Steve Reeves
2009	J	`jnl`	UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2008	J	`jnl`	Data refinement and singleton failures refinement are not equivalent. Formal Aspects Comput. Steve Reeves, David Streader
2008	J	`jnl`	Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. Judy Bowen, Steve Reeves
2008	—	`conf`	General Refinement, Part One: Interfaces, Determinism and Special Refinement. Refine@FM Steve Reeves, David Streader
2008	—	`conf`	General Refinement, Part Two: Flexible Refinement. Refine@FM Steve Reeves, David Streader
2007	B	`conf`	Feature Refinement. SEFM Steve Reeves, David Streader
2007	—	`conf`	Generic Tools via General Refinement. TTSS Steve Reeves, David Streader
2007	B	`conf`	Modular Synthesis of Discrete Controllers. ICECCS Petra Malik, Robi Malik, David Streader, Steve Reeves
2007	—	`conf`	Refinement for User Interface Designs. FMIS@BCS HCI Judy Bowen, Steve Reeves
2007	—	`conf`	Using formal models to design user interfaces: a case study. BCS HCI (1) Judy Bowen, Steve Reeves
2006	J	`jnl`	Conflicts and Fair Testing. Int. J. Found. Comput. Sci. Robi Malik, David Streader, Steve Reeves
2006	—	`conf`	Formal Models for Informal GUI Designs. FMIS@ICFEM Judy Bowen, Steve Reeves
2006	—	`conf`	Formal Refinement of Informal GUI Design Artefacts. ASWEC Judy Bowen, Steve Reeves
2006	—	`conf`	Logic and refinement for charts. ACSC Greg Reeve, Steve Reeves
2005	J	`jnl`	Constructing Programs or Processes. J. Univers. Comput. Sci. Steve Reeves, David Streader
2005	—	`conf`	Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB Judy Bowen, Steve Reeves
2005	—	`conf`	Stepwise Refinement of Processes. FACS Steve Reeves, David Streader
2004	C	`conf`	Atomic Components. ICTAC Steve Reeves, David Streader
2004	—	`conf`	Behavioral modeling for mobile agent systems using Petri nets. SMC (5) Ali A. Pouyan, Steve Reeves
2004	B	`conf`	Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA Robi Malik, David Streader, Steve Reeves
2003	J	`jnl`	A Logic for Schema-Based Program Development. Formal Aspects Comput. Martin C. Henson, Steve Reeves
2003	J	`jnl`	An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL Moshe Deutsch, Martin C. Henson, Steve Reeves
2003	C	`conf`	Comparison of Data and Process Refinement. ICFEM Steve Reeves, David Streader
2003	—	`conf`	Operation Refinement and Monotonicity in the Schema Calculus. ZB Moshe Deutsch, Martin C. Henson, Steve Reeves
2003	J	`jnl`	Z Logic and its Consequences. Comput. Artif. Intell. Martin C. Henson, Steve Reeves, Jonathan P. Bowen
2002	C	`conf`	Results on Formal Stepwise Design in Z. APSEC Moshe Deutsch, Martin C. Henson, Steve Reeves
2002	C	`conf`	µ-Chart-Based Specification and Refinement. ICFEM Doug Goldson, Greg Reeve, Steve Reeves
2001	—	`conf`	Idioms for mu-Chart. Australian Software Engineering Conference Grant Anderson, Greg Reeve, Steve Reeves
2001	J	`jnl`	Teaching formal methods lite via testing. Softw. Test. Verification Reliab. Mark Utting, Steve Reeves
2000	—	`conf`	A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
2000	J	`jnl`	Investigating Z. J. Log. Comput. Martin C. Henson, Steve Reeves
2000	—	`conf`	Program Development and Specification Refinement in the Schema Calculus. ZB Martin C. Henson, Steve Reeves
2000	B	`conf`	mu-Charts and Z: Hows, Whys, and Wherefores. IFM Greg Reeve, Steve Reeves
2000	C	`conf`	mu-Charts and Z: examples and extensions. APSEC Greg Reeve, Steve Reeves
1999	J	`jnl`	Revising Z: Part I - Logic and Semantics. Formal Aspects Comput. Martin C. Henson, Steve Reeves
1999	J	`jnl`	Revising Z: Part II - Logical Development. Formal Aspects Comput. Martin C. Henson, Steve Reeves
1998	—	`conf`	A Logic for the Schema Calculus. ZUM Martin C. Henson, Steve Reeves
1996	J	`jnl`	Computer tools to teach formal reasoning. Comput. Educ. Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat
1996	—	`ed.`	First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996 DMTCS Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten
1996	—	`conf`	Specifying and Reasoning About CSCW. DSV-IS Steve Reeves
1995	J	`jnl`	Editorial. Log. J. IGPL Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
1993	J	`jnl`	A Review of Several Programs for the Teaching of Logic. Comput. J. Doug Goldson, Steve Reeves, Richard Bornat
1992	—	`conf`	Fear of Formal Reasoning. PPIG (2) Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson
1992	B	`conf`	Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX Robert Johnson, Steve Reeves
1992	—	`conf`	Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. PPIG (1) Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson
1990	—	`book`	Logic for computer science. Steve Reeves, Michael Clarke