A formal approach to rounding. - Geoff Barrett (IEEE Symposium on Computer Arithmetic, 1987)

An Algebraic Transformation System for Occam Programs. - Michael Goldsmith; A. Cox; Geoff Barrett (STACS, 1987)

The Semantics of Priority and Fairness in occam. - Geoff Barrett (Mathematical Foundations of Programming Semantics, 1989)

Unbounded Nondeterminism in CSP. - A. W. Roscoe 001; Geoff Barrett (Mathematical Foundations of Programming Semantics, 1989)

Formal Methods Applied to a Floating-Point Number System. - Geoff Barrett (IEEE Trans. Software Eng., 1989)

The Fixed Point Theory of Unbounded Non-Determinism. - Geoff Barrett (Formal Aspects Comput., 1991)

Model Checking in Practice: The T9000 Virtual Channel Processor. - Geoff Barrett (IEEE Trans. Software Eng., 1995)

Functional Verification Methodology of Chameleon Processor. - 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 (DAC, 1996)

Model Checking in a Microprocessor Design Project. - Geoff Barrett; Anthony McIsaac (CAV, 1997)

Achieving maximum performance: a method for the verification of interlocked pipeline control logic. - Kerstin Eder; Geoff Barrett (DAC, 2002)

Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (Haifa Verification Conference, 2010)

Improving XCS performance on overlapping binary problems. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (IEEE Congress on Evolutionary Computation, 2011)

XCS cannot learn all boolean functions. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (GECCO, 2011)

Introducing XCS to Coverage Directed test Generation. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (HLDVT, 2011)