Laurent Fournier

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