-
Modélisation d'une chaîne de conversion éolienne de petite puissance
National audience -
Determinacy and confluence in concurrent and synchronous process calculi
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and... -
Certified compilation of SCADE/LUSTRE
Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each... -
Towards a safe and secure synchronous language
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics,... -
Preuves de systèmes réactifs dans le modèle synchrone
Stage de DEA. Rapport de stage.
