-
Computer Aided Design (CAD) technics for characterizing the workspace of para...
CAD environments provide very powerful tools for graphical programming and manipulation of complex geometric entities. In this thesis, we propose to exploit such... -
A Formal Method for Hardware IP Design and Integration under I/O and Timing C...
IP integration -that is one of the most important SoC design steps- requires taking into account communication and timing constraints. In that context design and reuse... -
La représentation multiple d'objets pour l'ingénierie
Article dans revue scientifique avec comité de lecture.
