Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. - Laurent Fournier; Anatoly Koyfman; Moshe Levinger (DAC, 1999)

Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family. - Laurent Fournier; Yaron Arbetman; Moshe Levinger (DATE, 1999)

FPgen - a test generation framework for datapath floating-point verification. - Merav Aharoni; Sigal Asaf; Laurent Fournier; Anatoly Koyfman; Raviv Nagel (HLDVT, 2003)

Solving the generalized mask constraint for test generation of binary floating point add operation. - Avi Ziv; Laurent Fournier (Theor. Comput. Sci., 2003)

Micro-Architecture Verification for Microprocessors. - Eyal Bin; Laurent Fournier (MTV, 2004)

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. - Allon Adir; Eli Almog; Laurent Fournier; Eitan Marcus; Michal Rimon; Michael Vinov; Avi Ziv (IEEE Des. Test Comput., 2004)

Advanced analysis techniques for cross-product coverage. - Hezi Azatchi; Laurent Fournier; Avi Ziv; Keren Zohar (HLDVT, 2005)

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Laurent Fournier; Yoav Katz; Anatoly Koyfman (HLDVT, 2006)

Advanced Analysis Techniques for Cross-Product Coverage. - Hezi Azatchi; Laurent Fournier; Eitan Marcus; Shmuel Ur; Avi Ziv; Keren Zohar (IEEE Trans. Computers, 2006)

A Framework for the Validation of Processor Architecture Compliance. - Allon Adir; Sigal Asaf; Laurent Fournier; Itai Jaeger; Ofer Peled (DAC, 2007)

Using Virtual Coverage to Hit Hard-To-Reach Events. - Laurent Fournier; Avi Ziv (Haifa Verification Conference, 2007)

Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. - Dorit Baras; Laurent Fournier; Avi Ziv (Haifa Verification Conference, 2008)

Using Bayesian networks and virtual coverage to hit hard-to-reach events. - Shai Fine; Laurent Fournier; Avi Ziv (Int. J. Softw. Tools Technol. Transf., 2009)

Reverse Coverage Analysis. - Ariel J. Birnbaum; Laurent Fournier; Steven Mittermaier; Avi Ziv (Haifa Verification Conference, 2011)

Automatic boosting of cross-product coverage using Bayesian networks. - Dorit Baras; Shai Fine; Laurent Fournier; Dan Geiger; Avi Ziv (Int. J. Softw. Tools Technol. Transf., 2011)

A probabilistic analysis of coverage methods. - Laurent Fournier; Avi Ziv; Ekaterina Kutsy; Ofer Strichman (ACM Trans. Design Autom. Electr. Syst., 2011)

Économie des biens immatériels - Economics of Intangible Goods - Laurent Fournier (CoRR, 2012)

Merchant Sharing Towards a Zero Marginal Cost Economy. - Laurent Fournier (CoRR, 2014)

RFC 7800 - Money Over IP. - Laurent Fournier (CoRR, 2015)