The SCEAS System
Navigation Menu

Search the dblp DataBase


Richard St.-Denis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Hassan B. Diab, Marc Frappier, Richard St.-Denis
    Formalizing COSMIC-FFP Using ROOM. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:312-0 [Conf]
  3. 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]
  4. 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]
  5. Marc Frappier, Richard St.-Denis
    Towards a Computer-Aided Design of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:421-436 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002