Lyes Benalycherif

	2009
3		Lyes Benalycherif, Anthony McIsaac: A Semantic Condition for Data Independence and Applications in Hardware Verification. Electr. Notes Theor. Comput. Sci. 250(1): 39-54 (2009)
	2007
2		Lyes Benalycherif, Anthony McIsaac, Neil Dunlop: Structured Approach to Property Specification and Verification of HW IP. IEEE International Workshop on Rapid System Prototyping 2007: 161-166
	2005
1		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

Coauthor Index

1	Anat Dahan	[1]
2	Neil Dunlop	[2]
3	Daniel Geist	[1]
4	Leonid Gluhovsky	[1]
5	Romain Kamdem	[1]
6	Younes Lahbib	[1]
7	Anthony McIsaac	[2] [3]
8	Dmitry Pidan	[1]
9	Gil Shapir	[1]
10	Yaron Wolfsthal (Yaron Wolfstahl)	[1]

Colors in the list of coauthors