Grégory Batt

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

Coauthor Index

1	Calin Belta	[7] [8] [9]
2	Damien Bergamini	[1]
3	Jeremy T. Bradley	[5]
4	Roland Ewald	[5]
5	François Fages	[5] [13]
6	Hubert Garavel	[1]
7	Johannes Geiselmann	[2] [3] [4] [6] [11]
8	Jean-Luc Gouzé	[6]
9	Holger Hermanns	[5]
10	Jane Hillston	[5]
11	Hidde de Jong	[1] [2] [3] [4] [6] [11]
12	Peter Kemper	[5]
13	Oded Maler	[10] [12]
14	Alke Martens	[5]
15	Radu Mateescu	[1] [2] [3]
16	Pieter J. Mosterman	[5]
17	Flemming Nielson	[5]
18	Michel Page	[2] [3] [4] [6] [11]
19	Aurélien Rizk	[13]
20	Delphine Ropers	[2] [3] [4] [6]
21	Ramzi Ben Salah	[10]
22	Dominique Schneider	[2] [3] [4] [6]
23	Oleg Sokolsky	[5]
24	Sylvain Soliman	[13]
25	Sari Tewfik	[6]
26	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[5]
27	Ron Weiss	[7] [8] [9]
28	Boyan Yordanov	[7]

Colors in the list of coauthors