Younes Lahbib

	2007
3		Younes Lahbib, Meriam Kallel, Ayoub Dhouib, Maher Hechkel, Antoine Perrin, Rached Tourki: System on Chips optimization using ABV and automatic generation of SystemC codes. Microprocessors and Microsystems 31(7): 433-444 (2007)
	2005
2		Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib: Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315
1		Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki: An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. Computers & Electrical Engineering 31(4-5): 282-302 (2005)

Coauthor Index

1	Lyes Benalycherif	[2]
2	Mohamed-Lyes Benalycherif	[1]
3	Anat Dahan	[2]
4	Ayoub Dhouib	[3]
5	Daniel Geist	[2]
6	Leonid Gluhovsky	[2]
7	Maher Hechkel	[3]
8	Meriam Kallel	[3]
9	Romain Kamdem	[1] [2]
10	Antoine Perrin	[3]
11	Dmitry Pidan	[2]
12	Gil Shapir	[2]
13	Rached Tourki	[1] [3]
14	Yaron Wolfsthal (Yaron Wolfstahl)	[2]