| 2005 |
|---|
| 4 | EE | Nacer-Eddine Zergainoh,
Ludovic Tambour,
Henri Michel,
Ahmed Amine Jerraya:
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.
Technique et Science Informatiques 24(10): 1227-1257 (2005) |
| 2003 |
|---|
| 3 | EE | Ludovic Tambour,
Nacer-Eddine Zergainoh,
Pascal Urard,
Henri Michel,
Ahmed Amine Jerraya:
An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells.
IEEE International Workshop on Rapid System Prototyping 2003: 56-63 |
| 2 | EE | Fabrice Baray,
Philippe Codognet,
Daniel Diaz,
Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions.
TACAS 2003: 569-584 |
| 1995 |
|---|
| 1 | EE | Jean-Daniel Boissonnat,
Katrin Dobrindt,
Bernhard Geiger,
Henri Michel:
A Global Motion Planner for a Mobile Robot on a Terrain.
Symposium on Computational Geometry 1995: C20-C21 |
