L. Fournier

IEEE Standard for Floating-Point Arithmetic

James Demmel, William Kahan, Guillaume Melquiond, 2008 .

Genesys-Pro: innovations in test program generation for functional processor verification

Allon Adir, Avi Ziv, Laurent Fournier, 2004, IEEE Design & Test of Computers.

Developing an architecture validation suite: application to the PowerPC architecture

L. Fournier, A. Koyfman, L. Levinger, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family

Laurent Fournier, Moshe Levinger, Yaron Arbetman, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

FPgen-A Deep-Knowledge Test-Generator for Floating Point Verification

Sigal Asaf, Laurent Fournier, L. Fournier, 2002 .

Solving the generalized mask constraint for test generation of binary floating point add operation

Avi Ziv, Laurent Fournier, L. Fournier, 2003, Theor. Comput. Sci..

Automatic boosting of cross-product coverage using Bayesian networks

Avi Ziv, Laurent Fournier, Dan Geiger, 2009, International Journal on Software Tools for Technology Transfer.