Patrick Venier

Publication Activity (10 Years)

Years Active: 1993-2002
Publications (10 Years): 0

Publications

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV (2001)
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC (2001)
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou
Efficient compilation of ESTEREL for real-time embedded systems. CASES (2000)
Michel Poize, Marc Renaudin, Patrick Venier
A general time domain approach for the design of perfect reconstruction modulated filter banks. ICASSP (3) (1993)