Verification of VHDL Designs Using VAL. - Larry M. Augustin; Benoit A. Gennart; Youm Huh; David C. Luckham; Alec G. Stanculescu (DAC, 1988)

Hardware design and simulation in VAL/VHDL. - Larry M. Augustin; David C. Luckham; Benoit A. Gennart; Youm Huh; Alec G. Stanculescu (Kluwer, 1991)

Validating Discrete Event Simulations Using Event Pattern Mappings. - Benoit A. Gennart; David C. Luckham (DAC, 1992)

Comparative Design Validation Based on Event Pattern Mappings. - Benoit A. Gennart (DAC, 1993)

Multimedia performance behavior of the GigaView parallel image server. - Benoit A. Gennart; Roger D. Hersch (MSS, 1994)

Comparing Multimedia Storage Architectures. - Benoit A. Gennart; Roger D. Hersch (ICMCS, 1995)

Geographical Information System Application of Multiprocessor Multidisk Image Servers. - Benoit A. Gennart; Roger D. Hersch (PARCO, 1995)

A Probabilistic Multi-cycle Model for Serving Continuous Streams from Disks. - Freddy Deppner; Benoit A. Gennart; Roger D. Hersch (ICMCS, 1996)

Performance of a Multiprocessor Multidisk CD-ROM Image Server. - Rolf Muralt; Benoit A. Gennart; Bernard Krummenacher; Roger D. Hersch (PDPTA, 1996)

Computer-Assisted Generation of PVM/C++ Programs Using CAP. - Benoit A. Gennart; Joaquín Tárraga Giménez; Roger D. Hersch (PVM, 1996)

Performances of Multiprocessor Multidisk Architectures for Continuous Media Storage. - Benoit A. Gennart; Vincent Messerli; Roger D. Hersch (Storage and Retrieval for Image and Video Databases (SPIE), 1996)

The Giga View Multiprocessor Multidisk Image Server. - Benoit A. Gennart; Bernard Krummenacher; L. Landron; Roger D. Hersch; B. Saugy; J.-C. Hadorn; D. Müller (Sci. Program., 1996)

Performances of the PS2 Parallel Storage and Processing System for Tomographic Image. - Vincent Messerli; Benoit A. Gennart; Roger D. Hersch (ICPADS, 1997)

Performance of CAP-Specified Linear Algebra Algorithms. - Marc Mazzariol; Benoit A. Gennart; Vincent Messerli; Roger D. Hersch (PVM/MPI, 1997)

WebSteps, a Tool for Synthesizing and Managing Web-based Business Processes. - Jürgen Coppens; Oscar Figueiredo; Roger D. Hersch; Benoit A. Gennart; André-René Probst; Maria Wentland Forte; Frédéric Vianin (WebNet, 1997)

Synthesizing Parallel Imaging Applications Using the CAP Computer-Aided Parallelization Tool. - Benoit A. Gennart; Marc Mazzariol; Vincent Messerli; Roger D. Hersch (Storage and Retrieval for Image and Video Databases (SPIE), 1998)

Computer-aided parallelization of continuous media applications: the 4D beating heart slice server. - Joaquín Tárraga Giménez; Vincent Messerli; Oscar Figueiredo; Benoit A. Gennart; Roger D. Hersch (ACM Multimedia (1), 1999)

Parallelizing I/O-intensive image access and processing applications. - Vincent Messerli; Oscar Figueiredo; Benoit A. Gennart; Roger D. Hersch (IEEE Concurr., 1999)