A Global Motion Planner for a Mobile Robot on a Terrain. - Jean-Daniel Boissonnat; Katrin Dobrindt; Bernhard Geiger; Henri Michel (SCG, 1995)

An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells. - Ludovic Tambour; Nacer-Eddine Zergainoh; Pascal Urard; Henri Michel; Ahmed Amine Jerraya (IEEE International Workshop on Rapid System Prototyping, 2003)

Code-Based Test Generation for Validation of Functional Processor Descriptions. - Fabrice Baray; Philippe Codognet; Daniel Diaz 001; Henri Michel (TACAS, 2003)

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; Ludovic Tambour; Henri Michel; Ahmed Amine Jerraya (Tech. Sci. Informatiques, 2005)