An LTL Model Checking Approach for Biological Parameter Inference. - Emmanuelle Gallet; Matthieu Manceny; Pascale Le Gall; Paolo Ballarini (ICFEM, 2014)

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. - Paolo Ballarini; Emmanuelle Gallet; Pascale Le Gall; Matthieu Manceny (ISoLA (2), 2014)

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. - Emmanuelle Gallet; Matthieu Manceny; Pascale Le Gall; Paolo Ballarini (Tech. Sci. Informatiques, 2015)

Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux biologiques. (Model checking techniques for parameter inference and analysis of biological networks). - Emmanuelle Gallet (2016)