Z. P. Tao, G.v. Bochmann and R. Dssouli, (1997) "An efficient method for Protocol Conversion", Special Issue of ACM Wireless Networks (WINET).

Z. P. Tao, G.v. Bochmann and R. Dssouli, (1995) "Algorithms for the verification and diagnosis of testing equivalence and reduction relation", International Conference on Networks and Protocols, Tokyo Japan.

Z. P. Tao, G.v. Bochmann and R. Dssouli, (1995) "An efficient method for Protocol Conversion", 4th International Conference on Computer Communications and Networks (IC3N 95), Los Vegas USA, September 1995.

Z. P. Tao, G.v. Bochmann and R. Dssouli, (1995) "A model and an algorithm of subsystem construction", Eight International Conference on Parallel and Distributed Computing Systems, september 20-30, 1995, Orlando, Florida U.S.A.

Zhong Ping Tao, G. Bochmann, R. Dssouli, (1995) "A top-down method of synthesizing optimized protocol converters", 1995 IEEE IPCCC conference (IEEE International Phoenix Conference on Computers and Communications).

A. Khoumsi, G. v. Bochmann and R. Dssouli, (1994) "Prise en compte de la commandabilité et de l'observabilité pour le contrôle et l'extension des systèmes à événements discrets totalement ou partiellement observables", Troisième Conférence Maghrébine en Génie Logiciel et Intelligence Artificielle.

A. Khoumsi, G. v. Bochmann and R. Dssouli, (1994) " On Specifying services and synthesing protocols for real-time applications" Protocol Specification, Testing and Verification XIV, PSTV'94 Symposium, S. Vuong and S. Chanson. Chapman & Hall, pp. 185-200.

A. Khoumsi, G. v. Bochmann and R. Dssouli, (1993) "Dérivation de spécifications de protocole à partir de spécifications de service avec des contraintes temps-réel", Revue Réseaux et Informatique Répartie, Volume 4, No.1, 1994, pp.7-29.

M. Erradi, F. Khendek, R. Dssouli and G. v. Bochmann, (1992) "Dynamic extension of object-oriented distributed system specifications", International Workshop on Feature Interactions in Telecommunications Software Systems, St. Petersburg, Florida, Dec. 3-4, 1992.

M. Erradi, G. v. Bochmann and R. Dssouli, (1992) "A framework for dynamic evolution of object-oriented specifications", IEEE Int. Conf. on Software Maintenance, Orlando, Nov.1992.