Bernard Plessier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1990–1994
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICCAD | Symmetry detection and dynamic variable ordering of decision diagrams. | Shipra Panda, Fabio Somenzi, Bernard Plessier |
| 1993 | DAC | Algorithms for Approximate FSM Traversal. | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi |
| 1992 | ICCAD | Verification of systems containing counters. | Enrico Macii, Bernard Plessier, Fabio Somenzi |
| 1991 | ICCAD | Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. | Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
| 1991 | ICCAD | Variable Ordering and Selection for FSM Traversal. | Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
| 1990 | ICCAD | ATPG Aspects of FSM Verification. | Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi |