Michel Poize

According to our database, Michel Poize authored at least 7 papers between 1992 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

Towards validated real-time software.

Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 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

1992

A new tool for random testability evaluation using simulation and formal proof.

Emmanuel Simeu, Anura Puissochet, Jean-Luc Rainard, Anne-Marie Tagant, Michel Poize

Proceedings of the 10th IEEE VLSI Test Symposium (VTS'92), 1992