Fatemeh Negin Javaheri

According to our database, Fatemeh Negin Javaheri authored at least 4 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

2015

Efficient and Correct by Construction Assertion-Based Synthesis.

Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione

IEEE Trans. Very Large Scale Integr. Syst., 2015

2013

SyntHorus-2: Automatic prototyping from PSL.

Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione

Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013

Fast prototyping from assertions: A pragmatic approach.

Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013