Michel Poize
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1992–2001
Best venue rank
A*
Where they publish
Papers
5 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 |
| 2000 | ECRTS | Towards validated real-time software. | Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
| 1993 | ICASSP | A general time domain approach for the design of perfect reconstruction modulated filter banks. | Michel Poize, Marc Renaudin, Patrick Venier |
| 1992 | VTS | A new tool for random testability evaluation using simulation and formal proof. | Emmanuel Simeu, Anura Puissochet, Jean-Luc Rainard, Anne-Marie Tagant, Michel Poize |