 | 2002 |
|---|
| 10 |       | Kerstin Eder,
Geoff Barrett:
Achieving maximum performance: a method for the verification of interlocked pipeline control logic.
DAC 2002: 135-140 |
| 1997 |
|---|
| 9 | | Geoff Barrett,
Anthony McIsaac:
Model Checking in a Microprocessor Design Project.
CAV 1997: 214-225 |
| 1996 |
|---|
| 8 | | 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.
DAC 1996: 421-426 |
| 1995 |
|---|
| 7 | | Geoff Barrett:
Model Checking in Practice: The T9000 Virtual Channel Processor.
IEEE Trans. Software Eng. 21(2): 69-78 (1995) |
| 1993 |
|---|
| 6 | | Geoff Barrett:
Model Checking in Practice - The T9000 Virtual Channel Processor.
FME 1993: 129-147 |
| 1991 |
|---|
| 5 |  | Geoff Barrett:
The Fixed Point Theory of Unbounded Non-Determinism.
Formal Asp. Comput. 3(2): 110-128 (1991) |
| 1989 |
|---|
| 4 | | A. W. Roscoe,
Geoff Barrett:
Unbounded Nondeterminism in CSP.
Mathematical Foundations of Programming Semantics 1989: 160-193 |
| 3 | | Geoff Barrett:
The Semantics of Priority and Fairness in occam.
Mathematical Foundations of Programming Semantics 1989: 194-208 |
| 2 | | Geoff Barrett:
Formal Methods Applied to a Floating-Point Number System.
IEEE Trans. Software Eng. 15(5): 611-621 (1989) |
| 1987 |
|---|
| 1 | | Michael Goldsmith,
A. Cox,
Geoff Barrett:
An Algebraic Transformation System for Occam Programs.
STACS 1987: 481 |
