The SCEAS System
Navigation Menu

Search the dblp DataBase


Steve Dunne: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Colin J. Fidge, Peter Robinson, Steve Dunne
    Refinement Laws for Verifying Library Subroutine Adaptation. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:224-232 [Conf]
  2. Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
    Abstract State Machines: Designing Distributed Systems with State Machines and B. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:226-242 [Conf]
  3. Steve Dunne
    Chorus Angelorum. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:19-33 [Conf]
  4. Steve Dunne
    The Safe Machine: A New Specification Construct for B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:472-489 [Conf]
  5. Bill Stoddart, Steve Dunne
    The Refinement of Event Calculus Models. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:151-169 [Conf]
  6. Steve Dunne
    Understanding Object-Z Operations as Generalised Substitutions. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:328-342 [Conf]
  7. Steve Dunne
    Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. [Citation Graph (0, 0)][DBLP]
    IWFM, 2001, pp:- [Conf]
  8. Steve Dunne
    A Theory of Generalised Substitutions. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:270-290 [Conf]
  9. Steve Dunne
    Introducing Backward Refinement into B. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:178-196 [Conf]
  10. Steve Dunne, Stacey Conroy
    Process Refinement in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:45-64 [Conf]
  11. Frank Zeyda, Bill Stoddart, Steve Dunne
    A Prospective-Value Semantics for the GSL. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:187-202 [Conf]
  12. Steve Dunne
    Junctive Compositions of specifications in total, general correctness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  13. Ana Cavalcanti, Jim Woodcock, Steve Dunne
    Angelic nondeterminism in the unifying theories of programming. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:288-307 [Journal]
  14. Bill Stoddart, Steve Dunne, Andy Galloway
    Undefined Expressions and Logic in Z and B. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:3, pp:201-215 [Journal]
  15. Steve Dunne
    Abstract Commands: a Uniform Notation for Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  16. Steve Dunne, Andy Galloway
    Lifting General Correctness into Partial Correctness is ok. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:215-232 [Conf]

  17. A Practical Single Refinement Method for B. [Citation Graph (, )][DBLP]

  18. Reactivising Classical B. [Citation Graph (, )][DBLP]

  19. Preference and Non-deterministic Choice. [Citation Graph (, )][DBLP]

  20. Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP]

  21. Reasoning about Loops in Total and General Correctness. [Citation Graph (, )][DBLP]

  22. Of wlp and CSP. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002