Grégory Batt

36 papers A* 2A 1Misc 1Journal 15Unranked 15
YearRankTypeTitle / Venue / Authors
2022 J jnl
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level.
PLoS Comput. Biol.
Andela Davidovic, Remy Chait, Grégory Batt, Jakob Ruess
2021 J jnl
Beyond the chemical master equation: Stochastic chemical kinetics coupled with auxiliary processes.
PLoS Comput. Biol.
Davin Lunz, Grégory Batt, Jakob Ruess, J. Frédéric Bonnans
2019 — conf
Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits?
ECC
Maxim Kryukov, Arthur Carcano, Grégory Batt, Jakob Ruess
2019 — conf
Optimal control of an artificial microbial differentiation system for protein bioproduction.
ECC
Élise Weill, Virgile Andréani, Chetan Aditya, Pierre Martinon, Jakob Ruess, Grégory Batt, J. Frédéric Bonnans
2017 J jnl
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.
Bioinform.
Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Grégory Batt, Blaise Genest
2016 — conf
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways.
HSB
Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
2016 J jnl
What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast.
PLoS Comput. Biol.
Artémis Llamosi, Andrés M. González-Vargas, Cristian Versari, Eugenio Cinquemani, Giancarlo Ferrari-Trecate, Pascal Hersen, Grégory Batt
2015 — conf
Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Haifa Verification Conference
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
2014 — conf
Cells driven by computers: long-term model predictive control of gene expression in yeast.
HSCC
Grégory Batt
2014 — book
Design, optimization and control in systems and synthetic biology.
Grégory Batt
2014 J jnl
Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance.
PLoS Comput. Biol.
François Bertaux, Szymon Stoma, Dirk Drasdo, Grégory Batt
2014 — conf
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.
CMSB
Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate
2013 J jnl
Composition and abstraction of logical regulatory modules: application to multicellular systems.
Bioinform.
Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
2013 — conf
Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference.
ECC
Andres M. Gonzalez, Jannis Uhlendorf, Joe Schaul, Eugenio Cinquemani, Grégory Batt, Giancarlo Ferrari-Trecate
2013 J jnl
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.
PLoS Comput. Biol.
Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt
2011 J jnl
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci.
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2011 A* conf
From Cardiac Cells to Genetic Regulatory Networks.
CAV
Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011 Misc conf
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade.
Pacific Symposium on Biocomputing
Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt
2010 J jnl
Computational Systems Biology in BIOCHAM.
ERCIM News
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
2010 J jnl
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Bioinform.
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong
2009 J jnl
A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinform.
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2008 — conf
Approximating Continuous Systems by Timed Automata.
FMSB
Oded Maler, Grégory Batt
2008 — conf
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
CMSB
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2008 J jnl
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Autom.
Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann
2008 J jnl
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty.
IEEE Trans. Autom. Control.
Grégory Batt, Calin Belta, Ron Weiss
2007 J jnl
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux.
Tech. Sci. Informatiques
Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé, Michel Page, Delphine Ropers, Sari Tewfik, Dominique Schneider
2007 — conf
Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
HSCC
Grégory Batt, Calin Belta, Ron Weiss
2007 A conf
Model Checking Liveness Properties of Genetic Regulatory Networks.
TACAS
Grégory Batt, Calin Belta, Ron Weiss
2007 — conf
On Timed Models of Gene Networks.
FORMATS
Grégory Batt, Ramzi Ben Salah, Oded Maler
2007 J jnl
Robustness analysis and tuning of synthetic gene networks.
Bioinform.
Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta
2006 — conf
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems
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
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
2005 A* conf
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
IJCAI
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
2005 — conf
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
HSCC
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider
2005 — conf
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in
ISMB (Supplement of Bioinformatics)
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
2004 — conf
Model Checking Genetic Regulatory Networks Using GNA and CADP.
SPIN
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu