Fast prototyping from assertions: A pragmatic approach. - Katell Morin-Allory; Fatemeh Negin Javaheri; Dominique Borrione (MEMOCODE, 2013)

SyntHorus-2: Automatic prototyping from PSL. - Katell Morin-Allory; Fatemeh Negin Javaheri; Dominique Borrione (VLSI-SoC, 2013)

Efficient and Correct by Construction Assertion-Based Synthesis. - Katell Morin-Allory; Fatemeh Negin Javaheri; Dominique Borrione (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware. - Fatemeh Negin Javaheri; Katell Morin-Allory; Dominique Borrione (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)