Articles de journaux

  1. R. St-Denis. A comparison of three solver-aided programming languages: αRby, ProB, and Rosette. Journal of Computer Languages, 77 (November), 2023, 24 pages. doi
  2. M. Routhier and R. St-Denis. A qualitative assessment of αRby in the perspective of the supervisory control theory. International Journal on Software Tools for Technology Transfer, 21 (2), 2019, 121-141. doi
  3. B. Fraikin, M. Frappier, and R. St-Denis. Supervisory control theory with Alloy. Science of Computer Programming, 94 (2), 2014, 217-237. doi
  4. D. Côté and R. St-Denis. Component-based method for the modeling and control of modular production systems. IEEE Transactions on Control Systems Technology, 21 (5), 2013, 1570-1585. doi
  5. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments. International Journal of Systems and Service-Oriented Engineering, 2 (2), 2011, 37-59. doi
  6. H. Bherer, J. Desharnais, and R. St-Denis. Control of parameterized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 19 (2), 2009, 213-265. doi
  7. M. Frappier, F. Gervais, R. Laleau, B. Fraikin, and R. St-Denis. Extending statecharts with process algebra operators. Innovations in Systems and Software Engineering, 4 (3), 2008, 285-292. doi
  8. S. Kerjean, F. Kabanza, R. St-Denis, and S. Thiébaux. Analyzing LTL model checking techniques for plan synthesis and controller synthesis. Electronic Notes in Theoretical Computer Science, 149 (2), 2006, 91-104. doi
  9. H. Diab, F. Koukane, M. Frappier, and R. St-Denis. McROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Information and Software Technology, 47 (3), 2005, 151-166. doi
  10. M. Frappier and R. St-Denis. EB3: an entity-based black-box specification method for information systems. Software and Systems Modeling, 2 (2), 2003, 134-149. doi
  11. R. St-Denis. Designing reactive systems: integration of abstraction techniques into a synthesis procedure. Journal of Systems and Software, 60 (2), 2002, 103-112. doi
  12. 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
  13. 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
  14. F. Kabanza, M. Barbeau, and R. St-Denis. Planning control rules for reactive agents. Artificial Intelligence, 95 (1), 1997, 67-113. doi
  15. 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
  16. 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
  17. 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.
  18. R. St-Denis. Capturing design-related decisions in JSD methodology. Information and Software Technology, 33 (7), 1991, 509-517. doi
  19. 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.
  20. R. St-Denis. LGV: A domain knowledge validation environment. Computers and Graphics, 14 (2), 1990, 311-320. doi
  21. R. St-Denis et P. N. Robillard. Les outils logiciels de conception de systèmes informatiques : concepts de base et problèmes. INFOR, 26 (2), 1988, 127-152.
  22. R. St-Denis. Les apports de l'intelligence artificielle au génie logiciel. ICO, intelligence artificielle et sciences cognitives au Québec, 1 (1), 1988, 16-22.
  23. R. St-Denis. Expert systems for distributed systems. Interfaces in Computing, 3 (3-4), 1985, 217-225. doi
  24. W. Schwab et R. St-Denis. Platerm : la banque de terminologie du système Platon. META, Journal des traducteurs, 25 (3), 1980, 287-302. doi
  25. W. Schwab and R. St-Denis. A data bank experience on the PLATO system. Journal of Computer-Based Instruction, 7 (2), 1980, 41-46.
  26. P. Roy and R. St-Denis. Linear flowchart generator for a structured language. ACM Sigplan Notices, 11 (11), 1976, 58-64. doi

Chapitres de livres

  1. R. St-Denis. Contributions de Noam Chomsky à l'informatique. Hommage à Noam Chomsky : Penseur aux empreintes multiples, collectif sous la direction de Normand Baillargeon, Montréal, Québec: Québec Amérique, 2018, 109-126.
  2. M. Barbeau and R. St-Denis. Beyond the verification approach: the synthesis approach. Real-Time Systems: Modeling, Design and Applications, D. Ionescu and A. Cornell (Eds) Hackensack, New Jersey: World Scientific, 2007, AMAST Series in Computing, vol. 8, 197-218. doi
  3. F. Gervais, M. Frappier, and R. St-Denis. EB3. Software Specification Methods, H. Habrias and M. Frappier (Eds) London, UK: ISTE, 2006, 259-274.
  4. H. Bherer, J. Desharnais, M. Frappier et R. St-Denis. Intégration d'une technique de vérification dans une procédure de synthèse de contrôleurs de systèmes paramétrés. Modélisation des systèmes réactifs (MSR 2003), D. Méry, N. Rezg, and X. Xie (Eds) Paris: Lavoisier, 2003, 553-566.
  5. M. Frappier and R. St-Denis. Specifying a Cleanroom black box using JSD. Software Specification Methods: An Overview Using a Case Study, M. Frappier and H. Habrias (Eds) London, England: Springer, 2001, 191-205. doi
  6. M. Frappier and R. St-Denis. Combining JSD and Cleanroom for object-oriented scenario specification. Behavioral Specifications of Businesses and Systems, H. Kilov, B. Rumpe, and I. Simmonds (Eds) Boston, MA: Kluwer Academic Publishers, 1999, 61-74. doi
  7. 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.
  8. R. St-Denis. Difficultés reliées au développement d'un outil logiciel à base de connaissances d'aide à la conception de systèmes informatiques. Informatique cognitive des organisations, Limonest, France: l'Interdisciplinaire, 1989, 373-384.

Articles dans Lecture Notes in Artificial Intelligence

  1. M. Barati and R. St-Denis. Team formation through preference-based behavior composition. Multiagent System Technologies, 15th German Conference, MATES 2017, Leipzig, Germany, August, 2017, J. O. Berndt, P. Petta, and R. Unland (Eds) Cham, Switzerland: Springer International Publishing, 2017, vol. 10413, 54-71. doi

Articles dans Lecture Notes in Computer Science

  1. B. Fraikin, M. Frappier, and R. St-Denis. Modeling the supervisory control theory with Alloy. Abstract State Machines, Alloy, B, VDM, and Z, Third International Conference, ABZ 2012, Pise, Italy, June, 2012, J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, and E. Riccobene (Eds) Heidelberg: Springer, 2012, vol. 7316, 94-107. doi
  2. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. A metamodel for the design of access-control policy enforcement managers: work in progress. Foundations and Practice of Security, 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May, 2011, J. Garcia-Alfaro and P. Lafourcade (Eds) Heidelberg: Springer, 2012, vol. 6888, 218-226. doi
  3. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. Formal Aspects of Component Software, 7th International Workshop, FACS 2010, Guimarães, Portugal, October, 2010, L. S. Barbosa and M. Lumpe (Eds) Heidelberg: Springer, 2012, vol. 6921, 163-181. doi
  4. D. Côté, B. Fraikin, M. Frappier, and R. St-Denis. A SAT-based approach for the construction of reusable control system components. Formal Methods for Industrial Critical Systems, 16th International Workshop, FMICS 2011, Trento, Italy, August, 2011, G. Salaün and B. Schätz (Eds) Heidelberg: Springer, 2011, vol. 6959, 52-67. doi
  5. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. Web Information Systems Engineering - Wise 2010 Workshops, WISE 2010 International Symposium WISS and International Workshops CISE, MBC, Hong Kong, China, December, 2010, D. K. W. Chiu, L. Bellatreche, H. Sasaki, H. Leung, S.-C. Cheung, H. Hu, and J. Shao (Eds) Heidelberg: Springer, 2011, vol. 6724, 126-141. doi
  6. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems. Automated Technology for Verification and Analysis, Second International Conference, ATVA 2004, Taipei, Taiwan, October/November 2004, F. Wang (Eds) Heidelberg: Springer, 2004, vol. 3299, 487-490. doi
  7. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Investigating discrete controllability with Kleene algebra. Relational and Kleene-Algebraic Methods in Computer Science, 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malenta, Germany, May, 2003, R. Berghammer, B. Möller, and G. Struth (Eds) Heidelberg: Springer, 2004, vol. 3051, 74-85. doi
  8. H. Diab, M. Frappier, and R. St-Denis. A formal definition of function points for automated measurement of B specifications. Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October, C. George and H. Miao (Eds) Heidelberg: Springer, 2002, vol. 2495, 483-494. doi
  9. M. Frappier and R. St-Denis. Towards a computer-aided design of reactive systems. Computer Aided Systems Theory - EUROCAST 2001, 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February, 2001, R. Morero-Díaz, B. Buchberger, and J. L. Freire (Eds) Heidelberg: Springer, 2001, vol. 2178, 421-436. doi

Articles de conférences

  1. M. Barati and R. St-Denis. Behavior composition meets supervisory control. Proc. of 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), Hong Kong, October, 2015, 115-120. doi
  2. M. Barati and R. St-Denis. Optimal control in a value-based automatic behavior composition framework. Proc. of the 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2015), Brno, Czech Republic, October, 2015, 1-7. doi
  3. M. Barati and R. St-Denis. An architecture for semantic service discovery and realizability in cloud computing. Proc. of the 2015 6th International Conference on Network of the Future (NOF 2015), Montreal, September-October, 2015, 6 pages. doi
  4. M. Barati and R. St-Denis. A semantic-based flexible framework for automatic behavior composition. Proc. of 6th International Conference on Internet Technology and Applications (ITA 2015), Wrexham, Wales, UK, September, 2015, 115-120. doi
  5. M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, and R. St-Denis. A four-concern-oriented secure IS development approach. Proc. of 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Seville, Spain, July, 2011, vol. SECRYPT 2011, 464-471.
  6. M. Embe Jiague, R. St-Denis, F. Gervais, and R. Laleau. A BPEL implementation of a security filter. Proc. of the PhD Symposium at the 8th IEEE European Conference on Web Services, Ayia Napa, Cyprus, December, 2010, W. Zimmermann (Eds) Technical Report 2010/04 Institute of Computer Science, University Halle-Wittenberg, 5-8.
  7. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. FACS 2010 Pre-Proceedings, Guimarães, Portugal, October, 2010, M. Lumpe and L. S. Barbosa (Eds) 65-82.
  8. M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, and R. St-Denis. Model-driven engineering of functional security policies. Proc. of the 12th International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, Portugal, June, 2010, vol. Information Systems Analysis and Specification, 2010, 374-379.
  9. M. Embe Jiague, B. Fraikin, and R. St-Denis. A reachability graph construction technique for supervisor synthesis with parameters. Proc. of the 35th Annual Conference of the IEEE Industrial Electronics Society (IECON'09), Porto, Portugal, November, 2009, 4333-4340. doi
  10. H. Bherer, J. Desharnais, and R. St-Denis. On the reachability and nonblocking properties for parameterized discrete event systems. Proc. of the 8th International Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, July, 2006, 113-118. doi
  11. H. Bherer, J. Desharnais, and R. St-Denis. Parameterized discrete event systems under partial observation revisited. Proc. of the 8th IASTED International Conference on Control and Applications, Montréal, Canada, May, 2006, 273-280.
  12. H. Bherer, J. Desharnais, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems under partial observation. Proc. of the 44th IEEE Conference on Decision and Control and European Control Conference 2005 (CDC-ECC'05), Sevilla, December, 2005, 3499-3506. doi
  13. D. Côté, R. St-Denis, and S. Kerjean. Generative programming for programmable logic controllers. Proc. of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania, Italy, September, 2005, vol. II, 741-748. doi
  14. S. Kerjean, F. Kabanza, R. St-Denis, and S. Thiébaux. Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Proc. of the 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt'05), San Franscisco, CA, August, 2005, 83-95.
  15. É. Lacroix and R. St-Denis. Web technologies in support of virtual manufacturing environment. Proc. of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2003), Lisbon, September, 2003, vol. II, 43-49. doi
  16. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Kleene algebra control. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), Malente, Germany, May, 2003, oral presentation.
  17. H. Diab, F. Koukane, M. Frappier, and R. St-Denis. McRose: Functional Size Measurement for Rational Rose RealTime. Proc. of the 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2002), Málaga, Spain, June, 2002, 16-24.
  18. B. Bérubé and R. St-Denis. Web-site design using D2Engine. Proc. of the 5th IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2001), Honolulu, HI, August, 2001, 128-132.
  19. A. Girard and R. St-Denis. The ecology of memes and the development of collective artifacts on the Web. Proc. of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet (SSGRR 2001), L'Aquila, August, 2001, 7 pages.
  20. H. Diab, M. Frappier, and R. St-Denis. Formalizing COSMIC-FFP using ROOM. Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon, June, 2001, 312-318. doi
  21. H. Diab, M. Frappier, and R. St-Denis. A formal definition of COSMIC-FPP for automated measurement of ROOM specifications. Proc. of the 4th European Conference on Software Measurement and ICT Control (FESMA-DASMA 2001), Heidelberg, Germany, May, 2001, 185-196.
  22. M. Frappier and R. St-Denis. Towards a computer aided design of reactive systems. Eight International Conference on Computer Aided Systems Theory and Technology (Eurocast 2001), Las Palmas de Gran Canaria, Spain, February, 2001, 35-37.
  23. R. St-Denis. A formal method for the design of reactive systems. Proc. of the International Conference on Artificial and Computational Intelligence for Decision, Control, and Automation in Engineering and Industrial Applications, Monastir, March, 2000, vol. Software Engineering, 1-6.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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
  29. 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
  30. 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.
  31. 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
  32. 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
  33. 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
  34. 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.
  35. 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
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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
  43. 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.
  44. 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.
  45. 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.
  46. 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
  47. V. Côté et R. St-Denis. Conception d'un atelier pour le développement et le calibrage de modèles d'estimation de coûts de logiciels. Proc. of Canadian Conference on Electrical and Computer Engineering, Montréal, Canada, September, 1989, 950-953.
  48. R. St-Denis. Emphasizing design-related decisions in software environments. 3rd International Workshop on Computer-Aided Software Engineering (CASE '89) Advance Working Papers, London, UK, July, 1989, 169.
  49. V. Côté, D. Léger, and R. St-Denis. Adding an automated structure chart measurer in the Software through Pictures environment. Proc. of the 2nd Annual IDE User Group Meeting, San Francisco, CA, March, 1989, 15 pages.
  50. R. St-Denis. Une extension de la méthode JSD basée sur les connaissances associées au domaine d'application et aux décisions de conception. Proc. of Canadian Conference on Electrical and Computer Engineering, Vancouver, November, 1988, 702-706.
  51. R. St-Denis. Application des techniques de systèmes experts pour la mise en oeuvre d'un outil logiciel iconique. Proceedings of COMPINT '87 (Computer International Conference), Montréal, Canada, November, 1987, 355-359.
  52. R. St-Denis et G. Girard. Quelques réflexions sur la construction d'un système d'exploitation réparti guidé par des connaissances. Actes du premier colloque québécois en informatique cognitive des organisations, Montréal, Canada, Mai, 1987, 108-111.
  53. R. St-Denis and P. N. Robillard. An approach to knowledge-driven system software development. Proc. of the 4th International Workshop on Software Specification and Design, Monterey, CA, April, 1987, 95-99.

Autres 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.
  2. 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.
  3. 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.
  4. 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.
  5. P. N. Robillard and R. St-Denis. How artificial intelligence can enhance software engineering. CIPS Review, 10 (3), 1986, 14-15.
  6. G. Girard et R. St-Denis. Application de la conception hiérarchique aux noyaux des systèmes d'exploitation répartis. ACFAS, Recueil des résumés de communications, vol. 54, Montréal, Canada, mai, 1986, 234.
  7. M. Mazuhelli, D. Fournier et R. St-Denis. Évaluation de la performance d'un système d'exploitation en temps partagé. ACFAS, Recueil des résumés de communications, vol. 54, Montréal, Canada, mai, 1986, 235.
  8. R. St-Denis. COMPOSE: un logiciel de composition de texte. Actes du colloque sur l'informatique appliquée à l'enseignement et à la recherche à l'Université du Québec, Québec, Canada, avril-mai, 1979, 20 pages.

Rapports de recherche

  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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. R. St-Denis et P. N. Robillard. Une approche pour le développement et la maintenance de systèmes informatiques complexes. Département de Génie électrique, École Polytechnique de Montréal, Août, 1986, no. EPM/RT-86/31, 66 pages.
  13. J. A. Ferland, M. Gendreau, R. St-Denis et G. Vanderstraeten Tilquin. Méthode des multiplicateurs. Département d'informatique, Université de Montréal, Janvier, 1977, no. 250, 41 pages.
  14. R. St-Denis. Étude d'un algorithme en programmation mathématique semi-infinie et applications. Département d'informatique, Université de Montréal, Décembre, 1976, no. 256, 190 pages.