Geoff Barrett

	2011
14		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: XCS cannot learn all boolean functions. GECCO 2011: 1283-1290
13		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: Improving XCS performance on overlapping binary problems. IEEE Congress on Evolutionary Computation 2011: 1420-1427
	2010
12		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Haifa Verification Conference 2010: 112-128
	2002
11		Kerstin Eder, Geoff Barrett: Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC 2002: 135-140
	1997
10		Geoff Barrett, Anthony McIsaac: Model Checking in a Microprocessor Design Project. CAV 1997: 214-225
	1996
9		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
8		Geoff Barrett: Model Checking in Practice: The T9000 Virtual Channel Processor. IEEE Trans. Software Eng. 21(2): 69-78 (1995)
	1993
7		Geoff Barrett: Model Checking in Practice - The T9000 Virtual Channel Processor. FME 1993: 129-147
	1991
6		Geoff Barrett: The Fixed Point Theory of Unbounded Non-Determinism. Formal Asp. Comput. 3(2): 110-128 (1991)
	1989
5		A. W. Roscoe, Geoff Barrett: Unbounded Nondeterminism in CSP. Mathematical Foundations of Programming Semantics 1989: 160-193
4		Geoff Barrett: The Semantics of Priority and Fairness in occam. Mathematical Foundations of Programming Semantics 1989: 194-208
3		Geoff Barrett: Formal Methods Applied to a Floating-Point Number System. IEEE Trans. Software Eng. 15(5): 611-621 (1989)
	1987
2		Geoff Barrett: A formal approach to rounding. IEEE Symposium on Computer Arithmetic 1987: 247-254
1		Michael Goldsmith, A. Cox, Geoff Barrett: An Algebraic Transformation System for Occam Programs. STACS 1987: 481

Coauthor Index

1	Mike Bartley	[9]
2	Mohamed Belhadj	[9]
3	Mike Benjamin	[9]
4	Christian Berthet	[9]
5	Françoise Casaubieilh	[9]
6	A. Cox	[1]
7	Kerstin Eder	[11] [12] [13] [14]
8	Jeremy Eggleton	[9]
9	Michael Goldsmith	[1]
10	Charalambos Ioannides	[12] [13] [14]
11	Gérard Mas	[9]
12	Anthony McIsaac	[9] [10]
13	François Pogodalla	[9]
14	Frédéric Rocheteau	[9]
15	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page