General Methodology for Metabolic Pathways Modeling and Simulation Using Discrete Event Approach. Example on Glycolysis of Yeast. - Thierry Antoine-Santoni; Fabrice Bernardi; François Giamarchi (BIOCOMP, 2007)

Test Pattern Generation Method for VHDL Descriptions with BFS-DEVS Simulator. - François Giamarchi; Laurent Capocchi; Dominique Federici; Paul Bisgambiglia (CDES, 2007)

High-Level Automatic Test Generation for VHDL Descriptions. - François Giamarchi; Laurent Capocchi; Dominique Federici; Paul Bisgambiglia (CDES, 2008)