Journal Papers

  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

Conference Papers

  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.