Journal Papers

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

Book Chapters

  1. 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
  2. F. Gervais, M. Frappier, and R. St-Denis. EB3. Software Specification Methods, H. Habrias and M. Frappier (Eds) London, UK: ISTE, 2006, 259-274.

Conference Papers

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