Younes Souissi

According to our database, Younes Souissi authored at least 8 papers between 1988 and 2000.

Collaborative distances:

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

2000

Fault Management in a Multicast Routing Environment: Kernel Based Tree Protocol, a Case Study.

Mohamed Dafir Ech-Cherif El Kettani, Younes Souissi

Proceedings of the Managing QoS in Multimedia Networks and Services, IEEE/IFIP TC6, 2000

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

Towards a Modular Specification and Verification of Protocols within a Layered Architecture.

Younes Souissi

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1991

A Modular Approach for the Validation of Communication Protocols Using FIFO Nets.

Younes Souissi

Proceedings of the Protocol Specification, 1991

Deterministic Systems of Sequential Processes: a class of structured Petri nets.

Younes Souissi

Proceedings of the Advances in Petri Nets 1993, 1991

1990

On liveness preservation by composition of nets via a set of places.

Younes Souissi

Proceedings of the Advances in Petri Nets 1991, 1990

1989

Composition of nets via a communication medium.

Younes Souissi, Gérard Memmi

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

Deterministic Systems of Sequential Processes: Theory and Tools.

Younes Souissi, Nicolas Beldiceanu

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988