Retiming Finite State Machines to Control Hardened Data-Paths. - Ivan Augé; François Donnet; Frédéric Pétrot (SBCCI, 2003)

Intégration sur plate-forme matérielle/logicielle de spécifications 'C' parallèles. - Ivan Augé; Frédéric Pétrot; François Donnet; Pascal Gomez (Ann. des Télécommunications, 2004)

Platform-based design from parallel C specifications. - Ivan Augé; Frédéric Pétrot; François Donnet; Pascal Gomez (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)