Patrick Venier

According to our database, Patrick Venier 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

A general time domain approach for the design of perfect reconstruction modulated filter banks.

Michel Poize, Marc Renaudin, Patrick Venier

Proceedings of the IEEE International Conference on Acoustics, 1993