The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Goldsmith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Goldsmith
    Operational Semantics for Fun and Profit. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:265-274 [Conf]
  2. Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin
    Watchdog Transformations for Property-Oriented Model-Checking. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:600-616 [Conf]
  3. Michael Goldsmith, Irfan Zakiuddin
    Critical Systems Validation and Verification with CSP and FDR. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:243-250 [Conf]
  4. Michael Goldsmith
    Challenges to Process-Algebraic Property-Checking. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:273-278 [Conf]
  5. Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao
    Bootstrapping multi-party ad-hoc security. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:369-375 [Conf]
  6. Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
    Exploiting Empirical Engagement in Authentication Protocol Design. [Citation Graph (0, 0)][DBLP]
    SPC, 2005, pp:119-133 [Conf]
  7. Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin
    Authentication for Pervasive Computing. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:116-129 [Conf]
  8. Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
    A Methodology for Model-Checking Ad-hoc Networks. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:181-196 [Conf]
  9. Michael Goldsmith, A. Cox, Geoff Barrett
    An Algebraic Transformation System for Occam Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:481- [Conf]
  10. A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood
    Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:133-152 [Conf]
  11. Nick Moffat, Michael Goldsmith
    Assumption-Commitment Support for CSP Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:121-137 [Journal]

  12. A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. [Citation Graph (, )][DBLP]


  13. Requirements and Concepts for Information Assurance and Pervasive Adaptation Co-design. [Citation Graph (, )][DBLP]


  14. Beyond Mobility : What Next After CSP/pi? [Citation Graph (, )][DBLP]


  15. Preface. [Citation Graph (, )][DBLP]


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