Laurent Fournier

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Wireless Access Networks

Trusted Third Party

Information Goods

Top Venues

Publications

Laurent Fournier
RFC 7800 - Money Over IP. CoRR (2015)
Laurent Fournier
Merchant Sharing Towards a Zero Marginal Cost Economy. CoRR (2014)
Laurent Fournier
Économie des biens immatériels - Economics of Intangible Goods CoRR (2012)
Laurent Fournier, Avi Ziv, Ekaterina Kutsy, Ofer Strichman
A probabilistic analysis of coverage methods. ACM Trans. Design Autom. Electr. Syst. 16 (4) (2011)
Ariel Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv
Reverse Coverage Analysis. Haifa Verification Conference (2011)
Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger, Avi Ziv
Automatic boosting of cross-product coverage using Bayesian networks. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Shai Fine, Laurent Fournier, Avi Ziv
Using Bayesian networks and virtual coverage to hit hard-to-reach events. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Dorit Baras, Laurent Fournier, Avi Ziv
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. Haifa Verification Conference (2008)
Laurent Fournier, Avi Ziv
Using Virtual Coverage to Hit Hard-To-Reach Events. Haifa Verification Conference (2007)
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled
A Framework for the Validation of Processor Architecture Compliance. DAC (2007)
Allon Adir, Laurent Fournier, Yoav Katz, Anatoly Koyfman
DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms. HLDVT (2006)
Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55 (11) (2006)
Hezi Azatchi, Laurent Fournier, Avi Ziv, Keren Zohar
Advanced analysis techniques for cross-product coverage. HLDVT (2005)
Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Des. Test Comput. 21 (2) (2004)
Eyal Bin, Laurent Fournier
Micro-Architecture Verification for Microprocessors. MTV (2004)
Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel
FPgen - a test generation framework for datapath floating-point verification. HLDVT (2003)
Avi Ziv, Laurent Fournier
Solving the generalized mask constraint for test generation of binary floating point add operation. Theor. Comput. Sci. 291 (2) (2003)
Laurent Fournier, Yaron Arbetman, Moshe Levinger
Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family. DATE (1999)
Laurent Fournier, Anatoly Koyfman, Moshe Levinger
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC (1999)