Steve Dunne

Steve Dunne: Conscriptions: A New Relational Model for Sequential Computations. UTP 2012: 144-163

Steve Dunne: Termination without \checkmark\checkmark in CSP. FM 2011: 278-292

Steve Dunne, Frank Zeyda: Reactivising Classical B. ASM 2010: 302-318

Bill Stoddart, Frank Zeyda, Steve Dunne: Preference and Non-deterministic Choice. ICTAC 2010: 137-152

Ian J. Hayes, Steve Dunne, Larissa Meinicke: Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC 2010: 178-194

Steve Dunne: Of wlp and CSP. Electr. Notes Theor. Comput. Sci. 259: 35-45 (2009)

Steve Dunne, Stacey Conroy: A Practical Single Refinement Method for B. ABZ 2008: 195-208

Steve Dunne, Ian J. Hayes, Andy Galloway: Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81

Steve Dunne: Chorus Angelorum. B 2007: 19-33

Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232

Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)

Steve Dunne, Bill Stoddart (Eds.): Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4010, Springer 2006, isbn 3-540-34750-X

Colin J. Fidge, Peter Robinson, Steve Dunne: Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232

Steve Dunne, Stacey Conroy: Process Refinement in B. ZB 2005: 45-64

Frank Zeyda, Bill Stoddart, Steve Dunne: A Prospective-Value Semantics for the GSL. ZB 2005: 187-202

Steve Dunne: Understanding Object-Z Operations as Generalised Substitutions. IFM 2004: 328-342

Steve Dunne: Introducing Backward Refinement into B. ZB 2003: 178-196

Steve Dunne: Junctive Compositions of specifications in total, general correctness. Electr. Notes Theor. Comput. Sci. 70(3): 4-20 (2002)

Steve Dunne: A Theory of Generalised Substitutions. ZB 2002: 270-290

Steve Dunne: Abstract Commands: a Uniform Notation for Specification and Implementation. Electr. Notes Theor. Comput. Sci. 42: 104-123 (2001)

Steve Dunne: Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. IWFM 2001

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Lecture Notes in Computer Science 1878, Springer 2000, isbn 3-540-67944-8

Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. Formal Methods in System Design 15(3): 201-215 (1999)

Steve Dunne: The Safe Machine: A New Specification Construct for B. World Congress on Formal Methods 1999: 472-489

Bill Stoddart, Steve Dunne: The Refinement of Event Calculus Models. IFM 1999: 151-169

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242