M. Barbeau Implementation of two approaches for the reliable multicast of mobile agents over wireless networks Fourth InternationalSymposium on Parallel Architectures, Algorithms, and Networks, 1999. (I-SPAN '99) Proceedings, 414-419. ispan99.pdf M. Barbeau Service discovery in a mobile agent API using SLP Global Telecommunications Conference (GLOBECOM '99), 1999, 391-395 vol. 1a. globecom99.pdf P.Sylvestre, M. Barbeau and R. St-Denis, A multimedia on-line assistance system with safe remote control of applications IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking, 1997, 56-61. proms97.pdf M. Makungu, R. St-Denis and M. Barbeau, A colored Petri net-based approach to the design of controllers Proceedings of the 35th IEEE Decision and Control, 1996, 4425-4432 vol.4. dc96.pdf M. Makungu, M. Barbeau and R. St.-Denis, A supervisory control theoretical approach to congestion management International Conference on Communication Technology (ICCT'96), 1996, 857 -861 vol.2 icct96.pdf M. Makungu, M. Barbeau and R. St.-Denis, A colored Petri net-based formal method for the design of control systems Computer Software and Applications Conference (COMPSAC '96), 1996, 28-35 compsac96.pdf C. Enright and M. Barbeau, An object-oriented re-engineering of the remote procedure call, STREAMS and transport layer interface Canadian Conference on Electrical and Computer Engineering, 1995, 602 -605 vol.1. ccece95.pdf M. Barbeau, F. Kabanza and R.St-Denis, A comparison of two synthesis methods for timed discrete-event systems Canadian Conference on Electrical and Computer Engineering, 1995, 809 -812 vol.2 ccece95b.pdf C. Enright and M. Barbeau, An evaluation of the TCT tool for the synthesis of controllers of discrete event systems Canadian Conference on Electrical and Computer Engineering, 1993, 241 -244 vol.1 ccece93.pdf M. Barbeau, B. Sarikaya, S. Eswara and V. Koukoulidis, FTAM test design using an automated test tool Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging? (INFOCOM '89.), 1989, 251 -260 vol.1 infocom89.pdf M. Barbeau and B. Sarikaya, A computer-aided design tool for protocol testing Networks: Evolution or Revolution? Proceedings. Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies (INFOCOM '88), 1988, 86 -95. infocom88.pdf