Laurent Fournier

According to our database, Laurent Fournier authored at least 19 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

RFC 7800 - Money Over IP.

Laurent Fournier

CoRR, 2015

2014

Merchant Sharing Towards a Zero Marginal Cost Economy.

Laurent Fournier

CoRR, 2014

2012

Économie des biens immatériels - Economics of Intangible Goods

Laurent Fournier

CoRR, 2012

2011

A probabilistic analysis of coverage methods.

Laurent Fournier, Avi Ziv, Ekaterina Kutsy, Ofer Strichman

ACM Trans. Design Autom. Electr. Syst., 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

Reverse Coverage Analysis.

Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2011

2009

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

2008

Automatic Boosting of Cross-Product Coverage Using Bayesian Networks.

Dorit Baras, Laurent Fournier, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Using Virtual Coverage to Hit Hard-To-Reach Events.

Laurent Fournier, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2007

A Framework for the Validation of Processor Architecture Compliance.

Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled

Proceedings of the 44th Design Automation Conference, 2007

2006

Advanced Analysis Techniques for Cross-Product Coverage.

Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar

IEEE Trans. Computers, 2006

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms.

Allon Adir, Laurent Fournier, Yoav Katz, Anatoly Koyfman

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Advanced analysis techniques for cross-product coverage.

Hezi Azatchi, Laurent Fournier, Avi Ziv, Keren Zohar

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

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

Micro-Architecture Verification for Microprocessors.

Eyal Bin, Laurent Fournier

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

2003

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

Avi Ziv, Laurent Fournier

Theor. Comput. Sci., 2003

FPgen - a test generation framework for datapath floating-point verification.

Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

1999

Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family.

Laurent Fournier, Yaron Arbetman, Moshe Levinger

Proceedings of the 1999 Design, 1999

Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture.

Laurent Fournier, Anatoly Koyfman, Moshe Levinger

Proceedings of the 36th Conference on Design Automation, 1999