Lyes Benalycherif

According to our database, Lyes Benalycherif authored at least 3 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

A Semantic Condition for Data Independence and Applications in Hardware Verification.

Lyes Benalycherif, Anthony McIsaac

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

Structured Approach to Property Specification and Verification of HW IP.

Lyes Benalycherif, Anthony McIsaac, Neil Dunlop

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

2005

Combining System Level Modeling with Assertion Based Verification.

Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005