Articles de journaux

  1. M. Barbeau, G. Custeau, and R. St-Denis. Requirements engineering and synthesis of a control system. Automatic Control Production Systems, 28 (1), 1994, 37-52.
  2. R. St-Denis. Capturing design-related decisions in JSD methodology. Information and Software Technology, 33 (7), 1991, 509-517. doi
  3. M. Frappier et R. St-Denis. Transformation partielle de spécifications sous REFINE. ICO, intelligence artificielle et sciences cognitives au Québec, 3 (3), 1991, 19-31.
  4. R. St-Denis. LGV: A domain knowledge validation environment. Computers and Graphics, 14 (2), 1990, 311-320. doi

Chapitres de livres

  1. R. St-Denis. Validation de protocoles par exécution visuelle de leur spécification. CFIP'91, Ingénierie des protocoles, Paris, France: Hermès, 1991, 31-50.

Articles de conférences

  1. M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers with colored Petri nets. Proc. of 32nd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1994, 709-718.
  2. 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. Proc. of BMW'94 - Méthodes mathématiques pour la synthèse des systèmes informatiques, Bordeaux, Juin, 1994, 67-78.
  3. M. Barbeau and R. St-Denis. A rigorous approach for the specification and development of process-control systems. Proc. of the Sixth International Conference on Software Engineering and its Applications, Paris, November, 1993, 599-608.
  4. M. Barbeau, G. Custeau, and R. St-Denis. On the computation of normal languages. Proc. of 31st Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1993, 928-937.
  5. V. Côté and R. St-Denis. Bridging the gap between CASE tools and project management through a decision support system based on metrics. Proc. of the 25th Hawaii International Conference on System Sciences, Kauai, HI, January, 1992, vol. III, 300-309. doi
  6. V. Côté and R. St-Denis. A dynamic measurement process for software cost estimation. Proc. of the Fourth International Conference on Software Engineering and its Applications, Toulouse, December, 1991, 803-816.
  7. R. St-Denis. Système d'aide à la décision dans le domaine du génie logiciel. Actes du colloque ICO'91, Montréal, Canada, Avril, 1991, 120-126.
  8. V. Côté and R. St-Denis. Synergy between software metrics and cooperating human groups through software development environments. Fourth International Workshop on Computer-Aided Software Engineering (CASE '90) Advance Working Papers, Irvine, CA, December, 1990, 125.
  9. R. St-Denis. Specification by example using graphical animation and a production system. Proc. of the 23rd Hawaii International Conference on System Sciences, Kailua-Kona, HI, January, 1990, vol. II, 237-246. doi

Autres contributions

  1. V. Côté and R. St-Denis. Mais qu'est-ce que l'intelligence artificielle et le génie logiciel?. Intelligence artificielle et sciences cognitives au Québéc (ICO), 3 (3), 1991, 5-6.
  2. M. Frappier et R. St-Denis. Transformation de spécifications de domaines d'application en structures d'entité sous REFINE. ACFAS, Recueil des résumés de communications, vol. 59, Sherbrooke, Canada, mai, 1991, 357.
  3. R. St-Denis et M. Janta-Polczynski. À propos de l'acquisition des connaissances... Introduction au numéro thématique. Intelligence artificielle et sciences cognitives au Québéc (ICO), 2 (6), 1990, 5-8.

Rapports de recherche

  1. 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. Département de mathématiques et d'informatique, Université de Sherbrooke, Mars, 1994, no. 128, 12 pages.
  2. M. Barbeau, G. Custeau, and R. St-Denis. An Algorithm for Computing the Mask Value of the Supremal Normal Sublanguage of a Legal Language. Département de mathématiques et d'informatique, Université de Sherbrooke, Janvier, 1994, no. 125, 11 pages.
  3. M. Barbeau, G. Custeau, and R. St-Denis. An Algorithm for Computing the Projection of the Largest Recognizable Sublanguage of a Legal Language. Département de mathématiques et d'informatique, Université de Sherbrooke, Avril, 1993, no. 111, 11 pages.
  4. M. Barbeau, G. Custeau, and R. St-Denis. A Synthesis-based Solution to a Mine Drainage Control System Problem. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1992, no. 106, 18 pages.
  5. B. Bérubé, B. Lacasse et R. St-Denis. Application de la méthode JSD à la conception de système d'information. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1991, no. 79, 43 pages.
  6. V. Côté et R. St-Denis. Méthode d'évaluation de logiciels. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1990, no. 78, 58 pages.