Etienne Closse

According to our database, Etienne Closse authored at least 5 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.

Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.

Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Efficient compilation of ESTEREL for real-time embedded systems.

Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou

Proceedings of the 2000 International Conference on Compilers, 2000

1993

Industrial experimentation of high-level synthesis.

Polen Kission, Etienne Closse, Laurent Bergher, Ahmed Amine Jerraya

Proceedings of the European Design Automation Conference 1993, 1993