Emmanuelle Gallet

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Transition Systems

Formal Analysis

Top Venues

Tech. Sci. Informatiques

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Tech. Sci. Informatiques 34 (5) (2015)
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) (2014)
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM (2014)