Lyes Benalycherif

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

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