The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bill Stoddart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Bill Stoddart, Dominique Cansell, Frank Zeyda
    Modelling and Proof Analysis of Interrupt Driven Scheduling. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:155-170 [Conf]
  3. Andy Galloway, Bill Stoddart
    An Operational Semantics for ZCCS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:272-0 [Conf]
  4. Bill Stoddart, Steve Dunne
    The Refinement of Event Calculus Models. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:151-169 [Conf]
  5. Andy Galloway, Bill Stoddart
    Integrated formal methods. [Citation Graph (0, 0)][DBLP]
    INFORSID, 1997, pp:549-576 [Conf]
  6. Bill Stoddart, Frank Zeyda, Robert Lynas
    A Design-Based Model of Reversible Computation. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:63-83 [Conf]
  7. Antonis Papatsaras, Bill Stoddart
    Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:458-476 [Conf]
  8. Bill Stoddart
    An Execution Architecture for GSL. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:394-413 [Conf]
  9. Bill Stoddart
    An Introduction to the Event Calculus. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:10-34 [Conf]
  10. Bill Stoddart
    The Specification and Refinement of an Environmental Model. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:24-41 [Conf]
  11. Bill Stoddart, Frank Zeyda
    Expression Transformers in B-GSL. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:197-215 [Conf]
  12. Frank Zeyda, Bill Stoddart, Steve Dunne
    A Prospective-Value Semantics for the GSL. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:187-202 [Conf]
  13. Bill Stoddart, Peter J. Knaggs
    Type Interference in Stack Based Languages. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:4, pp:289-298 [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. Preference and Non-deterministic Choice. [Citation Graph (, )][DBLP]


Search in 0.083secs, Finished in 0.083secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002