2008 |
13 | EE | Aurélien Rizk,
Grégory Batt,
François Fages,
Sylvain Soliman:
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
CMSB 2008: 251-268 |
12 | EE | Oded Maler,
Grégory Batt:
Approximating Continuous Systems by Timed Automata.
FMSB 2008: 77-89 |
11 | EE | Grégory Batt,
Hidde de Jong,
Michel Page,
Johannes Geiselmann:
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Automatica 44(4): 982-989 (2008) |
2007 |
10 | EE | Grégory Batt,
Ramzi Ben Salah,
Oded Maler:
On Timed Models of Gene Networks.
FORMATS 2007: 38-52 |
9 | EE | Grégory Batt,
Calin Belta,
Ron Weiss:
Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
HSCC 2007: 61-75 |
8 | EE | Grégory Batt,
Calin Belta,
Ron Weiss:
Model Checking Liveness Properties of Genetic Regulatory Networks.
TACAS 2007: 323-338 |
7 | EE | Grégory Batt,
Boyan Yordanov,
Ron Weiss,
Calin Belta:
Robustness analysis and tuning of synthetic gene networks.
Bioinformatics 23(18): 2415-2422 (2007) |
6 | EE | Grégory Batt,
Hidde de Jong,
Johannes Geiselmann,
Jean-Luc Gouzé,
Michel Page,
Delphine Ropers,
Sari Tewfik,
Dominique Schneider:
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux.
Technique et Science Informatiques 26(1-2): 11-45 (2007) |
2006 |
5 | EE | Grégory Batt,
Jeremy T. Bradley,
Roland Ewald,
François Fages,
Holger Hermanns,
Jane Hillston,
Peter Kemper,
Alke Martens,
Pieter J. Mosterman,
Flemming Nielson,
Oleg Sokolsky,
Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems 2006 |
2005 |
4 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Michel Page,
Dominique Schneider:
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
HSCC 2005: 134-150 |
3 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
IJCAI 2005: 370-375 |
2 | EE | Grégory Batt,
Delphine Ropers,
Hidde de Jong,
Johannes Geiselmann,
Radu Mateescu,
Michel Page,
Dominique Schneider:
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
ISMB (Supplement of Bioinformatics) 2005: 19-28 |
2004 |
1 | EE | Grégory Batt,
Damien Bergamini,
Hidde de Jong,
Hubert Garavel,
Radu Mateescu:
Model Checking Genetic Regulatory Networks Using GNA and CADP.
SPIN 2004: 158-163 |