Geoff Barrett

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