Fatemeh Negin Javaheri

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Computationally Expensive

Regular Expressions

Deterministic Finite Automata

Top Venues

IEEE Trans. Very Large Scale Integr. Syst.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Fatemeh Negin Javaheri, Katell Morin-Allory, Dominique Borrione
Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (5) (2017)
Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione
Efficient and Correct by Construction Assertion-Based Synthesis. IEEE Trans. Very Large Scale Integr. Syst. 23 (12) (2015)
Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione
SyntHorus-2: Automatic prototyping from PSL. VLSI-SoC (2013)
Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione
Fast prototyping from assertions: A pragmatic approach. MEMOCODE (2013)