Journal Papers

  1. 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
  2. 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

Book Chapters

  1. 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.
  2. 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
  3. 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

Lecture Notes in Computer Science

  1. 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
  2. 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
  3. 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
  4. 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

Conference Papers

  1. É. 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
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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
  7. 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.
  8. 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.
  9. 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.