Coordonnées
Courriel : Richard.St-Denis@USherbrooke.ca
Téléphone : 819 821-8000, poste 62847
Télécopieur : 819 821-8200
Local : D4-2005
Formation
M. Sc. Informatique, Université de Montréal (1977)
Ph. D. Sciences appliquées, École polytechnique de Montréal (1992)
Thèmes de recherche
Théorie des langages formels, systèmes réactifs, systèmes à événements discrets, synthèse de contrôleurs.
Recherches actuelles
- Formalisation de modèles à base de composants logiciels à l'aide de théories de contrôle hiérarchique;
- Développer des méthodes formelles de spécification de systèmes à événements discrets et de systèmes hybrides;
- Concevoir des algorithmes de synthèse de contrôleurs de systèmes réactifs;
- Définir des règles de transformation de contrôleurs abstraits en des contrôleurs concrets.
Publications
D. Côté, M. Embe Jiague, and R. St-Denis, Systems-theoretic view of component-based software development. In L. S. Barbosa and M. Lumpe (Eds.) Formal Aspects of Component Software, Lecture Notes in Computer Science, vol. 6921, 2012, 163-181.
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.
D. Côté, B. Faikin, M. Frappier, and R. St-Denis, A SAT-based approach for the construction of reusable control system components. In G. Salaün and B. Schätz (Eds.) Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, vol. 6959, 2011, 52-67.
H. Bherer, J. Desharnais, and R. St-Denis, Control of parameterized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 19 (2), 2009, 213-265.