Richard St.-Denis

	2008
16		Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis: Extending statecharts with process algebra operators. ISSE 4(3): 285-292 (2008)
	2006
15		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		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		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		Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85
11		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		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		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		Hassan B. Diab, Marc Frappier, Richard St.-Denis: Formalizing COSMIC-FFP Using ROOM. AICCSA 2001: 312-
7		Marc Frappier, Richard St.-Denis: Towards a Computer-Aided Design of Reactive Systems. EUROCAST 2001: 421-436
	1998
6		Marc Frappier, Richard St.-Denis: A Specification Method for Cleanroom's Black Box Description. HICSS (6) 1998: 112-121
	1997
5		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		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		Richard St.-Denis: LGV: A domain knowledge validation environment. Computers & Graphics 14(2): 311-320 (1990)

Coauthor Index

1	Michel Barbeau	[2] [3] [4] [5]
2	Hans Bherer	[12] [13]
3	Jules Desharnais	[12] [13]
4	Hassan B. Diab	[8] [10] [14]
5	Benoît Fraikin	[16]
6	Marc Frappier	[6] [7] [8] [10] [11] [12] [13] [14] [16]
7	Frédéric Gervais	[16]
8	Froduald Kabanza	[2] [4] [5] [15]
9	Sylvain Kerjean	[15]
10	Fouad Koukane	[14]
11	Régine Laleau (Regine Laleau)	[16]
12	Mbi Makungu	[3]
13	Sylvie Thiébaux	[15]

Colors in the list of coauthors