Geoff Barrett

Publication Activity (10 Years)

Years Active: 1987-2011
Publications (10 Years): 0

Publications

Charalambos Ioannides, Geoff Barrett, Kerstin Eder
XCS cannot learn all boolean functions. GECCO (2011)
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
Improving XCS performance on overlapping binary problems. IEEE Congress on Evolutionary Computation (2011)
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
Introducing XCS to Coverage Directed test Generation. HLDVT (2011)
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Haifa Verification Conference (2010)
Kerstin Eder, Geoff Barrett
Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC (2002)
Geoff Barrett, Anthony McIsaac
Model Checking in a Microprocessor Design Project. CAV (1997)
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)
Geoff Barrett
Model Checking in Practice: The T9000 Virtual Channel Processor. IEEE Trans. Software Eng. 21 (2) (1995)
Geoff Barrett
Model Checking in Practice - The T9000 Virtual Channel Processor. FME (1993)
Geoff Barrett
The Fixed Point Theory of Unbounded Non-Determinism. Formal Aspects Comput. 3 (2) (1991)
Geoff Barrett
Formal Methods Applied to a Floating-Point Number System. IEEE Trans. Software Eng. 15 (5) (1989)
A. W. Roscoe, Geoff Barrett
Unbounded Nondeterminism in CSP. Mathematical Foundations of Programming Semantics (1989)
Geoff Barrett
The Semantics of Priority and Fairness in occam. Mathematical Foundations of Programming Semantics (1989)
Geoff Barrett
A formal approach to rounding. IEEE Symposium on Computer Arithmetic (1987)
Michael Goldsmith, A. Cox, Geoff Barrett
An Algebraic Transformation System for Occam Programs. STACS (1987)