Grégory Batt

According to our database1, Grégory Batt authored at least 32 papers between 2004 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.
Bioinformatics, 2017

What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast.
PLoS Computational Biology, 2016

A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance.
PLoS Computational Biology, 2014

Cells driven by computers: long-term model predictive control of gene expression in yeast.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.
Proceedings of the Computational Methods in Systems Biology, 2014

Design, optimization and control in systems and synthetic biology.
, 2014

STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.
PLoS Computational Biology, 2013

Composition and abstraction of logical regulatory modules: application to multicellular systems.
Bioinformatics, 2013

Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference.
Proceedings of the European Control Conference, 2013

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci., 2011

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade.
Proceedings of the Biocomputing 2011: Proceedings of the Pacific Symposium, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Computational Systems Biology in BIOCHAM.
ERCIM News, 2010

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Bioinformatics, 2010

A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinformatics, 2009

Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty.
IEEE Trans. Automat. Contr., 2008

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Automatica, 2008

Approximating Continuous Systems by Timed Automata.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

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, 2007

Robustness analysis and tuning of synthetic gene networks.
Bioinformatics, 2007

Model Checking Liveness Properties of Genetic Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

On Timed Models of Gene Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

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).
PhD thesis, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
Proceedings of the Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, 2005

Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Model Checking Genetic Regulatory Networks Using GNA and CADP.
Proceedings of the Model Checking Software, 2004