Past Research Topics

Previous activities of the Synchrone team (transferred to another team or to a company).

• The Synchronous Language Lustre
• Energy aware programming and controller synthesis
• Virtual Prototyping
• Formal Verification, Theory, Techniques and Tools
• Embedded Software Implementation