dblp.uni-trier.dewww.uni-trier.de

Richard St.-Denis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
15EESylvain 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
14EEHassan 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
13EEHans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490
2003
12EEHans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85
11EEMarc 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
10EEHassan B. Diab, Marc Frappier, Richard St.-Denis: A Formal Definition of Function Points for Automated Measurement of B Specifications. ICFEM 2002: 483-494
9EERichard St.-Denis: Designing reactive systems: integration of abstraction techniques into a synthesis procedure. Journal of Systems and Software 60(2): 103-112 (2002)
2001
8EEHassan B. Diab, Marc Frappier, Richard St.-Denis: Formalizing COSMIC-FFP Using ROOM. AICCSA 2001: 312-
7EEMarc Frappier, Richard St.-Denis: Towards a Computer-Aided Design of Reactive Systems. EUROCAST 2001: 421-436
1998
6EEMarc Frappier, Richard St.-Denis: A Specification Method for Cleanroom's Black Box Description. HICSS (6) 1998: 112-121
1997
5EEFroduald 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
3EEMbi 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
1EERichard St.-Denis: LGV: A domain knowledge validation environment. Computers & Graphics 14(2): 311-320 (1990)

Coauthor Index

1Michel Barbeau [2] [3] [4] [5]
2Hans Bherer [12] [13]
3Jules Desharnais [12] [13]
4Hassan B. Diab [8] [10] [14]
5Marc Frappier [6] [7] [8] [10] [11] [12] [13] [14]
6Froduald Kabanza [2] [4] [5] [15]
7Sylvain Kerjean [15]
8Fouad Koukane [14]
9Mbi Makungu [3]
10Sylvie Thiébaux [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)