Geoff Barrett

According to our database, Geoff Barrett authored at least 14 papers between 1987 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Introducing XCS to Coverage Directed test Generation.

Charalambos Ioannides, Geoff Barrett, Kerstin Eder

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

XCS cannot learn all boolean functions.

Charalambos Ioannides, Geoff Barrett, Kerstin Eder

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Improving XCS performance on overlapping binary problems.

Charalambos Ioannides, Geoff Barrett, Kerstin Eder

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.

Charalambos Ioannides, Geoff Barrett, Kerstin Eder

Proceedings of the Hardware and Software: Verification and Testing, 2010

2002

Achieving maximum performance: a method for the verification of interlocked pipeline control logic.

Kerstin Eder, Geoff Barrett

Proceedings of the 39th Design Automation Conference, 2002

1997

Model Checking in a Microprocessor Design Project.

Geoff Barrett, Anthony McIsaac

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

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

Proceedings of the 33st Conference on Design Automation, 1996

1995

Model Checking in Practice: The T9000 Virtual Channel Processor.

Geoff Barrett

IEEE Trans. Software Eng., 1995

1991

The Fixed Point Theory of Unbounded Non-Determinism.

Geoff Barrett

Formal Aspects Comput., 1991

1989

Formal Methods Applied to a Floating-Point Number System.

Geoff Barrett

IEEE Trans. Software Eng., 1989

Unbounded Nondeterminism in CSP.

A. W. Roscoe, Geoff Barrett

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

The Semantics of Priority and Fairness in occam.

Geoff Barrett

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1987

An Algebraic Transformation System for Occam Programs.

Michael Goldsmith, A. Cox, Geoff Barrett

Proceedings of the STACS 87, 1987

A formal approach to rounding.

Geoff Barrett

Proceedings of the 8th IEEE Symposium on Computer Arithmetic, 1987