| 2000 |
|---|
| 8 | | Mohamed Dâfir Ech-Cherif El Kettani,
Younes Souissi:
Fault Management in a Multicast Routing Environment: Kernel Based Tree Protocol, a Case Study.
MMNS 2000: 117-129 |
| 1993 |
|---|
| 7 | | Younes Souissi:
Towards a Modular Specification and Verification of Protocols within a Layered Architecture.
FORTE 1993: 35-50 |
| 6 | | 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 |
| 1991 |
|---|
| 5 | | Younes Souissi:
Deterministic Systems of Sequential Processes: a class of structured Petri nets.
Applications and Theory of Petri Nets 1991: 406-426 |
| 4 | | Younes Souissi:
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets.
PSTV 1991: 143-158 |
| 1990 |
|---|
| 3 | | Younes Souissi:
On liveness preservation by composition of nets via a set of places.
Applications and Theory of Petri Nets 1990: 277-295 |
| 1989 |
|---|
| 2 | | Younes Souissi,
Gérard Memmi:
Composition of nets via a communication medium.
Applications and Theory of Petri Nets 1989: 457-470 |
| 1988 |
|---|
| 1 | | Younes Souissi,
Nicolas Beldiceanu:
Deterministic Systems of Sequential Processes: Theory and Tools.
Concurrency 1988: 380-400 |
