2006 |
15 | EE | Sylvain Kerjean,
Froduald Kabanza,
Richard St.-Denis,
Sylvie Thiébaux:
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress).
Electr. Notes Theor. Comput. Sci. 149(2): 91-104 (2006) |
2005 |
14 | EE | Hassan B. Diab,
Fouad Koukane,
Marc Frappier,
Richard St.-Denis:
mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime.
Information & Software Technology 47(3): 151-166 (2005) |
2004 |
13 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.
ATVA 2004: 487-490 |
2003 |
12 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
RelMiCS 2003: 74-85 |
11 | EE | Marc Frappier,
Richard St.-Denis:
EB 3: an entity-based black-box specification method for information systems.
Software and System Modeling 2(2): 134-149 (2003) |
2002 |
10 | EE | Hassan B. Diab,
Marc Frappier,
Richard St.-Denis:
A Formal Definition of Function Points for Automated Measurement of B Specifications.
ICFEM 2002: 483-494 |
9 | EE | Richard St.-Denis:
Designing reactive systems: integration of abstraction techniques into a synthesis procedure.
Journal of Systems and Software 60(2): 103-112 (2002) |
2001 |
8 | EE | Hassan B. Diab,
Marc Frappier,
Richard St.-Denis:
Formalizing COSMIC-FFP Using ROOM.
AICCSA 2001: 312- |
7 | EE | Marc Frappier,
Richard St.-Denis:
Towards a Computer-Aided Design of Reactive Systems.
EUROCAST 2001: 421-436 |
1998 |
6 | EE | Marc Frappier,
Richard St.-Denis:
A Specification Method for Cleanroom's Black Box Description.
HICSS (6) 1998: 112-121 |
1997 |
5 | EE | Froduald Kabanza,
Michel Barbeau,
Richard St.-Denis:
Planning Control Rules for Reactive Agents.
Artif. Intell. 95(1): 67-11 (1997) |
4 | | Michel Barbeau,
Froduald Kabanza,
Richard St.-Denis:
An Efficient Algorithm for Controller Synthesis under Full Observation.
J. Algorithms 25(1): 144-161 (1997) |
1996 |
3 | EE | Mbi Makungu,
Richard St.-Denis,
Michel Barbeau:
A Colored Petri Net-Based Format Method for the Design of Control Systems.
COMPSAC 1996: 28-35 |
1995 |
2 | | Michel Barbeau,
Froduald Kabanza,
Richard St.-Denis:
Synthesizing Plant Controllers Using Real-time Goals.
IJCAI (1) 1995: 791-800 |
1990 |
1 | EE | Richard St.-Denis:
LGV: A domain knowledge validation environment.
Computers & Graphics 14(2): 311-320 (1990) |