Model Checking Genetic Regulatory Networks Using GNA and CADP. - Grégory Batt; Damien Bergamini; Hidde de Jong; Hubert Garavel; Radu Mateescu 001 (SPIN, 2004)

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Michel Page; Dominique Schneider (HSCC, 2005)

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Radu Mateescu 001; Michel Page; Dominique Schneider (IJCAI, 2005)

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. - Grégory Batt; Delphine Ropers; Hidde de Jong; Johannes Geiselmann; Radu Mateescu 001; Michel Page; Dominique Schneider (ISMB (Supplement of Bioinformatics), 2005)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - 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 (Simulation and Verification of Dynamic Systems, 2006)

Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle. (Validation of qualitative models of genetic regulatory networks: a method based on formal verification techniques). - Grégory Batt (2006)

On Timed Models of Gene Networks. - Grégory Batt; Ramzi Ben Salah; Oded Maler (FORMATS, 2007)

Model Checking Genetic Regulatory Networks with Parameter Uncertainty. - Grégory Batt; Calin Belta; Ron Weiss (HSCC, 2007)

Model Checking Liveness Properties of Genetic Regulatory Networks. - Grégory Batt; Calin Belta; Ron Weiss (TACAS, 2007)

Robustness analysis and tuning of synthetic gene networks. - Grégory Batt; Boyan Yordanov; Ron Weiss; Calin Belta (Bioinform., 2007)

Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. - Grégory Batt; Hidde de Jong; Johannes Geiselmann; Jean-Luc Gouzé; Michel Page; Delphine Ropers; Sari Tewfik; Dominique Schneider (Tech. Sci. Informatiques, 2007)

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (CMSB, 2008)

Approximating Continuous Systems by Timed Automata. - Oded Maler; Grégory Batt (FMSB, 2008)

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. - Grégory Batt; Hidde de Jong; Michel Page; Johannes Geiselmann (Autom., 2008)

Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. - Grégory Batt; Calin Belta; Ron Weiss (IEEE Trans. Autom. Control., 2008)

A general computational method for robustness analysis with applications to synthetic gene networks. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Bioinform., 2009)

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. - Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro 001; Hidde de Jong (Bioinform., 2010)

Computational Systems Biology in BIOCHAM. - François Fages; Grégory Batt; Elisabetta De Maria; Dragana Jovanovska; Aurélien Rizk; Sylvain Soliman (ERCIM News, 2010)

From Cardiac Cells to Genetic Regulatory Networks. - Radu Grosu; Grégory Batt; Flavio H. Fenton; James Glimm; Colas Le Guernic; Scott A. Smolka; Ezio Bartocci (CAV, 2011)

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. - Jannis Uhlendorf; Samuele Bottani; François Fages; Pascal Hersen; Grégory Batt (Pacific Symposium on Biocomputing, 2011)

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Theor. Comput. Sci., 2011)

Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference. - Andres M. Gonzalez; Jannis Uhlendorf; Joe Schaul; Eugenio Cinquemani; Grégory Batt; Giancarlo Ferrari-Trecate (ECC, 2013)

Composition and abstraction of logical regulatory modules: application to multicellular systems. - Nuno D. Mendes; Frédéric Lang; Yves-Stan Le Cornec; Radu Mateescu 001; Grégory Batt; Claudine Chaouiya (Bioinform., 2013)

STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. - Szymon Stoma; Alexandre Donzé; François Bertaux; Oded Maler; Grégory Batt (PLoS Comput. Biol., 2013)

Design, optimization and control in systems and synthetic biology. - Grégory Batt (2014)

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. - Lakshmeesh R. M. Maruthi; Ilya Tkachev; Alfonso Carta; Eugenio Cinquemani; Pascal Hersen; Grégory Batt; Alessandro Abate (CMSB, 2014)

Cells driven by computers: long-term model predictive control of gene expression in yeast. - Grégory Batt (HSCC, 2014)

Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance. - François Bertaux; Szymon Stoma; Dirk Drasdo; Grégory Batt (PLoS Comput. Biol., 2014)

Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Sergiy Bogomolov; Christian Schilling 001; Ezio Bartocci; Grégory Batt; Hui Kong 004; Radu Grosu (Haifa Verification Conference, 2015)

A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. - Sucheendra K. Palaniappan; Matthieu Pichené; Grégory Batt; Eric Fabre; Blaise Genest (HSB, 2016)

What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. - Artémis Llamosi; Andrés M. González-Vargas; Cristian Versari; Eugenio Cinquemani; Giancarlo Ferrari-Trecate; Pascal Hersen; Grégory Batt (PLoS Comput. Biol., 2016)

Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway. - Sucheendra K. Palaniappan; François Bertaux; Matthieu Pichené; Eric Fabre; Grégory Batt; Blaise Genest (Bioinform., 2017)

Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits? - Maxim Kryukov; Arthur Carcano; Grégory Batt; Jakob Ruess (ECC, 2019)

Optimal control of an artificial microbial differentiation system for protein bioproduction. - Élise Weill; Virgile Andréani; Chetan Aditya; Pierre Martinon; Jakob Ruess; Grégory Batt; J. Frédéric Bonnans (ECC, 2019)

Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes. - Davin Lunz; Grégory Batt; Jakob Ruess; J. Frédéric Bonnans (PLoS Comput. Biol., 2021)

Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. - Andela Davidovic; Remy Chait; Grégory Batt; Jakob Ruess (PLoS Comput. Biol., 2022)