Steve Dunne

	2011
25		Steve Dunne: Termination without \checkmark\checkmark in CSP. FM 2011: 278-292
	2010
24		Steve Dunne, Frank Zeyda: Reactivising Classical B. ASM 2010: 302-318
23		Bill Stoddart, Frank Zeyda, Steve Dunne: Preference and Non-deterministic Choice. ICTAC 2010: 137-152
22		Ian J. Hayes, Steve Dunne, Larissa Meinicke: Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC 2010: 178-194
	2009
21		Steve Dunne: Of wlp and CSP. Electr. Notes Theor. Comput. Sci. 259: 35-45 (2009)
	2008
20		Steve Dunne, Stacey Conroy: A Practical Single Refinement Method for B. ABZ 2008: 195-208
19		Steve Dunne, Ian J. Hayes, Andy Galloway: Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81
	2007
18		Steve Dunne: Chorus Angelorum. B 2007: 19-33
17		Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232
	2006
16		Steve Dunne, Bill Stoddart: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers Springer 2006
15		Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)
	2005
14		Colin J. Fidge, Peter Robinson, Steve Dunne: Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232
13		Frank Zeyda, Bill Stoddart, Steve Dunne: A Prospective-Value Semantics for the GSL. ZB 2005: 187-202
12		Steve Dunne, Stacey Conroy: Process Refinement in B. ZB 2005: 45-64
	2004
11		Steve Dunne: Understanding Object-Z Operations as Generalised Substitutions. IFM 2004: 328-342
	2003
10		Steve Dunne: Introducing Backward Refinement into B. ZB 2003: 178-196
	2002
9		Steve Dunne: A Theory of Generalised Substitutions. ZB 2002: 270-290
8		Steve Dunne: Junctive Compositions of specifications in total, general correctness. Electr. Notes Theor. Comput. Sci. 70(3): 4-20 (2002)
	2001
7		Steve Dunne: Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. IWFM 2001
6		Steve Dunne: Abstract Commands: a Uniform Notation for Specification and Implementation. Electr. Notes Theor. Comput. Sci. 42: 104-123 (2001)
	2000
5		Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King: 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 Springer 2000
	1999
4		Bill Stoddart, Steve Dunne: The Refinement of Event Calculus Models. IFM 1999: 151-169
3		Steve Dunne: The Safe Machine: A New Specification Construct for B. World Congress on Formal Methods 1999: 472-489
2		Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. Formal Methods in System Design 15(3): 201-215 (1999)
	1998
1		Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242

Coauthor Index

1	Jonathan P. Bowen	[5]
2	Ana Cavalcanti	[15]
3	Stacey Conroy	[12] [20]
4	Colin J. Fidge	[14]
5	Andy Galloway	[1] [2] [5] [17] [19]
6	Ian J. Hayes	[19] [22]
7	Steve King	[5]
8	Larissa Meinicke	[22]
9	Peter Robinson	[14]
10	Richard Shore	[1]
11	Bill Stoddart	[1] [2] [4] [13] [16] [23]
12	Jim Woodcock (J. C. P. Woodcock)	[15]
13	Frank Zeyda	[13] [23] [24]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page