Emmanuelle Encrenaz-Tiphène

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Genetic Algorithm

Feature Representation

Hardware And Software

Design Patterns

Top Venues

Publications

Jan Malburg, Emmanuelle Encrenaz-Tiphène, Görschwin Fey
Mutation Based Feature Localization. MTV (2014)
Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphène
Assisting refinement in System-on-Chip design. FDL (2013)
Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods Syst. Des. 34 (1) (2009)
Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS (2006)