Concepedia

R. St.-Denis

RS

Statistics

Publications

2

Citations

55

H-Index

2

Active since

1998

Affiliations

Université de Sherbrooke(Current)

R. St.-Denis is an author at Université de Sherbrooke specializing in real-time systems design, real-time systems, and computer engineering.

Publications per year

1998–2002

2

Publications

2

A method for the synthesis of controllers to handle safety, liveness, and real-time constraints

M. Barveau, F. Kabanza, R. St.-Denis · IEEE Transactions on Automatic Control · 1998 · 36 citations

, , +17

Formalizing COSMIC-FFP using ROOM

H. Diab, Marc Frappier, R. St.-Denis · 2002 · 19 citations

, , +7

1–2 of 2