Remy Chevallier

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault
Formal Verification of Timed VHDL Programs. FDL (2010)
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)
Ghiath Al Sammane, Dominique Borrione, Remy Chevallier
Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning. ACM Great Lakes Symposium on VLSI (2005)