Emmanuelle Gallet

According to our database, Emmanuelle Gallet authored at least 4 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

PhD thesis, 2016

2015

É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

2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking.

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An LTL Model Checking Approach for Biological Parameter Inference.

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Proceedings of the Formal Methods and Software Engineering, 2014