Journal Papers
- 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
- 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
- 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
- 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
- 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.