Mike Benjamin

	2001
4		Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622
3		Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137
	1999
2		Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal: A Study in Coverage-Driven Test Generation. DAC 1999: 970-975
	1996
1		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

Coauthor Index

1	Geoff Barrett	[1]
2	Mike Bartley	[1]
3	Mohamed Belhadj	[1]
4	Christian Berthet	[1]
5	Françoise Casaubieilh	[1]
6	Julia Dushina	[3] [4]
7	Jeremy Eggleton	[1]
8	Daniel Geist	[2] [3] [4]
9	Alan Hartman	[2]
10	Gérard Mas	[1] [2]
11	Anthony McIsaac	[1]
12	François Pogodalla	[1]
13	Frédéric Rocheteau	[1]
14	Ralph Smeets	[2]
15	Yaron Wolfsthal (Yaron Wolfstahl)	[2]