The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Geoff Barrett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Geoff Barrett, Anthony McIsaac
    Model Checking in a Microprocessor Design Project. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:214-225 [Conf]
  2. Françoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, François Pogodalla, Frédéric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Gérard Mas, Geoff Barrett, Christian Berthet
    Functional Verification Methodology of Chameleon Processor. [Citation Graph (0, 0)][DBLP]
    DAC, 1996, pp:421-426 [Conf]
  3. Kerstin Eder, Geoff Barrett
    Achieving maximum performance: a method for the verification of interlocked pipeline control logic. [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:135-140 [Conf]
  4. Geoff Barrett
    Model Checking in Practice - The T9000 Virtual Channel Processor. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:129-147 [Conf]
  5. Geoff Barrett
    The Semantics of Priority and Fairness in occam. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:194-208 [Conf]
  6. A. W. Roscoe, Geoff Barrett
    Unbounded Nondeterminism in CSP. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:160-193 [Conf]
  7. Michael Goldsmith, A. Cox, Geoff Barrett
    An Algebraic Transformation System for Occam Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:481- [Conf]
  8. Geoff Barrett
    The Fixed Point Theory of Unbounded Non-Determinism. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:2, pp:110-128 [Journal]
  9. Geoff Barrett
    Formal Methods Applied to a Floating-Point Number System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:5, pp:611-621 [Journal]
  10. Geoff Barrett
    Model Checking in Practice: The T9000 Virtual Channel Processor. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:69-78 [Journal]

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