Journal Papers

  1. M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers of processes modeled as colored Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 9 (2), 1999, 147-169. doi
  2. M. Barbeau, F. Kabanza, and R. St-Denis. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control, 43 (11), 1998, 1543-1559. doi
  3. F. Kabanza, M. Barbeau, and R. St-Denis. Planning control rules for reactive agents. Artificial Intelligence, 95 (1), 1997, 67-113. doi
  4. M. Barbeau, F. Kabanza, and R. St-Denis. An efficient algorithm for controller synthesis under full observation. Journal of Algorithms, 25 (1), 1997, 144-161. doi
  5. M. Barbeau, G. Custeau, and R. St-Denis. An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Transactions on Automatic Control, 40 (4), 1995, 699-703. doi

Conference Papers

  1. H. Diab, M. Frappier, R. St-Denis, and D. Déry. Counting function points from B specifications. International Workshop on Software Measurement (IWSM'99), Lac Supérieur, Canada, September, 1999, 256-279.
  2. S. Labyad, M. Frappier, R. St-Denis et D. Déry. Calcul des points de fonction à partir du diagramme de cas d'utilisation de la notation UML. International Workshop on Software Measurement (IWSM'99), Lac Supérieur, Canada, September, 1999, 216-229.
  3. C. Probst and R. St-Denis. Synthesizing controllers with abstract data types. Proc. of the 18th IASTED International Conference on Modelling, Identification, and Control, Innsbruck, February, 1999, 309-311.
  4. M. Frappier and R. St-Denis. Specifying information systems using input-output traces and JSD entities. Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, October, 1998, vol. TUM-I9820, Technische Universität München, 121-134.
  5. M. Frappier and R. St-Denis. A specification method for cleanroom's black box description. Proc. of the 31st Hawaii International Conference on System Sciences, Kona Coast, HI, January, 1998, vol. VI, 112-121. doi
  6. P. Sylvestre, M. Barbeau, and R. St-Denis. A multimedia on-line assistance system with safe remote control of applications. Proc. of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking, Santiago, Chile, November, 1997, 56-61. doi
  7. M. Barbeau, M. Frappier, F. Kabanza, and R. St-Denis. A supervisory control synthesis case study: The antenna control system. Proc. of 35th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1997, 533-542.
  8. M. Makungu, R. St-Denis, and M. Barbeau. A colored Petri net-based approach to the design of controllers. Proc. of the 35th IEEE Conference on Decision and Control, Kobe, December, 1996, vol. VI, 4425-4432. doi
  9. M. Makungu, R. St-Denis, and M. Barbeau. A colored Petri net-based formal method for the design of control systems. Proc. of the 20th Annual International Computer Software and Applications Conference (COMPSAC'96), Seoul, August, 1996, 28-35. doi
  10. M. Makungu, M. Barbeau, and R. St-Denis. A supervisory control theoretical approach to congestion management. Proc. of the International Conference on Communication Technology (ICCT'96), Beijing, May, 1996, vol. II, 857-861. doi
  11. M. Barbeau, F. Kabanza, and R. St-Denis. Supervisory control synthesis from metric temporal logic specifications. Proc. of 33rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, October, 1995, 96-105.
  12. M. Barbeau, F. Kabanza, and R. St-Denis. A comparison of two synthesis methods for timed discrete-event systems. Proc. of Canadian Conference on Electrical and Computer Engineering, Montréal, September, 1995, vol. II, 809-812. doi
  13. M. Barbeau, F. Kabanza, and R. St-Denis. Synthesizing plant controllers using real-time goals. Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'1995), Montréal, August, 1995, vol. I, 791-798.
  14. M. Barbeau and R. St-Denis. Verification of discrete event systems with the SUCSEDES tool. Proc. of the AMAST workshop on Real-Time Systems and Opération inter-PRC "Modèles et preuves", Bordeaux, Juin, 1995, 9 pages.

Other contributions

  1. M. Barbeau, F. Kabanza, and R. St-Denis. A method for the automatic derivation of controllers handling real-time requirements. Proc. of the Workshop on Application of Formal Methods to System Development: Telecommunications, VLSI and Real-Time Computerized Control Systems, 9th International Scientific Exchanges, Montréal, Canada, October, 1996, 304-313.

Technical Reports

  1. M. Frappier and R. St-Denis. Specifying Information Systems through Structured Input-Output Traces. Département de mathématiques et d'informatique, Université de Sherbrooke, Juin, 1999, no. 233, 19 pages.
  2. F. Kabanza, M. Barbeau, and R. St-Denis. Planning Control Rules for Reactive Agents. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1997, no. 197, 44 pages.
  3. M. Barbeau, F. Kabanza, and R. St-Denis. A Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1997, no. 196, 13 pages.
  4. M. Barbeau, F. Kabanza, and R. St-Denis. An Efficient Algorithm for Controller Synthesis under Full Observation. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1995, no. 166, 21 pages.
  5. M. Barbeau, F. Kabanza, and R. St-Denis. Synthesizing Plant Controllers Using Real-time Goals. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1995, no. 144, 15 pages.