Steve Dunne

According to our database, Steve Dunne authored at least 28 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Bunch theory: Axioms, logic, applications and model.

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda

J. Log. Algebraic Methods Program., 2024

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda

J. Log. Algebraic Methods Program., 2023

2019

Bunch theory, applications, axioms and models.

Bill Stoddart, Frank Zeyda, Steve Dunne

CoRR, 2019

2013

Linking Unifying Theories of Program refinement.

Ian J. Hayes, Steve Dunne, Larissa Meinicke

Sci. Comput. Program., 2013

2012

Conscriptions: A New Relational Model for Sequential Computations.

Steve Dunne

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

2011

Termination without \checkmark\checkmark in CSP.

Steve Dunne

Proceedings of the FM 2011: Formal Methods, 2011

2010

Unifying Theories of Programming That Distinguish Nontermination and Abort.

Ian J. Hayes, Steve Dunne, Larissa Meinicke

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Preference and Non-deterministic Choice.

Bill Stoddart, Frank Zeyda, Steve Dunne

Proceedings of the Theoretical Aspects of Computing, 2010

Reactivising Classical B.

Steve Dunne, Frank Zeyda

Proceedings of the Abstract State Machines, 2010

2009

Of wlp and CSP.

Steve Dunne

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

2008

Reasoning about Loops in Total and General Correctness.

Steve Dunne, Ian J. Hayes, Andy Galloway

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

A Practical Single Refinement Method for B.

Steve Dunne, Stacey Conroy

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Lifting General Correctness into Partial Correctness is <i>ok</i>.

Steve Dunne, Andy Galloway

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Chorus Angelorum.

Steve Dunne

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Angelic nondeterminism in the unifying theories of programming.

Ana Cavalcanti, Jim Woodcock, Steve Dunne

Formal Aspects Comput., 2006

2005

A Prospective-Value Semantics for the GSL.

Frank Zeyda, Bill Stoddart, Steve Dunne

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Process Refinement in B.

Steve Dunne, Stacey Conroy

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Refinement Laws for Verifying Library Subroutine Adaptation.

Colin J. Fidge, Peter J. Robinson, Steve Dunne

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

Understanding Object-Z Operations as Generalised Substitutions.

Steve Dunne

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Introducing Backward Refinement into B.

Steve Dunne

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Junctive Compositions of specifications in total, general correctness.

Steve Dunne

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

A Theory of Generalised Substitutions.

Steve Dunne

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

Abstract Commands: a Uniform Notation for Specification and Implementation.

Steve Dunne

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness.

Steve Dunne

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

1999

Undefined Expressions and Logic in Z and B.

Bill Stoddart, Steve Dunne, Andy Galloway

Formal Methods Syst. Des., 1999

The Refinement of Event Calculus Models.

Bill Stoddart, Steve Dunne

Proceedings of the Integrated Formal Methods, 1999

The Safe Machine: A New Specification Construct for B.

Steve Dunne

Proceedings of the FM'99 - Formal Methods, 1999

1998

Abstract State Machines: Designing Distributed Systems with State Machines and B.

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998