Christian Berthet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–2002
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | DAC | Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry. | Christian Berthet |
| 1996 | DAC | Functional Verification Methodology of Chameleon Processor. | Franoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, Franois Pogodalla, Frdric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Grard Mas, Geoff Barrett, Christian Berthet |
| 1990 | CAV | Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. | Olivier Coudert, Jean Christophe Madre, Christian Berthet |
| 1990 | ICCD | New ideas on symbolic manipulations of finite state machines. | Christian Berthet, Olivier Coudert, Jean Christophe Madre |