| 2015 | SMC | Behavior Composition Meets Supervisory Control. | Masoud Barati, Richard St-Denis |
| 2011 | FMICS | A SAT-Based Approach for the Construction of Reusable Control System Components. | Daniel Ct, Benot Fraikin, Marc Frappier, Richard St-Denis |
| 2011 | SECRYPT | A Four-concern-oriented Secure IS Development Approach. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Pierre Konopacki, Rgine Laleau, Jrmy Milhau, Richard St-Denis |
| 2010 | WISE | From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Rgine Laleau, Richard St-Denis |
| 2004 | ATVA | Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. | Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis |
| 2003 | ETFA | Web technologies in support of virtual manufacturing environments. | ric Lacroix, Richard St-Denis |
| 2002 | ICFEM | A Formal Definition of Function Points for Automated Measurement of B Specifications. | Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 2001 | AICCSA | Formalizing COSMIC-FFP Using ROOM. | Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 1996 | COMPSAC | A Colored Petri Net-Based Format Method for the Design of Control Systems. | Mbi Makungu, Richard St-Denis, Michel Barbeau |
| 1995 | IJCAI | Synthesizing Plant Controllers Using Real-time Goals. | Michel Barbeau, Froduald Kabanza, Richard St-Denis |