Journal Papers

  1. B. Fraikin, M. Frappier, and R. St-Denis. Supervisory control theory with Alloy. Science of Computer Programming, 94 (2), 2014, 217-237. doi
  2. D. Côté and R. St-Denis. Component-based method for the modeling and control of modular production systems. IEEE Transactions on Control Systems Technology, 21 (5), 2013, 1570-1585. doi
  3. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments. International Journal of Systems and Service-Oriented Engineering, 2 (2), 2011, 37-59. doi

Lecture Notes in Computer Science

  1. B. Fraikin, M. Frappier, and R. St-Denis. Modeling the supervisory control theory with Alloy. Abstract State Machines, Alloy, B, VDM, and Z, Third International Conference, ABZ 2012, Pise, Italy, June, 2012, J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, and E. Riccobene (Eds) Heidelberg: Springer, 2012, vol. 7316, 94-107. doi
  2. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. A metamodel for the design of access-control policy enforcement managers: work in progress. Foundations and Practice of Security, 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May, 2011, J. Garcia-Alfaro and P. Lafourcade (Eds) Heidelberg: Springer, 2012, vol. 6888, 218-226. doi
  3. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. Formal Aspects of Component Software, 7th International Workshop, FACS 2010, Guimarães, Portugal, October, 2010, L. S. Barbosa and M. Lumpe (Eds) Heidelberg: Springer, 2012, vol. 6921, 163-181. doi
  4. D. Côté, B. Fraikin, M. Frappier, and R. St-Denis. A SAT-based approach for the construction of reusable control system components. Formal Methods for Industrial Critical Systems, 16th International Workshop, FMICS 2011, Trento, Italy, August, 2011, G. Salaün and B. Schätz (Eds) Heidelberg: Springer, 2011, vol. 6959, 52-67. doi
  5. M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, and R. St-Denis. From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. Web Information Systems Engineering - Wise 2010 Workshops, WISE 2010 International Symposium WISS and International Workshops CISE, MBC, Hong Kong, China, December, 2010, D. K. W. Chiu, L. Bellatreche, H. Sasaki, H. Leung, S.-C. Cheung, H. Hu, and J. Shao (Eds) Heidelberg: Springer, 2011, vol. 6724, 126-141. doi

Conference Papers

  1. M. Embe Jiague, R. St-Denis, F. Gervais, and R. Laleau. A BPEL implementation of a security filter. Proc. of the PhD Symposium at the 8th IEEE European Conference on Web Services, Ayia Napa, Cyprus, December, 2010, W. Zimmermann (Eds) Technical Report 2010/04 Institute of Computer Science, University Halle-Wittenberg, 5-8.
  2. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. FACS 2010 Pre-Proceedings, Guimarães, Portugal, October, 2010, M. Lumpe and L. S. Barbosa (Eds) 65-82.
  3. M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, and R. St-Denis. Model-driven engineering of functional security policies. Proc. of the 12th International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, Portugal, June, 2010, vol. Information Systems Analysis and Specification, 2010, 374-379.