Patrick Venier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1993–2001
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | 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 |
| 2000 | CASES | Efficient compilation of ESTEREL for real-time embedded systems. | Daniel Weil, Valrie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou |
| 1993 | ICASSP | A general time domain approach for the design of perfect reconstruction modulated filter banks. | Michel Poize, Marc Renaudin, Patrick Venier |