Journal papers

B. Sarikaya and M. Barbeau, Mobile Agents for the Management of Wireless Local Area Networks, Engineering Transactions - A Research Publication of Mahanakorn University of Technology, Bangkok, Thailand, September-December 1999, Vol. 2 No.3, pp. 165-173.

M. Makungu, M. Barbeau, and R. St-Denis, Synthesis of Controllers of Processes Modeled as Colored Petri Nets, Journal of Discrete Event Dynamic Systems: Theory and Applications, Kluwer Academic Publishers, vol. 9, no. 2, May 1999, pp. 147-169. (PDF)

M. Barbeau, Du modèle client-serveur vers le modèle des composants répartis (The shift from the client/server model to the distributed component model), L'Expertise, 1999. (PDF)

M. Barbeau, F. Kabanza, and R. St-Denis, Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-time Constraints, IEEE Transactions on Automatic Control, vol. 43, no. 11, 1998, pp. 1543-1559. (PDF)

F. Kabanza, M. Barbeau, and R. St-Denis, Planning Control Rules for Reactive Agents, Artificial Intelligence, vol. 95, no. 1, August 1997, pp. 67-113. (PDF)

M. Barbeau, F. Kabanza, and R. St-Denis, An Efficient Algorithm for Controller Synthesis Under Full Observation, Journal of Algorithms, vol. 25, 1997, pp. 144-161. (PDF)

O. Henniger, M. Barbeau, and B. Sarikaya, Specification and Testing of the Behaviour of Network Management Agents Using SDL-92, IEEE/ACM Transactions on Networking, vol. 4, no. 6, 1996, pp. 951-962. (PDF) ,

M. Barbeau, G. Custeau, and R. St-Denis, An Algorithm for Computing the Mask Value of the Supremal Normal Sublangua of a Legal Language, IEEE Transactions on Automatic Control, vol. 40, no. 4, 1995, pp. 699-703. (PDF)

M. Barbeau, G. Custeau, and R. St-Denis, Requirements Engineering and Synthesis of a Control System, Automatic Control Production Systems, vol. 28, no. 1, 1994, pp. 37-52.

B. Sarikaya, V. Koukoulidis, S. Eswara and M. Barbeau, Analysis and Testing of Application Layer Protocols with an Application to FTAM, IEEE Transactions on Communications, vol. 40, no. 1, 1992, pp. 7-11. (PDF)

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), Réseaux et informatique répartie, Éditions HERMES, vol. 2, no. 1, 1992, pp. 7-20.