Papers in conferences

- 1999

M. Barbeau, Modeling and Comparison of Bandwidth Usage of three Migration Strategies of Mobile Agents, 1st International Workshop on Mobile Agents for Telecommunications Applications (MATA'99), October 1999, Ottawa, Canada.

M. Barbeau Implementation of two approaches for the reliable multicast of mobile agents over wireless networks, Fourth International Symposium on Parallel Architectures, Algorithms, and Networks, 1999. (I-SPAN '99) Proceedings, 414-419. (PDF)

M. Barbeau Service discovery in a mobile agent API using SLP, Global Telecommunications Conference (GLOBECOM '99), 1999, 391-395 vol. 1a. (PDF)

- 1997

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. (PDF)

M. Barbeau, M. Frappier, F. Kabanza and R. St-Denis. A Supervisory Control Synthesis Case Study: The Antenna Control System, Thirty-Fifth Annual Allerton Conference on Communication, Control, and Computing, Monticello, Illinois, September 29 - October 1, 1997, pp. 533-542. (PDF)

H. Hmida and M. Barbeau, Management of TNCs by means of the Simple Network Management Protocol, 16th Annual ARRL and TAPR Digital Communications Conference, Baltimore, Maryland, October 1997, pp 57-67. (PDF)

M. Normandeau, S. Bernier, J.-M. Desbiens, and M. Barbeau, WATOO: An Internet access software to a satellite tracking station, AMSAT-NA Space Symposium and Annual Meeting, Toronto, October 1997, pp. 24-28. (PDF)

M. Barbeau, A student project in the field of satellite tracking, 2nd IEEE Real-time Education Workshop, Montreal, June 1997. (PDF)

- 1996

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. (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 (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 (PDF)

M. Barbeau, F. Kabanza and R. St-Denis, A Method for the Automatic Derivation of Controllers Handling Real-Time Requirements, Colloque Application of Formal Methods to System Development: Telecommunications, VLSI and Real-Time Computerized Systems, Workshop held as part of the 9th international scientific exchanges sponsered by the Jacques Cartier Centre, Montreal, October 2-4 1996.

M. Normandeau and M. Barbeau, Object-Oriented Modeling of a Satellite Tracking Software, ARRL and TAPR Digital Communications Conference, Seattle, September, 1996, pp. 59-63. (best technical/theory oriented paper by a student).

- 1995

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. (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 (PDF)

M. Barbeau, F. Kabanza and R. St-Denis, Supervisory Control Synthesis from Metric Temporal Logic Specifications, Proceedings of Thirty-third Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, Septembre 1995, pp. 96-105.

M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing Plant Controllers Using Real-Time Goals, Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), pp. 791-798, Montreal, August 1995. (PDF)

M. Barbeau and R. St-Denis, Verification of Discrete Event Systems with the SUCSEDES Tool, Proc. of AMAST workshop on Real-Time Systems (Models and Proofs), Bordeaux, June 1995, 9 pages.

M. Barbeau and B. Sarikaya, An Approach to Conformance Testing of MIB Implementations, IFIP/IEEE International Symposium on Integrated Network Management, Santa Barbara, May 1995.

- 1994

M. Makungu, M. Barbeau and R. St-Denis, Synthesis of Controllers with Colored Petri Nets, Proceedings of Thirty-second Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, September 1994, 709-718.

L. Beaudoin et M. Barbeau, Analyse et conception par objets de référentiels dans le domaine de la gestion de réseaux (Object-oriented analysis and design of repositories in the field of network management), Colloquium on Object-Orientation in Databases and Software Engineering, The 62nd Congress of l'Association Canadienne Francaise pour l'Avancement des Sciences (ACFAS), Montréal, Québec, 1994.

J.-M. Palmier, M. Makungu, F. E. Agapi, M. Barbeau and R. St-Denis, An Introduction to a Synchronized Petri Net Based Tool for the Synthesis of Supervisors of Discrete Event Systems, Actes du colloque sur les Méthodes mathématiques pour la synthèse des systèmes informatiques, The 62nd Congress of l'Association Canadienne Francaise pour l'Avancement des Sciences (ACFAS), Montréal, mai 1994.

- 1993

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 (PDF)

M. Barbeau, G. Custeau and R. St-Denis, On the Computation of Normal Languages, Proceedings of Thirty-first Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, Septembre 1993, pp. 928-937.

M. Barbeau and R. St-Denis, A Rigorous Approach for the Specification and Development of Process-Control Systems, Proceedings of Sixth International Conference on Software Engineering and its Applications, Paris, Novembre 1993, pp. 599-608.

M. Barbeau and G. v. Bochmann, A Subset of Lotos with the Computational Power of Place/Transition-nets, in: M. A. Marsan (Ed.), Applications and Theory of Petri Nets 1993, LNCS 691, Springer-Verlag, 1993, pp. 49-68. (PDF)

- 1992

M. Barbeau, P. de Saqui-Sannes et G. v. Bochmann, Conception et spécification par objets du contrôle centralisé d'un système de transmission (Object-oriented design and specification of centralized control of a transmission system), Deuxième conférence maghrébine en génie logiciel et intelligence artificielle, Tunis, Avril 1992, pp. 191-204.

M. Barbeau and G. v. Bochmann, The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach, in: K. G. Larsen, A. Skou (Eds.), Computer Aided Verification, Proceedings 1991, Springer-Verlag, LNCS 575, 1992, pp. 103-113. (PDF)

- 1991

M. Barbeau and G. v. Bochmann, Extension of the Karp and Miller Procedure to Lotos Specifications, Computer Aided Verification'90, ACM/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 103-119; et Springer-Verlag, LNCS 531, pp. 333-342. (PDF)

- 1989

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 (PDF)

- 1988

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. (PDF)