Mike Benjamin

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Julia Dushina, Mike Benjamin, Daniel Geist
Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. ASP-DAC (2003)
Julia Dushina, Mike Benjamin, Daniel Geist
Semi-Formal Test Generation with Genevieve. DAC (2001)
Julia Dushina, Mike Benjamin, Daniel Geist
Semi-Formal Test Generation for a Block of Industrial DSP. VTS (2001)
Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
A Study in Coverage-Driven Test Generation. DAC (1999)
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)