Richard St-Denis

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