Steve Dunne

30 papers B 5C 2Journal 6Unranked 15
YearRankTypeTitle / Venue / Authors
2024 J jnl
Bunch theory: Axioms, logic, applications and model.
J. Log. Algebraic Methods Program.
Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
2023 J jnl
bGSL: An imperative language for specification and refinement of backtracking programs.
J. Log. Algebraic Methods Program.
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
2019 J jnl
Bunch theory, applications, axioms and models.
CoRR
Bill Stoddart, Frank Zeyda, Steve Dunne
2013 J jnl
Linking Unifying Theories of Program refinement.
Sci. Comput. Program.
Ian J. Hayes, Steve Dunne, Larissa Meinicke
2012 — conf
Conscriptions: A New Relational Model for Sequential Computations.
UTP
Steve Dunne
2011 B conf
Termination without \checkmark\checkmark in CSP.
FM
Steve Dunne
2010 C conf
Preference and Non-deterministic Choice.
ICTAC
Bill Stoddart, Frank Zeyda, Steve Dunne
2010 — conf
Reactivising Classical B.
ASM
Steve Dunne, Frank Zeyda
2010 B conf
Unifying Theories of Programming That Distinguish Nontermination and Abort.
MPC
Ian J. Hayes, Steve Dunne, Larissa Meinicke
2009 — conf
Of wlp and CSP.
REFINE@FMWeek
Steve Dunne
2008 C conf
A Practical Single Refinement Method for B.
ABZ
Steve Dunne, Stacey Conroy
2008 — conf
Reasoning about Loops in Total and General Correctness.
UTP
Steve Dunne, Ian J. Hayes, Andy Galloway
2007 — conf
Chorus Angelorum.
B
Steve Dunne
2007 B conf
Lifting General Correctness into Partial Correctness is
IFM
Steve Dunne, Andy Galloway
2006 J jnl
Angelic nondeterminism in the unifying theories of programming.
Formal Aspects Comput.
Ana Cavalcanti, Jim Woodcock, Steve Dunne
2006 — ed.
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
UTP
Steve Dunne, Bill Stoddart
2005 — conf
A Prospective-Value Semantics for the GSL.
ZB
Frank Zeyda, Bill Stoddart, Steve Dunne
2005 — conf
Process Refinement in B.
ZB
Steve Dunne, Stacey Conroy
2005 — conf
Refinement Laws for Verifying Library Subroutine Adaptation.
Australian Software Engineering Conference
Colin J. Fidge, Peter J. Robinson, Steve Dunne
2004 B conf
Understanding Object-Z Operations as Generalised Substitutions.
IFM
Steve Dunne
2003 — conf
Introducing Backward Refinement into B.
ZB
Steve Dunne
2002 — conf
A Theory of Generalised Substitutions.
ZB
Steve Dunne
2002 — conf
Junctive Compositions of specifications in total, general correctness.
Refine
Steve Dunne
2001 — conf
Abstract Commands: a Uniform Notation for Specification and Implementation.
CATS
Steve Dunne
2001 — conf
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness.
IWFM
Steve Dunne
2000 — ed.
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
ZB
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
1999 B conf
The Refinement of Event Calculus Models.
IFM
Bill Stoddart, Steve Dunne
1999 — conf
The Safe Machine: A New Specification Construct for B.
World Congress on Formal Methods
Steve Dunne
1999 J jnl
Undefined Expressions and Logic in Z and B.
Formal Methods Syst. Des.
Bill Stoddart, Steve Dunne, Andy Galloway
1998 — conf
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B
Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore