Mohamed-Lyes Benalycherif

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

Collaborative distances:

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

2005

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC.

Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki

Comput. Electr. Eng., 2005

1996

Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.

Mohamed-Lyes Benalycherif, Claude Girault

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1993

Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.

Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi

Proceedings of the Protocol Specification, 1993