dblp.uni-trier.dewww.uni-trier.de

Mike Benjamin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)