Grégory Batt

发表

What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast

Eugenio Cinquemani, Giancarlo Ferrari-Trecate, Cristian Versari, 2016, PLoS Comput. Biol..

Abstraction-Based Parameter Synthesis for Multiaffine Systems

Hui Kong, Ezio Bartocci, Sergiy Bogomolov, 2015, Haifa Verification Conference.

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification

Flemming Nielson, Pieter J. Mosterman, Holger Hermanns, 2006, Simulation and Verification of Dynamic Systems.

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

François Fages, Sylvain Soliman, Grégory Batt, 2008, CMSB.

New Software and Platforms - CellStar: Long-term tracking of single cells from brightfield microscopy images

Artémis Llamosi, Pascal Hersen, Grégory Batt, 2014 .

Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty

Calin Belta, Ron Weiss, Grégory Batt, 2008, IEEE Transactions on Automatic Control.

On Timed Models of Gene Networks

Oded Maler, Grégory Batt, Ramzi Ben Salah, 2007, FORMATS.

Cells driven by computers: long-term model predictive control of gene expression in yeast

Grégory Batt, 2014, HSCC.

From Cardiac Cells to Genetic Regulatory Networks

Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CAV.

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

François Fages, Sylvain Soliman, Grégory Batt, 2011, Theor. Comput. Sci..

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

Hidde de Jong, Grégory Batt, Johannes Geiselmann, 2008, Autom..

Model Checking Genetic Regulatory Networks with Parameter Uncertainty

Calin Belta, Ron Weiss, Grégory Batt, 2007, HSCC.

Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance

Dirk Drasdo, Grégory Batt, Szymon Stoma, 2014, PLoS Comput. Biol..

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Gregor Gößler, Hidde de Jong, Pedro T. Monteiro, 2010, Bioinform..

Modelling molecular networks: relationships between different formalisms and levels of details

Claudine Chaouiya, Laurence Calzone, Franck Pommereau, 2010 .

Towards a general computational method for robustness analysis (poster)

Sylvain Soliman, Franccois Fages, Grégory Batt, 2008 .

A general computational method for robustness analysis with applications to synthetic gene networks

François Fages, Sylvain Soliman, Grégory Batt, 2009, Bioinform..

Computational Systems Biology in BIOCHAM

Elisabetta De Maria, François Fages, Sylvain Soliman, 2010, ERCIM News.

Composition and abstraction of logical regulatory modules: application to multicellular systems

Claudine Chaouiya, Radu Mateescu, Frédéric Lang, 2013, Bioinform..

A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways

Matthieu Pichené, Eric Fabre, Blaise Genest, 2016, HSB.

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach

Eugenio Cinquemani, Alessandro Abate, Alfonso Carta, 2014, CMSB.

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

Radu Mateescu, Dominique Schneider, Hidde de Jong, 2005, ISMB.

Robustness analysis and tuning of synthetic gene networks

Calin Belta, Ron Weiss, Grégory Batt, 2007, Bioinform..

Model Checking Liveness Properties of Genetic Regulatory Networks

Calin Belta, Ron Weiss, Grégory Batt, 2007, TACAS.

Approximating Continuous Systems by Timed Automata

Oded Maler, Grégory Batt, O. Maler, 2008, FMSB.

Design, optimization and control in systems and synthetic biology

Grégory Batt, Grégory Batt, 2014 .

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, Grégory Batt, 2006 .

Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway

Matthieu Pichené, Eric Fabre, Blaise Genest, 2017, Bioinform..

Approximating the dynamics of the Hybrid Stochastic-Deterministic Apoptosis pathway

Matthieu Pichené, Eric Fabre, Blaise Genest, 2015 .

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

Radu Mateescu, Dominique Schneider, Hidde de Jong, 2005, IJCAI.

New Results - Parameter Search and Robustness Analysis w.r.t. Temporal Logic Properties

François Fages, Sylvain Soliman, Grégory Batt, 2008 .

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade

François Fages, Pascal Hersen, Grégory Batt, 2011, Pacific Symposium on Biocomputing.

Optimal design of experiments for a bio-synthetic toggle switch

Jakob Ruess, Grégory Batt, Maksim Kriukov, 2018 .

Model Checking Genetic Regulatory Networks Using GNA and CADP

Radu Mateescu, Hubert Garavel, Hidde de Jong, 2004, SPIN.

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in

Dominique Schneider, Hidde de Jong, Grégory Batt, 2005, HSCC.

Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux

Jean-Luc Gouzé, Dominique Schneider, Hidde de Jong, 2007, Tech. Sci. Informatiques.

Efficient Analysis of Multi-level Biological Systems Using Abstraction (poster)

Matthieu Pichené, Eric Fabre, Blaise Genest, 2016 .

External control of microbial populations for bioproduction: A modeling and optimization viewpoint

Jakob Ruess, Grégory Batt, François Bertaux, 2021, Current Opinion in Systems Biology.