The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andy Galloway: [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. Andy Galloway, Bill Stoddart
    An Operational Semantics for ZCCS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:272-0 [Conf]
  3. John A. McDermid, Andy Galloway
    Three Perspectives in Formal Engineering. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:35-54 [Conf]
  4. John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine
    Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:76-0 [Conf]
  5. Andy Galloway, Bill Stoddart
    Integrated formal methods. [Citation Graph (0, 0)][DBLP]
    INFORSID, 1997, pp:549-576 [Conf]
  6. James Blow, Andy Galloway
    Generalised Substitution Language and Differentials. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:396-415 [Conf]
  7. Ian Toyn, Andy Galloway
    Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:104-123 [Conf]
  8. 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]
  9. Steve Dunne, Andy Galloway
    Lifting General Correctness into Partial Correctness is ok. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:215-232 [Conf]

  10. Formal Validation of Hierarchical State Machines against Expectations. [Citation Graph (, )][DBLP]


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


  12. Model-Checking the Linux Virtual File System. [Citation Graph (, )][DBLP]


  13. On the Formal Development of Safety-Critical Software. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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