Aller au contenu

Liste partielle de publications

Contrôle des systèmes à événements discrets (théorie)

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. doi

M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers of processes modeled as colored Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 9 (2), 1999, 147-169. doi

M. Barbeau, F. Kabanza, and R. St-Denis. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control, 43 (11), 1998, 1543-1559. doi

H. Bherer, J. Desharnais, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems under partial observation. Proc. of the 44th IEEE Conference on Decision and Control and European Control Conference 2005 (CDC-ECC'05), Sevilla, December, 2005, 3499-3506. doi

H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems. Automated Technology for Verification and Analysis, Second International Conference, ATVA 2004, Taipei, Taiwan, October/November 2004, F. Wang (Eds) Heidelberg: Springer, 2004, vol. 3299, 487-490. doi

H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Investigating discrete controllability with Kleene algebra. Relational and Kleene-Algebraic Methods in Computer Science, 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malenta, Germany, May, 2003, R. Berghammer, B. Möller, and G. Struth (Eds) Heidelberg: Springer, 2004, vol. 3051, 74-85. doi

M. Makungu, R. St-Denis, and M. Barbeau. A colored Petri net-based approach to the design of controllers. Proc. of the 35th IEEE Conference on Decision and Control, Kobe, December, 1996, vol. VI, 4425-4432. doi

M. Barbeau, F. Kabanza, and R. St-Denis. Supervisory control synthesis from metric temporal logic specifications. Proc. of 33rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, October, 1995, 96-105.

M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers with colored Petri nets. Proc. of 32nd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1994, 709-718.

Contrôle des systèmes à événements discrets (algorithmes)

M. Barbeau, F. Kabanza, and R. St-Denis. An efficient algorithm for controller synthesis under full observation. Journal of Algorithms, 25 (1), 1997, 144-161. doi

M. Barbeau, G. Custeau, and R. St-Denis. An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Transactions on Automatic Control, 40 (4), 1995, 699-703. doi

M. Barbeau, G. Custeau, and R. St-Denis. On the computation of normal languages. Proc. of 31st Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1993, 928-937.

Contrôle des systèmes à événements discrets (applications)

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

R. St-Denis. Designing reactive systems: integration of abstraction techniques into a synthesis procedure. Journal of Systems and Software, 60 (2), 2002, 103-112. doi

M. Barbeau and R. St-Denis. Beyond the verification approach: the synthesis approach. Real-Time Systems: Modeling, Design and Applications, D. Ionescu and A. Cornell (Eds) Hackensack, New Jersey: World Scientific, 2007, AMAST Series in Computing, vol. 8, 197-218. doi

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

D. Côté, R. St-Denis, and S. Kerjean. Generative programming for programmable logic controllers. Proc. of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania, Italy, September, 2005, vol. II, 741-748. doi

É. Lacroix and R. St-Denis. Web technologies in support of virtual manufacturing environment. Proc. of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2003), Lisbon, September, 2003, vol. II, 43-49. doi

M. Frappier and R. St-Denis. Towards a computer-aided design of reactive systems. Computer Aided Systems Theory - EUROCAST 2001, 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February, 2001, R. Morero-Díaz, B. Buchberger, and J. L. Freire (Eds) Heidelberg: Springer, 2001, vol. 2178, 421-436. doi

M. Barbeau, M. Frappier, F. Kabanza, and R. St-Denis. A supervisory control synthesis case study: The antenna control system. Proc. of 35th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1997, 533-542.

Contrôle des systèmes à événements discrets (outils)

M. Routhier and R. St-Denis. A qualitative assessment of αRby in the perspective of the supervisory control theory. International Journal on Software Tools for Technology Transfer, 21 (2), 2019, 121-141. doi

B. Fraikin, M. Frappier, and R. St-Denis. Supervisory control theory with Alloy. Science of Computer Programming, 94 (2), 2014, 217-237. doi

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

Intelligence artificielle, planification et contrôle

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

F. Kabanza, M. Barbeau, and R. St-Denis. Planning control rules for reactive agents. Artificial Intelligence, 95 (1), 1997, 67-11. doi

R. St-Denis. LGV: A domain knowledge validation environment. Computers and Graphics, 14 (2), 1990, 311-320. doi

R. St-Denis. Expert systems for distributed systems. Interfaces in Computing, 3 (3-4), 1985, 217-225. doi

M. Barati and R. St-Denis. Team formation through preference-based behavior composition. Multiagent System Technologies, 15th German Conference, MATES 2017, Leipzig, Germany, August, 2017, J. O. Berndt, P. Petta, and R. Unland (Eds) Cham, Switzerland: Springer International Publishing, 2017, vol. 10413, 54-71. doi

M. Barati and R. St-Denis. Behavior composition meets supervisory control. Proc. of 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), Hong Kong, October, 2015, 115-120. doi

M. Barbeau, F. Kabanza, and R. St-Denis. Synthesizing plant controllers using real-time goals. Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'1995), Montréal, August, 1995, vol. I, 791-798.

Spécification formelle: langages et simulation

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

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

F. Gervais, M. Frappier, and R. St-Denis. EB3. Software Specification Methods, H. Habrias and M. Frappier (Eds) London, UK: ISTE, 2006, 259-274.

M. Frappier and R. St-Denis. Specifying a Cleanroom black box using JSD. Software Specification Methods: An Overview Using a Case Study, M. Frappier and H. Habrias (Eds) London, England: Springer, 2001, 191-205. doi

M. Frappier and R. St-Denis. Combining JSD and Cleanroom for object-oriented scenario specification. Behavioral Specifications of Businesses and Systems, H. Kilov, B. Rumpe, and I. Simmonds (Eds) Boston, MA: Kluwer Academic Publishers, 1999, 61-74. doi

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

M. Frappier and R. St-Denis. A specification method for cleanroom's black box description. Proc. of the 31st Hawaii International Conference on System Sciences, Kona Coast, HI, January, 1998, vol. VI, 112-121. doi

R. St-Denis. Validation de protocoles par exécution visuelle de leur spécification. CFIP'91, Ingénierie des protocoles, Paris, France: Hermès, 1991, 31-50.

R. St-Denis. Specification by example using graphical animation and a production system. Proc. of the 23rd Hawaii International Conference on System Sciences, Kailua-Kona, HI, January, 1990, vol. II, 237-246. doi

Génie logiciel

R. St-Denis. Capturing design-related decisions in JSD methodology. Information and Software Technology, 33 (7), 1991, 509-517. doi

V. Côté and R. St-Denis. Bridging the gap between CASE tools and project management through a decision support system based on metrics. Proc. of the 25th Hawaii International Conference on System Sciences, Kauai, HI, January, 1992, vol. III, 300-309. doi

R. St-Denis and P. N. Robillard. An approach to knowledge-driven system software development. Proc. of the 4th International Workshop on Software Specification and Design, Monterey, CA, April, 1987, 95-99.

Langages de programmation

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

P. Roy and R. St-Denis. Linear flowchart generator for a structured language. ACM Sigplan Notices, 11 (11), 1976, 58-64. doi

Programmation mathématique

J. A. Ferland, M. Gendreau, R. St-Denis et G. Vanderstraeten Tilquin. Méthode des multiplicateurs. Département d'informatique, Université de Montréal, janvier, 1977, no. 250, 41 pages.

R. St-Denis. Étude d'un algorithme en programmation mathématique semi-infinie et applications. Département d'informatique, Université de Montréal, décembre, 1977, no. 256, 190 pages.

Autres

W. Schwab et R. St-Denis. Platerm : la banque de terminologie du système Platon. META, Journal des traducteurs, 25 (3), 1980, 287-302. doi

W. Schwab and R. St-Denis. A data bank experience on the PLATO system. Journal of Computer-Based Instruction, 7 (2), 1980, 41-46.

R. St-Denis. Contributions de Noam Chomsky à l'informatique. Hommage à Noam Chomsky : Penseur aux empreintes multiples, collectif sous la direction de Normand Baillargeon, Montréal, Québec: Québec Amérique, 2018, 109-126.