Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; Romuald Rocher; Olivier Sentieys; Nicolas Simon; Laurent-Stéphane Didier; Thibault Hilaire; Benoit Lopez; Eric Goubault; Sylvie Putot; Franck Védrine; Amine Najahi; Guillaume Revy; et al. (DASIP, 2012)

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. - Matthieu Martel; Amine Najahi; Guillaume Revy (DASIP, 2014)

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. - Matthieu Martel; Amine Najahi; Guillaume Revy (PECCS, 2014)

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. - Christophe Mouilleron; Amine Najahi; Guillaume Revy (SYNASC, 2014)

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. - Matthieu Martel; Amine Najahi; Guillaume Revy (J. Syst. Archit., 2017)