Henri Michel

Validation of Functional Processor Descriptions by Test Generation

Philippe Codognet, Daniel Diaz, Fabrice Baray, 2003 .

Scientific instruments in art and history

Henri Michel, 1967 .

Time & space: Measuring instruments from the 15th to the 19th century,

Henri Michel, Samuel Guye, 1970 .

An efficient methodology and semi-automated flow for design and validation of complex digital signal processing ASICS macro-cells

Nacer-Eddine Zergainoh, Ahmed Amine Jerraya, Pascal Urard, 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

A global motion planner for a mobile robot on a terrain

Jean-Daniel Boissonnat, Bernhard Geiger, Katrin Dobrindt, 1995, SCG '95.

Méthodes de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP : fondement théorique et implémentation

Nacer-Eddine Zergainoh, Ahmed Amine Jerraya, Henri Michel, 2005, Tech. Sci. Informatiques.

a 16-states SISO Decoder

Pascal Urard, Laurent Paumier, Bhusan Gupta, 2004 .

Singularities in the determination of the situation of a robot effector from the perspective view of 3 points

Patrick Rives, Henri Michel, P. Rives, 1993 .

Code-Based Test Generation for Validation of Functional Processor Descriptions

Philippe Codognet, Daniel Diaz, Fabrice Baray, 2003, TACAS.