| 2005 |
|---|
| 3 | EE | 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) |
| 1996 |
|---|
| 2 | | Mohamed-Lyes Benalycherif,
Claude Girault:
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.
Application and Theory of Petri Nets 1996: 73-92 |
| 1993 |
|---|
| 1 | | Stanislaw Budkowski,
A. B. Alkhechi,
Mohamed-Lyes Benalycherif,
Piotr Dembinski,
M. Gardie,
E. Lallet,
J. P. Mouchel La Fosse,
Younes Souissi:
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
PSTV 1993: 191-206 |
