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