Articles de journaux

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

Articles de conférences

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