Laurent Fournier

	2011
12		Laurent Fournier, Avi Ziv, Ekaterina Kutsy, Ofer Strichman: A probabilistic analysis of coverage methods. ACM Trans. Design Autom. Electr. Syst. 16(4): 38 (2011)
11		Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger, Avi Ziv: Automatic boosting of cross-product coverage using Bayesian networks. STTT 13(3): 247-261 (2011)
	2009
10		Shai Fine, Laurent Fournier, Avi Ziv: Using Bayesian networks and virtual coverage to hit hard-to-reach events. STTT 11(4): 291-305 (2009)
	2008
9		Dorit Baras, Laurent Fournier, Avi Ziv: Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. Haifa Verification Conference 2008: 53-67
	2007
8		Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled: A Framework for the Validation of Processor Architecture Compliance. DAC 2007: 902-905
7		Laurent Fournier, Avi Ziv: Using Virtual Coverage to Hit Hard-To-Reach Events. Haifa Verification Conference 2007: 104-119
	2006
6		Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar: Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55(11): 1367-1379 (2006)
	2004
5		Eyal Bin, Laurent Fournier: Micro-Architecture Verification for Microprocessors. MTV 2004: 112-113
4		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 Design & Test of Computers 21(2): 84-93 (2004)
	2003
3		Avi Ziv, Laurent Fournier: Solving the generalized mask constraint for test generation of binary floating point add operation. Theor. Comput. Sci. 291(2): 183-201 (2003)
	1999
2		Laurent Fournier, Anatoly Koyfman, Moshe Levinger: Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC 1999: 189-194
1		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: 434-441

Coauthor Index

1	Allon Adir	[4] [8]
2	Eli Almog	[4]
3	Yaron Arbetman	[1]
4	Sigal Asaf	[8]
5	Hezi Azatchi	[6]
6	Dorit Baras	[9] [11]
7	Eyal Bin	[5]
8	Shai Fine	[10] [11]
9	Dan Geiger	[11]
10	Itai Jaeger	[8]
11	Anatoly Koyfman	[2]
12	Ekaterina Kutsy	[12]
13	Moshe Levinger	[1] [2]
14	Eitan Marcus	[4] [6]
15	Ofer Peled	[8]
16	Michal Rimon	[4]
17	Ofer Strichman	[12]
18	Shmuel Ur	[6]
19	Michael Vinov	[4]
20	Avi Ziv	[3] [4] [6] [7] [9] [10] [11] [12]
21	Keren Zohar	[6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page