Richard St-Denis

Publication Activity (10 Years)

Years Active: 1976-2023
Publications (10 Years): 3

Top Topics

Service Discovery

Denotational Semantics

Multiprocessor Architecture

Supervisory Control

Top Venues

IEEE Trans. Control. Syst. Technol.

J. Comput. Lang.

Int. J. Softw. Tools Technol. Transf.

Publications

Richard St-Denis
A comparison of three solver-aided programming languages: αRby, ProB, and Rosette. J. Comput. Lang. 77 (2023)
Maxime Routhier, Richard St-Denis
A qualitative assessment of αRby in the perspective of the supervisory control theory. Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Masoud Barati, Richard St-Denis
Team Formation Through Preference-Based Behavior Composition. MATES (2017)
Masoud Barati, Richard St-Denis
Optimal control in a value-based automatic behavior composition framework. ICUMT (2015)
Masoud Barati, Richard St-Denis
An architecture for semantic service discovery and realizability in cloud computing. NOF (2015)
Masoud Barati, Richard St-Denis
Behavior Composition Meets Supervisory Control. SMC (2015)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Supervisory control theory with Alloy. Sci. Comput. Program. 94 (2014)
Daniel Côté, Richard St-Denis
Component-Based Method for the Modeling and Control of Modular Production Systems. IEEE Trans. Control. Syst. Technol. 21 (5) (2013)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Modeling the Supervisory Control Theory with Alloy. ABZ (2012)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS (2011)
Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis
A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Int. J. Syst. Serv. Oriented Eng. 2 (2) (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
A Four-concern-oriented Secure IS Development Approach. SECRYPT (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
Model-driven Engineering of Functional Security Policies. ICEIS (3) (2010)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops (2010)
Daniel Côté, Michel Embe Jiague, Richard St-Denis
Systems-Theoretic View of Component-Based Software Development. FACS (2010)
Hans Bherer, Jules Desharnais, Richard St-Denis
Control of Parameterized Discrete Event Systems. Discret. Event Dyn. Syst. 19 (2) (2009)
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4 (3) (2008)
Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St-Denis
mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Inf. Softw. Technol. 47 (3) (2005)
Hans Bherer, Jules Desharnais, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. CDC/ECC (2005)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA (2004)
Marc Frappier, Richard St-Denis
EB 3: an entity-based black-box specification method for information systems. Softw. Syst. Model. 2 (2) (2003)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Investigating Discrete Controllability with Kleene Algebra. RelMiCS (2003)
Éric Lacroix, Richard St-Denis
Web technologies in support of virtual manufacturing environments. ETFA (2) (2003)
Richard St-Denis
Designing reactive systems: integration of abstraction techniques into a synthesis procedure. J. Syst. Softw. 60 (2) (2002)
Hassan B. Diab, Marc Frappier, Richard St-Denis
A Formal Definition of Function Points for Automated Measurement of B Specifications. ICFEM (2002)
B. Bérubé, Richard St-Denis
Web-site Design using D2Engine. IMSA (2001)
Marc Frappier, Richard St-Denis
Towards a Computer-Aided Design of Reactive Systems. EUROCAST (2001)
Hassan B. Diab, Marc Frappier, Richard St-Denis
Formalizing COSMIC-FFP Using ROOM. AICCSA (2001)
Mbi Makungu, Michel Barbeau, Richard St-Denis
Synthesis of Controllers of Processes Modeled as Colored Petri Nets. Discret. Event Dyn. Syst. 9 (2) (1999)
Marc Frappier, Richard St-Denis
A Specification Method for Cleanroom's Black Box Description. HICSS (6) (1998)
Froduald Kabanza, Michel Barbeau, Richard St-Denis
Planning Control Rules for Reactive Agents. Artif. Intell. 95 (1) (1997)
Michel Barbeau, Froduald Kabanza, Richard St-Denis
An Efficient Algorithm for Controller Synthesis under Full Observation. J. Algorithms 25 (1) (1997)
Mbi Makungu, Richard St-Denis, Michel Barbeau
A Colored Petri Net-Based Format Method for the Design of Control Systems. COMPSAC (1996)
Michel Barbeau, Froduald Kabanza, Richard St-Denis
Synthesizing Plant Controllers Using Real-time Goals. IJCAI (1) (1995)
Michel Barbeau, Guy Custeau, Richard St-Denis
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Trans. Autom. Control. 40 (4) (1995)
Richard St-Denis
LGV: A domain knowledge validation environment. Comput. Graph. 14 (2) (1990)
Patrick Roy, Richard St-Denis
Linear flowchart generator for a structured language. ACM SIGPLAN Notices 11 (11) (1976)