Search the dblp DataBase
Geoff Barrett :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Geoff Barrett , Anthony McIsaac Model Checking in a Microprocessor Design Project. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:214-225 [Conf ] 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 ] 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 ] Geoff Barrett Model Checking in Practice - The T9000 Virtual Channel Processor. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:129-147 [Conf ] 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 ] A. W. Roscoe , Geoff Barrett Unbounded Nondeterminism in CSP. [Citation Graph (0, 0)][DBLP ] Mathematical Foundations of Programming Semantics, 1989, pp:160-193 [Conf ] Michael Goldsmith , A. Cox , Geoff Barrett An Algebraic Transformation System for Occam Programs. [Citation Graph (0, 0)][DBLP ] STACS, 1987, pp:481- [Conf ] 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 ] 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 ] 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