Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Mike Benjamin

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aspdac/DushinaBG03
- ask others
Julia Dushina, Mike Benjamin, Daniel Geist: Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. ASP-DAC 2003: 699-704
2001
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/DushinaBG01
- ask others
Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vts/DushinaBG01
- ask others
Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/BenjaminGHMSW99
- ask others
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
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/CasaubieilhMBBPRBEMBB96
- ask others
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