Analysis and verification of qualitative models of genetic regulatory networks: a model-checking approach

Authors:
Gr´egory Batt;Delphine Ropers;Hidde De Jong;Johannes Geiselmann;Radu Mateescu;Michel Page;Dominique Schneider
Affiliations:
INRIA Rhˆone-Alpes, Montbonnot, France;INRIA Rhˆone-Alpes, Montbonnot, France;INRIA Rhˆone-Alpes, Montbonnot, France;Laboratoire Adaptation et Pathog´eniedes Microorganismes, Universit´e Joseph Fourier, Grenoble, France;INRIA Rhˆone-Alpes, Montbonnot, France;INRIA Rhˆone-Alpes, Montbonnot, France and Universit´e pierre Mendès France, Grenoble, France;Laboratoire Adaptation et Pathog´eniedes Microorganismes, Universit´e Joseph Fourier, Grenoble, France
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 10
Cited 10

Model checking and modular verification

ACM Transactions on Programming Languages and Systems (TOPLAS)
Qualitative reasoning: modeling and simulation with incomplete knowledge

Qualitative reasoning: modeling and simulation with incomplete knowledge
Proving properties of continuous systems: qualitative simulation and temporal logic

Artificial Intelligence
Model checking

Model checking
Focusing qualitative simulation using temporal logic: theoretical foundations

Annals of Mathematics and Artificial Intelligence
Efficient on-the-fly model-checking for regular alternation-free mu-calculus

Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Expressibility results for linear-time and branching-time logics

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Modeling and querying biomolecular interaction networks

Theoretical Computer Science - Special issue: Computational systems biology
Qualitative analysis and verification of hybrid models of genetic regulatory networks: nutritional stress response in Escherichia coli

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Electronic Notes in Theoretical Computer Science (ENTCS)
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

RECOMB 2'09 Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
On algorithmic analysis of transcriptional regulation by LTL model checking

Theoretical Computer Science
An algebraic algorithm for the identification of glass networks with periodic orbits along cyclic attractors

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Periodic orbits and equilibria in glass models for gene regulatory networks

IEEE Transactions on Information Theory - Special issue on information theory in molecular biology and neuroscience
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems

APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Use of timed automata and model-checking to explore scenarios on ecosystem models

Environmental Modelling & Software
Synthesis of biological models from mutation experiments

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ConceVE: Conceptual modeling and formal validation for everyone

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Methods developed for the qualitative simulation of dynamical systems have turned out to be powerful tools for studying genetic regulatory networks. A bottleneck in the application of these methods is the analysis of the simulation results. In this paper, we propose a combination of qualitative simulation and model-checking techniques to perform this task systematically and efficiently. We apply our approach to the analysis of the complex network controlling the nutritional stress response in the bacterium Escherichia coli.