Benoit A. Gennart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1988–1997
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICPADS | Performances of the PS2 Parallel Storage and Processing System for Tomographic Image. | Vincent Messerli, Benoit A. Gennart, Roger D. Hersch |
| 1996 | PDPTA | Performance of a Multiprocessor Multidisk CD-ROM Image Server. | Rolf Muralt, Benoit A. Gennart, Bernard Krummenacher, Roger D. Hersch |
| 1993 | DAC | Comparative Design Validation Based on Event Pattern Mappings. | Benoit A. Gennart |
| 1992 | DAC | Validating Discrete Event Simulations Using Event Pattern Mappings. | Benoit A. Gennart, David C. Luckham |
| 1988 | DAC | Verification of VHDL Designs Using VAL. | Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu |